Decidability of Properties of Timed-Arc Petri Nets.

David de Frutos-Escrig Valentín Valero Ruiz Olga Marroquín Alonso

Published in: ICATPN (2000)

Keyphrases

petri net
petri net model
colored petri nets
high level petri nets
ims ld
manufacturing systems
discrete event systems
process model
stochastic petri net
service composition
state machines
e learning
computational intelligence
concurrent systems