Contraction of the ITCPN state space

DOI10.1016/S1571-0661(04)80466-3zbMath1270.68163OpenAlexW1985984316MaRDI QIDQ2842567

Gérard Berthelot, Hanifa Boucheneb

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80466-3

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)

Related Items (2)

CTL* model checking for time Petri nets ⋮ Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties

Uses Software

• Kronos
• HyTech

Cites Work

• HyTech: A model checker for hybrid systems
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Contraction of the ITCPN state space