Special section on coloured Petri nets

DOI10.1007/s100090050020zbMath1022.68670OpenAlexW2030865582MaRDI QIDQ1865843

Kurt Jensen

Publication date: 20 October 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/s100090050020

Mathematics Subject Classification ID

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

Related Items (1)

Linear equations for unordered data vectors in $[D^k\to{}Z^d$]

This page was built for publication: Special section on coloured Petri nets