The Petri Net Markup Language

@inproceedings{Weber2003ThePN,
  title={The Petri Net Markup Language},
  author={Michael Weber and Ekkart Kindler},
  booktitle={Petri Net Technology for Communication-Based Systems},
  year={2003}
}
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML supports any version of Petri net since new Petri net types can be defined by so-called Petri Net Type Definitions (PNTD). In this paper, we present the syntax and the semantics of PNML as well as the principles underlying its design. Moreover, we present an extension called modular PNML, which is a type independent module concept for 
BETA

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 156 CITATIONS, ESTIMATED 23% COVERAGE

Microservice Based Tool Support for Business Process Modelling

  • 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop
  • 2015
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets

  • 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence
  • 2015
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Scheduling Patients in Hospitals Based on Multi-agent Systems

VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Collaborative composition of processes in holonic manufacturing systems

  • Computers in Industry
  • 2011
VIEW 17 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1979
2018

CITATION STATISTICS

  • 24 Highly Influenced Citations

  • Averaged 5 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

Trex: tree regular expressions for xml

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

The Petri Net Kernel An infrastructure for building Petri net tools

  • International Journal on Software Tools for Technology Transfer
  • 2001
VIEW 1 EXCERPT

Meeting on XML/SGML based Interchange Formats for Petri Nets, Århus

Rémi Bastide, Jonathan Billington, +3 authors editors
  • 2000
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…