Synthesis of General Petri Nets with Localities
暂无分享,去创建一个
[1] Marta Pietkiewicz-Koutny. The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs , 1999, Fundam. Informaticae.
[2] Maciej Koutny,et al. Processes of membrane systems with promoters and inhibitors , 2008, Theor. Comput. Sci..
[3] Maciej Koutny,et al. Transition Systems of Elementary Net Systems with Localities , 2006, CONCUR.
[4] G. Rozenberg,et al. Elementary transition systems , 1990 .
[5] Maciej Koutny,et al. Synthesis of Nets with Step Firing Policies , 2008, Petri Nets.
[6] Maciej Koutny,et al. Synthesis of Petri Nets with Localities , 2009, Sci. Ann. Comput. Sci..
[7] Marco Ajmone Marsan,et al. Application and Theory of Petri Nets 1993 , 1993, Lecture Notes in Computer Science.
[8] Philippe Darondeau,et al. The Synthesis Problem for Elementary Net Systems is NP-Complete , 1997, Theor. Comput. Sci..
[9] Maciej Koutny,et al. Synthesis of Elementary Net Systems with Context Arcs and Localities , 2007, Fundam. Informaticae.
[10] Wolfgang Reisig,et al. The synthesis problem of Petri nets , 1993, Acta Informatica.
[11] Madhavan Mukund. Petri Nets and Step Transition Systems , 1992, Int. J. Found. Comput. Sci..
[12] Alexandre Yakovlev,et al. Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits , 2005, FMGALS@MEMOCODE.
[13] Gheorghe Paun,et al. Membrane Computing , 2002, Natural Computing Series.
[14] Philippe Darondeau,et al. Theory of Regions , 1996, Petri Nets.
[15] Maciej Koutny,et al. Towards a Petri Net Semantics for Membrane Systems , 2005, Workshop on Membrane Computing.
[16] Wolfgang Reisig,et al. Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.
[17] Luca Bernardinello,et al. Synthesis of Net Systems , 1993, Application and Theory of Petri Nets.