Verifying scenarios with time Petri-nets.

Jonathan Lee Jiann-I Pan Jong-Yih Kuo

Published in: Inf. Softw. Technol. (2001)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
ims ld
state machines
fuzzy petri net
process model
service composition
high level petri nets
discrete dynamical systems
knowledge base
simulation model