Publication:4782057

zbMath1032.68109MaRDI QIDQ4782057

Emmanuel Grolleau, Annie Choquet-Geniet

Publication date: 9 March 2004

zbMATH Keywords

Petri nets; real-time systems

Mathematics Subject Classification ID

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

Related Items

Investigating the usability of real-time scheduling theory with the Cheddar project