A coalgebraic semantics for causality in Petri nets.

Roberto Bruni Ugo Montanari Matteo Sammartino

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

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