scientific article; zbMATH DE number 1755141

zbMATH Open0986.68076MaRDI QIDQ4535175FDOQ4535175

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

Publication date: 13 June 2002

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (12)

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

This page was built for publication:

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