PNML

PNML

Petri net markup language (PNML) is a file format used to represent semi-formal process and organization models in two interrelated files. It is based on the concept of a Reference net, which is a special type of object Petri net. PNML is adopted for models exchange among various tools.From: eWork and eBusiness in Architecture, Engineering and Construction [2020], Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets [2022]

Integrated business process modeling and simulation – A case from the construction industry

View Chapter

Purchase Book

Published in Manuel Martínez, Raimar Scherer, eWork and eBusiness in Architecture, Engineering and Construction, 2020

K. Sarshar, Th. Theling, P. Loos

This paper presents the concept on how to transform the repository-wide XML-formats for semi-formal process and organization models into two interrelated PNML files (Petri Net Markup Language) (Billington et al. 2003) representing a Reference net (Kummer 2002) which is a special type of object Petri nets (Valk 2004).

Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets

View Article

Journal Information

Published in International Journal of Parallel, Emergent and Distributed Systems, 2022

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Birgit Pröll

Strict definitions of elementary and CPNs supplied with an overview of their analysis techniques and examples are contained in [25–28]. As for CPNs, we follow their definitions and descriptions of modelling system CPN Tools [27]. For P/T-nets we prefer the terminology of modelling system Tina [29]. For models exchange among various tools, the Petri Net Markup Language (PNML) is adopted [30]. Note that, there are two aspects of Petri net spatial structure: logical aspect is brought in via binding elements’ locations with spatial indices while graphical aspect represents further refinement based on elements’ sizes and mutual offsets.

Explore chapters and articles related to this topic

Integrated business process modeling and simulation – A case from the construction industry

Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets