Web-based interfaces for simulation of coloured Petri net models

DOI10.1007/S100090100060zbMath0993.68064OpenAlexW126405749WikidataQ126572412 ScholiaQ126572412MaRDI QIDQ5953457

Bo Lindstrøm

Publication date: 23 January 2002

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/s100090100060

zbMATH Keywords

coloured Petri netsDesign/CPN

Mathematics Subject Classification ID

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

This page was built for publication: Web-based interfaces for simulation of coloured Petri net models