Contraction of the ITCPN state space

DOI10.1016/S1571-0661(04)80466-3MaRDI QIDQ2842567zbMATH OpenOpenAlexFDO

Authors H. Boucheneb, G. Berthelot

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)

Recommendations

• Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
• scientific article; zbMATH DE number 1755141
• scientific article; zbMATH DE number 5152608
• CTL* model checking for time Petri nets
• scientific article; zbMATH DE number 1759425

Cites work

• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 3622958 (Why is no real title available?)
• scientific article; zbMATH DE number 877807 (Why is no real title available?)
• HyTech: A model checker for hybrid systems
• Recoverability of Communication Protocols--Implications of a Theoretical Study

Cited in

(2)

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

Describes a project that uses

Uses Software

• HyTech
• Kronos

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

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