Stubborn Sets for Time Petri Nets.

Hanifa Boucheneb Kamel Barkaoui

Published in: ACM Trans. Embed. Comput. Syst. (2015)

Keyphrases

petri net
manufacturing systems
discrete event systems
petri net model
high level petri nets
fuzzy petri net

colored petri nets
weighted average
service composition
ims ld
process model
concurrent systems

population size
stochastic petri net
sequence diagrams
state machines
genetic algorithm
description language

knowledge based systems
distributed systems
discrete dynamical systems
programmable logic controller
expert systems