Requirements determination using the cube tool methodology and Petri nets.

Didier M. Perdu Alexander H. Levis

Published in: IEEE Trans. Syst. Man Cybern. (1993)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
sequence diagrams
process model
colored petri nets
state machines
fuzzy petri net
data cube
service composition
concurrent systems
stochastic petri net
ims ld
programmable logic controller
artificial intelligence
distributed systems