Liveness and boundedness analysis of Petri net synthesis.

Published in: Math. Struct. Comput. Sci. (2014)

Keyphrases

petri net
decision making
data analysis
colored petri nets
neural network
manufacturing systems
knowledge acquisition
sufficient conditions
knowledge based systems
design process
web service composition