Formal Tools for Modular System Development

The dualities event–condition and local state–global state in basic net theory are exploited in order to equip system designers with formal tools supporting modular system development. In the framework of categories with suitable morphisms of Elementary Net systems, Elementary Transition systems and Orthomodular posets of system local states (regions), some operations of composition and refinement are discussed as tools for modularity and abstraction.

[1]  R. J. van Glabbeek,et al.  Comparative Concurrency Semantics and Refinement of Actions , 1996 .

[2]  Giorgio De Michelis,et al.  Superposed Automata Nets , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[3]  Grzegorz Rozenberg,et al.  Elementary transition systems and refinement , 2005, Acta Informatica.

[4]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[5]  Giorgio De Michelis,et al.  A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence , 1988, Concurrency.

[6]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[7]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets 2003 , 2003, Lecture Notes in Computer Science.

[8]  Luciano Lavagno,et al.  Synthesis and Control of Discrete Event Systems , 2002, Springer US.

[9]  Benoît Caillaud,et al.  Modular System Development with Pullbacks , 2003, ICATPN.

[10]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[11]  Jörg Desel,et al.  Vicinity respecting net morphisms , 1991, Applications and Theory of Petri Nets.

[12]  Wolfgang Reisig,et al.  The Semantics of a Net is a Net , 1987 .

[13]  Glynn Winskel,et al.  Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..

[14]  Grzegorz Rozenberg.  Advances in Petri Nets 1992 , 1992, Lecture Notes in Computer Science.

[15]  Grzegorz Rozenberg,et al.  Concurrency and Nets , 1987, Springer Berlin Heidelberg.

[16]  Sylvia Pulmannová,et al.  Orthomodular structures as quantum logics , 1991 .

[17]  Kurt Lautenbach,et al.  Elements of General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[18]  Marek Antoni Bednarczyk,et al.  Categories of asynchronous systems , 1987 .

[19]  Luca Bernardinello,et al.  Towards Modular Synthesis of Elementary Net Systems , 2002 .

[20]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.

[21]  Grzegorz Rozenberg,et al.  Elementary Transition Systems , 1990, Theor. Comput. Sci..

[22]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[23]  Maciej Koutny,et al.  Petri Net Algebra , 2001, Monographs in Theoretical Computer Science An EATCS Series.

[24]  C. A. Petri.  Concepts of Net Theory , 1973, MFCS.

[25]  Giorgio De Michelis,et al.  Concurrency versus interleaving: an instructuve example , 1987, Bull. EATCS.

[26]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[27]  Carla Simone,et al.  A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.

[28]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[29]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[30]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[31]  José Meseguer,et al.  Petri Nets Are Monoids , 1990, Inf. Comput..

[32]  Luca Bernardinello.  Proprietes algebriques et combinatoires des regions dans les graphes, et leurs applications a la synthese de reseaux , 1998 .

[33]  Luca Bernardinello,et al.  A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.

[34]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[35]  Luca Bernardinello,et al.  An algebraic model of observable properties in distributed systems , 2003, Theor. Comput. Sci..

[36]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[37]  Carlo Ferigato,et al.  Towards Modular Synthesis of EN Systems , 2002 .