J.-S. Song, S. Satoh, C. V. Ramamoorthy. The Abstraction of Petri net. In Proceedings of TENCON'87, 1987.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Abstraction-Based Petri Net Reachability Checking - Küngas (2002)   (Correct)

No context found.

J.-S. Song, S. Satoh, C. V. Ramamoorthy. The Abstraction of Petri net. In Proceedings of TENCON'87, 1987.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC