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 33 articles , 1 standard article )

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

1 2 next

  1. Molnár, Vince; Vörös, András; Darvas, Dániel; Bartha, Tamás; Majzik, István: Component-wise incremental LTL model checking (2016)
  2. Zhang, Nan; Duan, Zhenhua; Tian, Cong: A cylinder computation model for many-core parallel computing (2013)
  3. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012)
  4. Hostettler, Teve; Marechal, Alexis; Linard, Alban; Risoldi, Matteo; Buchs, Didier: High-level Petri net model checking with AlPiNA (2011)
  5. Kindler, Ekkart: The ePNK: an extensible Petri net tool for PNML (2011)
  6. Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta: Petri nets for modelling metabolic pathways: a survey (2010)
  7. Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.: PNML framework: an extendable reference implementation of the Petri net markup language (2010)
  8. Norta, Alex; Eshuis, Rik: Specification and verification of harmonized business-process collaborations (2010)
  9. Thomas, Oliver; Brocke, Jan Vom: A value-driven approach to the design of service-oriented information systems - making use of conceptual models (2010)
  10. Kindler, Ekkart; Petrucci, Laure: Towards a standard for modular Petri nets: a formalisation (2009)
  11. Bardin, Sébastien; Finkel, Alain; Leroux, Jér^ome; Petrucci, Laure: FAST: Acceleration from theory to practice (2008)
  12. Hamadi, Rachid; Benatallah, Boualem; Medjahed, Brahim: Self-adapting recovery nets for policy-driven exception handling in business processes (2008)
  13. 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)
  14. Cicirelli, Franco; Furfaro, Angelo; Nigro, Libero: Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty (2007)
  15. Kensche, David; Quix, Christoph; Chatti, Mohamed Amine; Jarke, Matthias: GeRoMe: A generic role based metamodel for model management (2007)
  16. Hofreiter, Birgit; Huemer, Christian; Kim, Ja-Hee: Choreography of ebxml business collaborations. (2006)
  17. Mauch, Holger: DP2PN2Solver: a flexible dynamic programming solver software tool (2006)
  18. Mendling, Jan; Nüttgens, Markus: EPC markup language (EPML): An XML-based interchange format for event-driven process chains (EPC). (2006)
  19. Winter, Andreas; Simon, Carlo: Using GXL for exchanging business process models. (2006)
  20. van Dongen, B.F.; de Medeiros, A.K.A.; Verbeek, H.M.W.; Weijters, A.J.M.M.; van der Aalst, W.M.P.: The ProM framework: A new era in process mining tool support (2005)

1 2 next

Further publications can be found at: