Local state refinement on Elementary Net Systems: an approach based on morphisms
暂无分享,去创建一个
Luca Bernardinello | Lucia Pomello | Elisabetta Mangioni | L. Bernardinello | E. Mangioni | L. Pomello
[1] Walter Vogler,et al. Executions: A New Partial-Order Semantics of Petri Nets , 1991, Theor. Comput. Sci..
[2] Milan Urbásek,et al. Rule-Based Refinement of Petri Nets: A Survey , 2003, Petri Net Technology for Communication-Based Systems.
[3] Marek A. Bednarczyk,et al. On Concurrent Realization of Reactive Systems and Their Morphisms , 2001, Unifying Petri Nets.
[4] Carla Simone,et al. A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.
[5] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[6] Grzegorz Rozenberg,et al. Elementary transition systems and refinement , 2005, Acta Informatica.
[7] L. Bernardinello,et al. Composition of Elementary Net Systems basedon α-morphisms , 2012 .
[8] Luca Bernardinello,et al. On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces , 2007, Fundam. Informaticae.
[9] Wilfried Brauer,et al. A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.
[10] Jörg Desel,et al. Vicinity Respecting Homomorphisms for Abstracting System Requirements , 2010, Trans. Petri Nets Other Model. Concurr..
[11] Glynn Winskel,et al. Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..
[12] Joost Engelfriet,et al. Elementary Net Systems , 1996, Applications and Theory of Petri Nets.