Shrinking of time Petri nets

DOI10.1007/S10626-013-0159-1MaRDI QIDQ378906zbMATH OpenOpenAlexFDO

Authors Didier Lime, Claude Martinez, Olivier H. Roux

Publication date 12 November 2013

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-013-0159-1

zbMATH Keywords

model-checkingstate-class graphtime interval shrinkingtime Petri nets

Mathematics Subject Classification ID

Applications of graph theory (05C90) Discrete event control/observation systems (93C65)

Recommendations

• TCTL model checking of time Petri nets
• scientific article; zbMATH DE number 4209631
• Cost problems for parametric time Petri nets
• SMT-based reachability checking for bounded time Petri nets
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

Cites work

• A method for parametric verification of the behavior of time Petri nets
• A survey of Petri net methods for controlled discrete event systems
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Control of an electroplating line in the max and min algebras
• scientific article; zbMATH DE number 1701759 (Why is no real title available?)
• scientific article; zbMATH DE number 5506896 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 193411 (Why is no real title available?)
• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• Just in time control of constrained \((max,+)\)-linear systems
• Max-Plus (A,B)-Invariant Spaces and Control of Timed Discrete-Event Systems
• Model-checking for real-time systems
• On integer points in polyhedra
• Parametric model-checking of stopwatch Petri nets
• Parametric real-time reasoning
• Parametric timing analysis for real-time systems
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• TCTL model checking of time Petri nets

Cited in

(2)

• Shrinking timed automata
• scientific article; zbMATH DE number 5152608 (Why is no real title available?)

Describes a project that uses

Uses Software

• Romeo
• PPL
• UMDES

This page was built for publication: Shrinking of time Petri nets

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