Property analysis of logic Petri nets by marking reachability graphs.

Yuyue Du Yuhui Ning

Published in: Frontiers Comput. Sci. (2014)

Keyphrases

petri net
colored petri nets
manufacturing systems
discrete event systems
neural network
data analysis
expert systems
logic programming
process model
service oriented
service composition