We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Sorry, we do not have enough data to show an influence graph for this author.
Learn More
In this paper, we extend the liveness characterization results on a subclass of Petri nets, L-S/sup 3/PR. A polynomial algorithm is developed to decide whether a more general class of Petri nets, S/sup 3/PR, has potential deadlock, which can model a wide class of flexible manufacturing systems. First, the definitions of L-S/sup 3/PR and S/sup 3/PR are(More)
  • 1