For the most recent entries see the Petri Nets Newsletter.

POC net, a subclass of Petri nets, and its application to timed Petri nets.

Ohta, A.; Hisamura, T.

In: International Journal of Systems Science, Vol. 24, No. 3, pages 539-552. March 1993.

Abstract: This paper suggets a new subclass of Petri net, POC net, as a superclass of AC nets and DC nets. For this subclass the equivalence between liveness and place-liveness is shown. Then the result is extended to liveness of timed Petri net under the earliest firing rule.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography