Login / Signup
A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability: Live Single Branch Petri Net.
Qian Gao
Young Im Cho
Published in:
Int. J. Fuzzy Log. Intell. Syst. (2013)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
state space
np complete
high level petri nets
web service composition
service composition
stochastic petri net
colored petri nets
ims ld
neural network
satisfiability problem
process model
fuzzy petri net
learning process
distributed systems