Petri nets are dioids: a new algebraic foundation for non-deterministic net theory.

Paolo Baldan Fabio Gadducci

Published in: Acta Informatica (2019)

Keyphrases

petri net
discrete event systems
petri net model
high level petri nets
service composition
fuzzy petri net
manufacturing systems
colored petri nets
stochastic petri net
concurrent systems
decision making
state machines
discrete dynamical systems
neural network
fuzzy logic