Object-oriented approach to Timed Colored Petri Net simulation
暂无分享,去创建一个
[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.