On interleaving in {P,A}-Time Petri nets with strong semantics

Hanifa Boucheneb Kamel Barkaoui

Published in: INFINITY (2010)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
fuzzy petri net
colored petri nets
process algebra
stochastic petri net
state machines
discrete dynamical systems
web services
logic programming
process model
ims ld
sequence diagrams
programmable logic controller