Validation of Information Systems Using Petri Nets.

Asghar Bokhari W. F. Skip Poehlman

Published in: ICEIS (3) (2006)

Keyphrases

petri net
information systems
petri net model
high level petri nets
manufacturing systems
discrete event systems
service composition
colored petri nets
ims ld
fuzzy petri net
discrete dynamical systems
process model
concurrent systems
stochastic petri net
computer systems
low cost
state machines