ABSTRACTION OF PETRI NET.

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

Research output: Contribution to conferencePaper

3 Citations (Scopus)

Abstract

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
Pages467-471
Number of pages5
Publication statusPublished - 1987 Dec 1

Fingerprint

Petri nets
Explosions

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Song, J. S., Satoh, S., & Ramamoorthy, C. V. (1987). ABSTRACTION OF PETRI NET.. 467-471.
Song, Joo Seok ; Satoh, Shinobu ; Ramamoorthy, C. V. / ABSTRACTION OF PETRI NET. 5 p.
@conference{c1fc5898b42f4ddc943c619f8610d009,
title = "ABSTRACTION OF PETRI NET.",
abstract = "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.",
author = "Song, {Joo Seok} and Shinobu Satoh and Ramamoorthy, {C. V.}",
year = "1987",
month = "12",
day = "1",
language = "English",
pages = "467--471",

}

Song, JS, Satoh, S & Ramamoorthy, CV 1987, 'ABSTRACTION OF PETRI NET.', pp. 467-471.

ABSTRACTION OF PETRI NET. / Song, Joo Seok; Satoh, Shinobu; Ramamoorthy, C. V.

1987. 467-471.

Research output: Contribution to conferencePaper

TY - CONF

T1 - ABSTRACTION OF PETRI NET.

AU - Song, Joo Seok

AU - Satoh, Shinobu

AU - Ramamoorthy, C. V.

PY - 1987/12/1

Y1 - 1987/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0023586054&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023586054&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0023586054

SP - 467

EP - 471

ER -

Song JS, Satoh S, Ramamoorthy CV. ABSTRACTION OF PETRI NET.. 1987.