scientific article; zbMATH DE number 2088674

MaRDI QIDQ3045274zbMATH OpenFDO

Authors Valentín Valero, Juan José Pardo, Fernando Cuartero

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600414.htm

Mathematics Subject Classification ID

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

Recommendations

• Structural translation from time Petri nets to timed automata
• scientific article; zbMATH DE number 997812
• Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
• Applications and Theory of Petri Nets 2005
• From Time Petri Nets to Timed Automata: An Untimed Approach

Cited in

(11)

• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Strong behavioral similarities in timed-arc Petri nets
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• scientific article; zbMATH DE number 2140431 (Why is no real title available?)
• A concurrency-preserving translation from time Petri nets to networks of timed automata
• Verification of Timed-Arc Petri Nets
• Theoretical Aspects of Computing - ICTAC 2004
• Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
• TAPAAL 2.0: integrated development environment for timed-arc Petri nets

This page was built for publication:

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