scientific article; zbMATH DE number 2088660

MaRDI QIDQ3045257zbMATH OpenFDO

Authors G. Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600142.htm

zbMATH Keywords

real-timePetri netsinhibitor arcsCO-OPN

Mathematics Subject Classification ID

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

Recommendations

• On the composition of time Petri nets
• scientific article; zbMATH DE number 1070535
• scientific article; zbMATH DE number 1439078
• scientific article; zbMATH DE number 1228291
• A brief survey and synthesis of the roles of time in Petri nets.

Cited in

(5)

• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• Synchro-net system: A Petri net model for higher-layer protocols
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• scientific article; zbMATH DE number 1756009 (Why is no real title available?)
• Phase semantics and Petri net interpretation for resource-sensitive strong negation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045257)