Object-oriented approach to Timed Colored Petri Net simulation

This paper presents object-oriented design of library meant for modeling and simulating Timed Colored Petri Net models. The approach is prepared to integrate TCPN models with crucial parts of larger applications implemented in object-oriented languages. The formal models can be tightly joined with applications allowing the latter to interpret states of the formal model in their domain of responsibility. This approach allows less error-prone and more pervasive use of formal methods to improve quality of software created with imperative languages.

[1]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[2]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[3]  Michael Westergaard,et al.  The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator , 2009, Petri Nets.

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

[5]  G. Dec,et al.  Kolorowana sieć Petriego jako model systemu podejmowania decyzji kredytowej , 2010 .

[6]  Java Companion.  THE DESIGN PATTERNS , 1998 .

[7]  Lars Michael Kristensen,et al.  Design/CPN - A Computer Tool for Coloured Petri Nets , 1997, TACAS.

[8]  Hing Kai Chan,et al.  Priority-Based Distributed Manufacturing Process Modeling via Hierarchical Timed Color Petri Net , 2013, IEEE Transactions on Industrial Informatics.

[9]  Dariusz Rzonca,et al.  Data Acquisition Server for Mini Distributed Control System , 2011, CN.

[10]  Lars Michael Kristensen,et al.  Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN , 2001 .

[11]  Barbara König,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2012, Lecture Notes in Computer Science.

[12]  Samuil Angelov,et al.  Petri Net Technology for Communication-Based Systems , 2003, Lecture Notes in Computer Science.

[13]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[14]  Cyril S. Ku,et al.  Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[15]  Bin Wang,et al.  A Server Independent Authentication Scheme for RFID Systems , 2012, IEEE Transactions on Industrial Informatics.

[16]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

[17]  Hartmut Ehrig.  Petri Net Technology for communication-based systems : advances in Petri Nets , 2003 .

[18]  K. Mortensen.  Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator , 2001 .

[19]  Ekkart Kindler,et al.  The Petri Net Kernel , 2003, Petri Net Technology for Communication-Based Systems.

[20]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

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

[22]  Wojciech Rzasa.  Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications , 2009, CN.