The practitioner's guide to coloured Petri nets.

DOI10.1007/s100090050021zbMath1033.68590OpenAlexW2009983102MaRDI QIDQ1865844

Søren Christensen, Kurt Jensen, Lars Michael Kristensen

Publication date: 15 July 2003

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090050021

zbMATH Keywords

verificationvisualizationvalidation

Mathematics Subject Classification ID

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

Related Items (5)

Modeling and verification of the SDL-specified communication protocols using high-level Petri nets ⋮ Analysis of VME-bus communication protocol -- RTCP-net approach ⋮ SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) ⋮ Computational challenges in systems biology ⋮ Analyzing permutation capability of multistage interconnection networks with colored Petri nets

Uses Software

• Design/CPN

This page was built for publication: The practitioner's guide to coloured Petri nets.