Specification and performance analysis of embedded systems with coloured Petri nets

DOI10.1016/S0898-1221(99)00156-XzbMath0953.68106OpenAlexW1973880497MaRDI QIDQ1963360

L. P. M. Benders

Publication date: 26 January 2000

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0898-1221(99)00156-x

zbMATH Keywords

coloured Petri net

Mathematics Subject Classification ID

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

Cites Work

• System modelling with high-level Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification and performance analysis of embedded systems with coloured Petri nets