Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications.

Stanislav Böhm Marek Behalek

Published in: UKSim (2011)

Keyphrases

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