PNML framework: An extendable reference implementation of the Petri net markup language. The International Standard on Petri nets, ISO/IEC 15909, provides a formal semantics and syntax to enable model interchange and industrial dissemination. Part 2 defines a concrete interchange format as an XML-based language: PNML. This language is bound to evolve together with future developments of the standard.par This paper presents PNML Framework, a companion implementation of the standard. It provides developers of Petri net tools with a convenient and fast way to implement support of PNML documents. It abstracts away from any XML explicit manipulation and ensures compliance with the standard by using APIs.

References in zbMATH (referenced in 40 articles , 1 standard article )

Showing results 1 to 20 of 40.
Sorted by year (citations)

1 2 next

  1. Bride, Hadrien; Kouchnarenko, Olga; Peureux, Fabien: Reduction of workflow nets for generalised soundness verification (2017)
  2. Kheldoun, Ahmed; Barkaoui, Kamel; Ioualalen, Malika: Formal verification of complex business processes based on high-level Petri nets (2017)
  3. Mizuta, Atsushi; Ge, Qi-Wei; Matsuno, Hiroshi: Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model (2017)
  4. Molnár, Vince; Vörös, András; Darvas, Dániel; Bartha, Tamás; Majzik, István: Component-wise incremental LTL model checking (2016)
  5. Ewald, Roland; Uhrmacher, Adelinde M.: SESSL: a domain-specific language for simulation experiments (2014)
  6. Zhang, Nan; Duan, Zhenhua; Tian, Cong: A cylinder computation model for many-core parallel computing (2013)
  7. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012) ioport
  8. Hostettler, Teve; Marechal, Alexis; Linard, Alban; Risoldi, Matteo; Buchs, Didier: High-level Petri net model checking with AlPiNA (2011)
  9. Kindler, Ekkart: The ePNK: an extensible Petri net tool for PNML (2011)
  10. Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta: Petri nets for modelling metabolic pathways: a survey (2010)
  11. Hillah, L. M.; Kordon, F.; Petrucci, L.; Trèves, N.: PNML framework: an extendable reference implementation of the Petri net markup language (2010) ioport
  12. Norta, Alex; Eshuis, Rik: Specification and verification of harmonized business-process collaborations (2010) ioport
  13. Thomas, Oliver; Brocke, Jan Vom: A value-driven approach to the design of service-oriented information systems - making use of conceptual models (2010) ioport
  14. Kindler, Ekkart; Petrucci, Laure: Towards a standard for modular Petri nets: a formalisation (2009)
  15. Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme; Petrucci, Laure: FAST: Acceleration from theory to practice (2008) ioport
  16. Choppy, Christine; Mayero, Micaela; Petrucci, Laure: Experimenting formal proofs of Petri nets refinements (2008)
  17. Hamadi, Rachid; Benatallah, Boualem; Medjahed, Brahim: Self-adapting recovery nets for policy-driven exception handling in business processes (2008) ioport
  18. Nepomniaschy, V. A.; Argirov, V. S.; Beloglazov, D. M.; Bystrov, A. V.; Chetvertakov, E. A.; Churina, T. G.: Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (2008)
  19. Cicirelli, Franco; Furfaro, Angelo; Nigro, Libero: Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty (2007)
  20. Kensche, David; Quix, Christoph; Chatti, Mohamed Amine; Jarke, Matthias: GeRoMe: A generic role based metamodel for model management (2007)

1 2 next

Further publications can be found at: