State class timed automaton of a time Petri net.

Didier Lime Olivier H. Roux

Published in: PNPM (2003)

Keyphrases

petri net
petri net model
high level petri nets
colored petri nets
manufacturing systems
finite state machines
stochastic petri net
discrete event systems
service composition
web service composition
ims ld
fuzzy petri net
process model
state space
concurrent systems
story generation