Transition Systems of Elementary Net Systems with Localities
暂无分享,去创建一个
[1] Francesca Rossi,et al. Contextual nets , 1995, Acta Informatica.
[2] Maciej Koutny,et al. Towards a Petri Net Semantics for Membrane Systems , 2005, Workshop on Membrane Computing.
[3] Marta Pietkiewicz-Koutny. Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems , 2002, Fundam. Informaticae.
[4] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.
[5] Giorgio De Michelis,et al. On The Synchronic Structure of Transition Systems , 1995, STRICT.
[6] Philippe Darondeau,et al. Theory of Regions , 1996, Petri Nets.
[7] Philippe Darondeau,et al. The Synthesis Problem for Elementary Net Systems is NP-Complete , 1997, Theor. Comput. Sci..
[8] Mogens Nielsen,et al. Models for Concurrency , 1992 .
[9] André Arnold,et al. Finite transition systems , 1994 .
[10] André Arnold,et al. Finite transition systems - semantics of communicating systems , 1994, Prentice Hall international series in computer science.
[11] G. Michele Pinna,et al. Synthesis of Nets with Inhibitor Arcs , 1997, CONCUR.
[12] Marta Pietkiewicz-Koutny. The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs , 1999, Fundam. Informaticae.
[13] Grzegorz Rozenberg,et al. Elementary Transition Systems , 1990, Theor. Comput. Sci..
[14] Alexandre Yakovlev,et al. Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits , 2005, FMGALS@MEMOCODE.
[15] Gheorghe Paun,et al. Membrane Computing , 2002, Natural Computing Series.
[16] Robert M. Keller,et al. Formal verification of parallel programs , 1976, CACM.
[17] Madhavan Mukund. Petri Nets and Step Transition Systems , 1992, Int. J. Found. Comput. Sci..
[18] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.