Relating Reversible Petri Nets and Reversible Event Structures, Categorically.

Hernán C. Melgratti Claudio Antares Mezzina G. Michele Pinna

Published in: FORTE (2023)

Keyphrases

petri net
cellular automata
petri net model
discrete event systems
manufacturing systems
high level petri nets
discrete dynamical systems
process model
fuzzy petri net
service composition
ims ld
control system
state machines
colored petri nets
artificial intelligence