The Petri Net Markup Language

DOI10.1007/978-3-540-40022-6_7zbMath1283.68260OpenAlexW2113733577MaRDI QIDQ5392159

No author found.

Publication date: 8 April 2011

Published in: Petri Net Technology for Communication-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-40022-6_7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Modeling and verification of the SDL-specified communication protocols using high-level Petri nets ⋮ The ins and outs of Petri net composition ⋮ Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ Design Issues for Qualitative Modelling of Biological Cells with Petri Nets ⋮ Reduction of Workflow Nets for Generalised Soundness Verification ⋮ A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation ⋮ Towards Common Exchange Formats for Graphs and Graph Transformation Systems ⋮ Extensible structural analysis of Petri net product lines ⋮ Towards a Standard for Modular Petri Nets: A Formalisation ⋮ SESSL

Uses Software

• PNML

This page was built for publication: The Petri Net Markup Language