Sign in
A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets.
Spyros A. Reveliotis
Published in:
IEEE Trans Autom. Sci. Eng. (2006)
Keyphrases
</>
sufficient conditions
np hard
neural network
genetic algorithm
fuzzy logic
markov chain
linear program