Shrinking of time Petri nets

DOI10.1007/s10626-013-0159-1zbMath1273.93112OpenAlexW2026609607MaRDI QIDQ378906

Didier Lime, Olivier H. Roux, Claude Martinez

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

time Petri netsmodel-checkingstate-class graphtime interval shrinking

Mathematics Subject Classification ID

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

Uses Software

• Romeo
• PPL
• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parametric timing analysis for real-time systems
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• Just in time control of constrained \((max,+)\)-linear systems
• On integer points in polyhedra
• A survey of Petri net methods for controlled discrete event systems
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• TCTL Model Checking of Time Petri Nets
• Control of an electroplating line in the max and min algebras
• Model-checking for real-time systems
• Parametric real-time reasoning
• Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
• A method for parametric verification of the behavior of time Petri nets

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