Login / Signup

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