Removing dead transitions in timed-arc Petri nets

DOI10.1080/13873950802416332zbMath1156.93361OpenAlexW2056423370MaRDI QIDQ3612723

Valentin Valero, Hermenegilda Macia

Publication date: 10 March 2009

Published in: Mathematical and Computer Modelling of Dynamical Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10.1080/13873950802416332

zbMATH Keywords

formal methodstimed Petri netsdecidability of properties

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) System structure simplification (93B11)

Related Items (1)

Strong behavioral similarities in timed-arc Petri nets

Cites Work

• Time-based expressivity of time Petri nets for system specification
• A brief survey and synthesis of the roles of time in Petri nets.

This page was built for publication: Removing dead transitions in timed-arc Petri nets