Resource bisimulation in Petri nets

zbMath1110.68415MaRDI QIDQ880715

V. A. Bashkin, Irina A. Lomazova

Publication date: 16 May 2007

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Resource bisimulation in Petri nets