PNML

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

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

1 2 next

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

1 2 next


Further publications can be found at: http://www.pnml.org/papers.php