Statecharting Petri nets

A polynomial algorithm that translates a Petri net into an equivalent (bisimilar) statechart is presented. The translation preserves the structure of the Petri net. Key property of the algorithm is that it is structural and does not use any Petri net analysis technique. The algorithm is formally proven correct. Though not every statechart equivalent to a net is constructible by the algorithm, the set of constructible statecharts is fairly large.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[3]  Sol M. Shatz,et al.  Formalization of Object Behavior and Interactions from UML Models , 2001, Int. J. Softw. Eng. Knowl. Eng..

[4]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[5]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[6]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[7]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[8]  Amir Pnueli,et al.  What is in a Step: On the Semantics of Statecharts , 1991, TACS.

[9]  Rob J. van Glabbeek,et al.  The Linear Time - Branching Time Spectrum I , 2001, Handbook of Process Algebra.

[10]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[11]  Susanna Donatelli,et al.  A compositional semantics for UML state machines aimed at performance evaluation , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[12]  H Rik Eshuis,et al.  On nets with structured concurrency , 2005 .

[13]  C. Petri.  Kommunikation mit Automaten , 1962 .

[14]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[15]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[16]  Mario Dal Cin,et al.  Quantitative Analysis of UML Statechart Models of Dependable Systems , 2002, Comput. J..

[17]  Rik Eshuis,et al.  Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets , 2003, Petri Net Technology for Communication-Based Systems.

[18]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[19]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[20]  Luciano Lavagno,et al.  Coupling Asynchrony and Interrupts: Place Chart Nets , 1997, ICATPN.

[21]  Ernst-Rüdiger Olderog,et al.  Nets, terms and formulas , 1991 .

[22]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[23]  Peter Sestoft.  On the Formal Semantics of VisualSTATE Statecharts , 2002 .

[24]  Patrick Saint-Dizier,et al.  Review of Prolog and natural-language analysis: CSLI lecture notes 10 by Fernando C. N. Pereira and Stuart M. Shieber. Center for the Study of Language and Information 1987. , 1988 .

[25]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[26]  Rik Eshuis,et al.  Reactive Petri Nets for Workflow Modeling , 2003, ICATPN.

[27]  David Harel,et al.  On statecharts with overlapping , 1992, TSEM.

[28]  David Harel,et al.  On visual formalisms , 1988, CACM.

[29]  R. V. Glabbeek.  The Linear Time-Branching Time Spectrum I The Semantics of Concrete , Sequential ProcessesR , 2007 .

[30]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[31]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[32]  Harald Störrle.  Models of software architecture: design and analysis with UML and Petri nets , 2000 .

[33]  Doron Drusinsky,et al.  On the power of bounded concurrency I: finite automata , 1994, JACM.

[34]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[35]  E.-R. Olderog,et al.  Nets, Terms and Formulas (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[36]  Volker Krebs,et al.  Konvertierung sicherer Petri-Netze in Statecharts/ Conversion of safe Petri nets into Statecharts , 1999 .

[37]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[38]  Wolfgang Reisig,et al.  Lectures on Petri nets : advances in Petri nets , 1998 .