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

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

1 2 next

  1. Zhang, Nan; Duan, Zhenhua; Tian, Cong: A cylinder computation model for many-core parallel computing (2013)
  2. Heiner, Monika; Herajy, Mostafa; Liu, Fei; Rohr, Christian; Schwarick, Martin: Snoopy -- a unifying Petri net tool (2012)
  3. Hostettler, Teve; Marechal, Alexis; Linard, Alban; Risoldi, Matteo; Buchs, Didier: High-level Petri net model checking with AlPiNA (2011)
  4. Kindler, Ekkart: The ePNK: an extensible Petri net tool for PNML (2011)
  5. Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta: Petri nets for modelling metabolic pathways: a survey (2010)
  6. Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.: PNML framework: an extendable reference implementation of the Petri net markup language (2010)
  7. Norta, Alex; Eshuis, Rik: Specification and verification of harmonized business-process collaborations (2010)
  8. Thomas, Oliver; Brocke, Jan Vom: A value-driven approach to the design of service-oriented information systems - making use of conceptual models (2010)
  9. Kindler, Ekkart; Petrucci, Laure: Towards a standard for modular Petri nets: a formalisation (2009)
  10. Bardin, Sébastien; Finkel, Alain; Leroux, Jér^ome; Petrucci, Laure: FAST: Acceleration from theory to practice (2008)
  11. Choppy, Christine; Mayero, Micaela; Petrucci, Laure: Experimenting formal proofs of Petri nets refinements. (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. Shaw, Oliver; Steggles, L.Jason; Wipat, Anil: Automatic parameterisation of stochastic Petri net models of biological networks. (2006)
  20. Winter, Andreas; Simon, Carlo: Using GXL for exchanging business process models. (2006)

1 2 next


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