Formalization of Petri nets with clocks

MaRDI QIDQ3423371zbMATH OpenFDO

Authors R. Uzal, Daniel Riesco, German Montejano, G. Vilallonga, Narayan Chandra Debnath

Publication date 22 February 2007

zbMATH Keywords

CASE toolsreal-time systemstimed graphstimed Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A brief survey and synthesis of the roles of time in Petri nets.
• Tutorial and Survey Articles: An introduction to Petri Nets
• On the composition of time Petri nets
• Time and Petri nets
• scientific article; zbMATH DE number 107896

Cited in

(2)

• Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis

This page was built for publication: Formalization of Petri nets with clocks

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