Petri nets with generalized algebra: a comparison
暂无分享,去创建一个
[1] Manfred Droste,et al. Semantics of Programming Languages and Model Theory , 1993 .
[2] Madhavan Mukund. Petri Nets and Step Transition Systems , 1992, Int. J. Found. Comput. Sci..
[3] Alessandro Giua,et al. A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..
[4] Carl G. Looney,et al. Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..
[5] Maciej Koutny,et al. Invariant Semantics of Nets with Inhibitor Arcs , 1991, CONCUR.
[6] José Meseguer,et al. Petri Nets Are Monoids , 1990, Inf. Comput..
[7] Mogens Nielsen,et al. Models for Concurrency , 1992 .
[8] Gabriel Juhás. The essence of Petri nets and transition systems through Abelian groups , 1998, Electron. Notes Theor. Comput. Sci..
[9] D. B. Benson,et al. Functional Behvior of Nondeterministic and Concurrent Programs , 1984, Inf. Control..
[10] Gabriel Juhás,et al. Reasoning about Algebraic Generalisation of Petri Nets , 1999, ICATPN.
[11] G. Juhás. A Concept of an Algebraic Generalisation of Petri Nets , 1997 .
[12] Rüdiger Valk,et al. Generalizations of Petri Nets , 1981, MFCS.
[13] Grzegorz Rozenberg,et al. High-level Petri Nets: Theory And Application , 1991 .
[14] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[15] Gabriel Juhás,et al. On Semantics of Petri Nets over Partial Algebra , 1999, SOFSEM.