Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets.

Hanifa Boucheneb Rachid Hadjidj

Published in: Int. J. Embed. Syst. (2006)

Keyphrases

petri net
discrete event systems
petri net model
service composition
concurrent processes
colored petri nets
state space
state machines
process model
manufacturing systems
fuzzy petri net
stochastic petri net
neural network
decision making
concurrent systems
programmable logic controller