Modal algebra and Petri nets.

Han-Hing Dang Bernhard Möller

Published in: Acta Informatica (2015)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
modal logic
fuzzy petri net
colored petri nets
ims ld
state machines
stochastic petri net
concurrent systems
programmable logic controller
neural network
description language
sequence diagrams
process model