Modelling a Railway Crossing with Message Sequence Charts and Petri Nets.

Published in: Petri Net Technology for Communication-Based Systems (2003)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
state machines
stochastic petri net
ims ld
colored petri nets
service composition
fuzzy petri net
programmable logic controller
multi agent systems
formal specification
production process