Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes
暂无分享,去创建一个
[1] Giorgio De Michelis,et al. Computer Supported Cooperative Work and Petri Nets , 1996, Petri Nets.
[2] Grzegorz Rozenberg,et al. Dynamic change within workflow systems , 1995, COCS '95.
[3] Michel Hack,et al. The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems , 1974, SWAT.
[4] Jörg Desel,et al. Free choice Petri nets , 1995 .
[5] Rüdiger Valk,et al. Generalizations of Petri Nets , 1981, MFCS.
[6] Philippe Schnoebelen,et al. Reset Nets Between Decidability and Undecidability , 1998, ICALP.
[7] Wolfgang Reisig,et al. Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.
[8] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[9] Bernd Heinemann. Subclasses of Self-Modifying Nets , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
[10] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[11] Rüdiger Valk. Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.
[12] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..