zbMath1009.68088MaRDI QIDQ4782042
Bruno Gaujal, Stefan Haar
Publication date: 27 November 2002
zbMATH Keywords
timed Petri net
Mathematics Subject Classification ID
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items