Formal analysis of timed continuous Petri nets.

Marius Kloetzer Cristian Mahulea Calin Belta Laura Recalde Manuel Silva Suárez

Published in: CDC (2008)

Keyphrases

petri net
formal analysis
petri net model
discrete event systems
colored petri nets
formal methods
manufacturing systems
stochastic petri net
service composition
agent model
ban logic
ims ld
programmable logic controller
fuzzy petri net
cellular automata
formal specification
e learning