Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs).

Hassan Reza Emanuel S. Grant

Published in: ITNG (2009)

Keyphrases

petri net
manufacturing systems
petri net model
discrete event systems
colored petri nets
stochastic petri net
service composition
state machines
fuzzy petri net
ims ld
concurrent systems
test cases
development process
programmable logic controller
neural network