Extended Timed Automata and Time Petri Nets.

Patricia Bouyer Pierre-Alain Reynier Serge Haddad

Published in: ACSD (2006)

Keyphrases

petri net
timed automata
model checking
petri net model
discrete event systems
reachability analysis
manufacturing systems
theorem prover
colored petri nets
theorem proving
service composition
state machines
fuzzy petri net
ims ld
stochastic petri net
concurrent systems
data analysis
low cost
fuzzy logic
real time