Diagnosability verification with Petri net unfoldings.

Agnes Madalinski Farid Nouioua Philippe Dague

Published in: Int. J. Knowl. Based Intell. Eng. Syst. (2010)

Keyphrases

petri net
discrete event systems
petri net model
colored petri nets
concurrent systems
manufacturing systems
service composition
high level petri nets
process model
ims ld
stochastic petri net
web service composition
model checking
fuzzy petri net
fuzzy logic
story generation