Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Petri nets and algebraic specifications
Theoretical Computer Science
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Eclipse Modeling Framework
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Towards a model-driven engineering approach for developing embedded hard real-time software
Proceedings of the 2008 ACM symposium on Applied computing
Transforming sources to petri nets: a way to analyze execution of parallel programs
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Adapting Models to Model Checkers, A Case Study: Analysing AADL Using Time or Colored Petri Nets
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Efficient state-based analysis by introducing bags in Petri nets color domains
ACC'09 Proceedings of the 2009 conference on American Control Conference
| Hi-index | 0.00 |
Petri Nets formalism requires standardisation to facilitate the work of researchers in this field and to enable the data exchange between different Petri Nets tools through a common format. Following this, a three-part International Standard (ISO/IEC 15909) has been developed. Part 1 is devoted to terms and definitions for Place/Transition Nets and High-Level Petri Nets. It is now completed (published as a standard) but will include an addendum on Symmetric Nets. Part 2 aims at providing a transfer format for High-level Petri Nets, called PNML, based on XML. Work on part 3 which deals with extensions has not started yet. In this paper the first two parts of the standard are presented. Then, to support part 2, an implementation of PNML, through an API framework to be integrated into Petri Net tools, is proposed. It allows for the translation of any Petri Net, designed by a given tool in a dedicated format, into PNML.