Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

DOI10.1016/S1571-0661(04)80467-5zbMath1270.68205MaRDI QIDQ2842569

Marc Boyer

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

Cites Work

• Time-based expressivity of time Petri nets for system specification
• A theory of timed automata
• Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
• Unnamed Item

This page was built for publication: Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)