Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties

DOI10.1007/s00165-007-0050-7zbMath1141.68045OpenAlexW2074388532MaRDI QIDQ2481211

Hanifa Boucheneb

Publication date: 9 April 2008

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-007-0050-7

zbMATH Keywords

State spaceInterval timed coloured Petri netsLinear propertiesState class graph

Mathematics Subject Classification ID

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

Uses Software

• SENAC
• Kronos
• HyTech
• Uppaal

Cites Work

• Unnamed Item
• Model-checking in dense real-time
• HyTech: A model checker for hybrid systems
• Contraction of the ITCPN state space
• Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.
• Recoverability of Communication Protocols--Implications of a Theoretical Study