Counter machines, Petri Nets, and consensual computation.

Stefano Crespi-Reghizzi Pierluigi San Pietro

Published in: Theor. Comput. Sci. (2017)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
service composition
ims ld
colored petri nets
fuzzy petri net
stochastic petri net
process model
state machines
sequence diagrams