Condensed state spaces for timed Petri nets

DOI10.1007/3-540-45740-2_8MaRDI QIDQ4535175zbMATH OpenFDO

Authors Søren Christensen, Thomas Mailund, Lars M. Kristensen

Publication date 13 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750101

Mathematics Subject Classification ID

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

Recommendations

• State space computation and analysis of Time Petri Nets
• scientific article; zbMATH DE number 5152608
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• A holistic state equation for timed Petri nets
• scientific article; zbMATH DE number 1956600

Cited in

(12)

• CTL* model checking for time Petri nets
• Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
• Contraction of the ITCPN state space
• scientific article; zbMATH DE number 2088667 (Why is no real title available?)
• scientific article; zbMATH DE number 5152608 (Why is no real title available?)
• Coloured Petri net scheduling models: Timed state space exploration shortages
• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• Reduced state space representation for unbounded vector state spaces
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• scientific article; zbMATH DE number 744061 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems
• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN

This page was built for publication: Condensed state spaces for timed Petri nets

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