Shrinking of time Petri nets

DOI10.1007/S10626-013-0159-1zbMATH Open1273.93112OpenAlexW2026609607MaRDI QIDQ378906FDOQ378906

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

model-checkingstate-class graphtime interval shrinkingtime Petri nets

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• Shrinking timed automata

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)