A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt.

Luca Bernardinello Francesco Adalberto Bianchi

Published in: PNSE (2012)

Keyphrases

petri net
concurrent processes
petri net model
discrete event systems
manufacturing systems
social networks
life cycle
ims ld
colored petri nets
stochastic petri net
state machines
sequence diagrams
service composition
formal specification
concurrent systems
knowledge based systems
fuzzy petri net
low cost