TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.

Joakim Byg Kenneth Yrke Jørgensen Jirí Srba

Published in: ATVA (2009)

Keyphrases

petri net
colored petri nets
manufacturing systems
petri net model
high level petri nets
discrete event systems
simulation model
fuzzy petri net
stochastic petri net
service composition
ims ld
decision making
state machines
neural network
process model
low cost
fuzzy logic