From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.

Tarek Sadani Pierre de Saqui-Sannes Jean-Pierre Courtiat

Published in: SEFM (2005)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
service composition
stochastic petri net
discrete event systems
ims ld
state machines
real time
artificial intelligence
fuzzy petri net
process model
model checking
web services
discrete dynamical systems