scientific article; zbMATH DE number 2088674

zbMATH Open1047.68090MaRDI QIDQ3045274FDOQ3045274

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (11)

• 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
• Title not available (Why is that?)
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• 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
• Effective Representation of RT-LOTOS Terms by Finite Time 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)