Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (0)
Journals and Conferences
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)