Joo Seok Song, Shinobu Satoh, C. V. Ramamoorthy

Research output: Contribution to conferencePaperpeer-review

3 Citations (Scopus)


The state explosion problem is considered for Petri nets used for analysis and synthesis of systems. A reduction technique for managing complexity of the net is studied. It is based on the notions of well-behaved transition module and well-behaved place module. Properties of inverse Petri nets are also studied. The procedure reduces the state space of the underlying system while preserving logical properties like boundedness, liveness, deadlock-freedom, and proper termination.

Original languageEnglish
Number of pages5
Publication statusPublished - 1987

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'ABSTRACTION OF PETRI NET.'. Together they form a unique fingerprint.

Cite this