Translating TPAL Specifications into Timed-Arc Petri Nets.

Valentín Valero Ruiz Juan José Pardo Fernando Cuartero

Published in: ICATPN (2002)

Keyphrases

petri net
concurrent systems
state machines
reactive systems
embedded real time systems
colored petri nets
petri net model
discrete event systems
manufacturing systems
ims ld
stochastic petri net
service composition
fuzzy petri net
artificial intelligence
formal specification
process model
data analysis
e learning