The Petri net markup language: concepts, technology, and tools

Authors:
Jonathan Billington;Søren Christensen;Kees Van Hee;Ekkart Kindler;Olaf Kummer;Laure Petrucci;Reinier Post;Christian Stehno;Michael Weber
Affiliations:
University of South Australia, Computer Systems Engineering Centre;University of Aarhus, Department of Computer Science;Technische Universiteit Eindhoven, Department of Math.and Computer Science;University of Paderborn, Department of Computer Science;CoreMedia AG, Germany;Laboratoire Spécification et Vérification, CNRS, UMR, ENS de Cachan;Technische Universiteit Eindhoven, Department of Math.and Computer Science;Carl von Ossietzky University Oldenburg, Department of Computing Science;Humboldt-Universität zu Berlin, Computer Science Department
Venue:
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Year:
2003

Citing 1
Cited 57

Modelling and validation with VipTool

BPM'03 Proceedings of the 2003 international conference on Business process management

Multiagent Systems with Workflows

IEEE Internet Computing
An approach to web services oriented modeling and validation

Proceedings of the 2006 international workshop on Service-oriented software engineering
An evaluation of conceptual business process modelling languages

Proceedings of the 2006 ACM symposium on Applied computing
Flexible integration of XML into modeling and simulation systems

WSC '05 Proceedings of the 37th conference on Winter simulation
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty

Real-Time Systems
Ontology based representations of simulation models following the process interaction world view

Proceedings of the 38th conference on Winter simulation
Discovering Concurrent Models from Data Tables with the ROSECON System

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A comprehensive approach to model and use context for adapting applications in pervasive environments

Journal of Systems and Software
Translating unstructured workflow processes to readable BPEL: Theory and implementation

Information and Software Technology
Self-adapting recovery nets for policy-driven exception handling in business processes

Distributed and Parallel Databases
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets

Proceedings of the 2007 Summer Computer Simulation Conference
Interoperable Petri net models via ontology

International Journal of Web Engineering and Technology
Experimenting Formal Proofs of Petri Nets Refinements

Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and analysis of business process models in BPMN

Information and Software Technology
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
From OWL-S Descriptions to Petri Nets

Service-Oriented Computing - ICSOC 2007 Workshops
QPME: a performance modeling tool based on queueing Petri Nets

ACM SIGMETRICS Performance Evaluation Review
Model-Based Software Engineering and Process-Aware Information Systems

Transactions on Petri Nets and Other Models of Concurrency II
RESTful Petri Net Execution

Web Services and Formal Methods
A Web services and process-view combined approach for process management of collaborative product development

Computers in Industry
Modeling e-government business processes: New approaches to transparent and efficient performance

Information Polity - Government Information Sharing and Integration: Combining the Social and the Technical. Papers from the 9th International Conference on Digital Government Research (d.g.o.2008)
Workflow Planning in Holonic Manufacturing Systems with Extended Contract Net Protocol

IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
A process-view approach for cross-organizational workflows management

Advanced Engineering Informatics
A methodology to specify three-dimensional interaction using Petri Nets

Journal of Visual Languages and Computing
A service-based architecture for dynamically reconfigurable workflows

Journal of Systems and Software
Specification and verification of harmonized business-process collaborations

Information Systems Frontiers
Coloured Petri net refinement specification and correctness proof with Coq

Innovations in Systems and Software Engineering
How to implement a theory of correctness in the area of business processes and services

BPM'10 Proceedings of the 8th international conference on Business process management
Business process management with unified modeling language

DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
Analysis on demand: Instantaneous soundness checking of industrial business process models

Data & Knowledge Engineering
QPME 2.0: a tool for stochastic modeling and analysis using queueing Petri nets

From active data management to event-based systems and more
Verifying workflow processes: a transformation-based approach

Software and Systems Modeling (SoSyM)
The ePNK: an extensible petri net tool for PNML

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
XML in formal specification, verification and generation of mobile HCI

HCII'11 Proceedings of the 14th international conference on Human-computer interaction: towards mobile and intelligent interaction environments - Volume Part III
A semantic model for many-core parallel computing

COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Petri net based formal analysis for multimedia conferencing services orchestration

Expert Systems with Applications: An International Journal
Towards an integrated BPM schema: control flow heterogeneity of PNML and BPEL4WS

WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
PN standardisation: a survey

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
FAST extended release

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Specifying web workflow services for finding partners in the context of loose inter-organizational workflow

BPM'05 Proceedings of the 3rd international conference on Business Process Management
The prom framework: a new era in process mining tool support

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Controversy Corner: Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches

Journal of Systems and Software
Deriving generalised stochastic Petri net performance models from high-precision location tracking data

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Managing petri nets in MOF repositories

OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
UEML 1.0 and UEML 2.0: benefits, problems and comparison

BPM'05 Proceedings of the Third international conference on Business Process Management
Automated runtime validation of software architecture design

ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Automatic synchronisation detection in petri net performance models derived from location tracking data

EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Model checking inconsistency recovery costs

ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Model transformations

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Stochastic modeling and analysis using QPME: queueing petri net modeling environment v2.0

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Discovering Concurrent Models from Data Tables with the ROSECON System

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
EISEval, a generic reconfigurable environment for evaluating agent-based interactive systems

International Journal of Human-Computer Studies
Preventing database deadlocks in applications

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
REDACT: preventing database deadlocks from application-based transactions

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A cylinder computation model for many-core parallel computing

Theoretical Computer Science
Development of context-aware workflow systems based on Petri Net Markup Language

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of Petri nets, PNML allows the definition of Petri net types. Due to this flexibility, PNML is a starting point for a standard interchange format for Petri nets. This paper discusses the design principles, the basic concepts, and the underlying XML technology of PNML. The main purpose of this paper is to disseminate the ideas of PNML and to stimulate discussion on and contributions to a standard Petri net interchange format.