Coding Mobile Synchronizing Petri Nets into Rewriting Logic.

Fernando Rosa-Velardo

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

petri net
programmable logic controller
petri net model
manufacturing systems
discrete event systems
ims ld
mobile devices
discrete dynamical systems
fuzzy petri net
logic programming
colored petri nets
service composition
concurrent systems
hardware and software
state machines
data analysis