A coalgebraic semantics for causality in Petri nets.

Roberto Bruni Ugo Montanari Matteo Sammartino

Published in: CoRR (2015)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
fuzzy petri net
ims ld
process algebra
state machines
service composition
concurrent systems
logic programming
process model
discrete dynamical systems
programmable logic controller
neural network