• Computer Science
  • Published in
    IEEE Trans. Systems, Man, and…
    1991
  • DOI:10.1109/21.135693

Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems

@article{Koh1991ModularTM,
  title={Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems},
  author={Inseon Koh and Frank DiCesare},
  journal={IEEE Trans. Systems, Man, and Cybernetics},
  year={1991},
  volume={21},
  pages={1512-1522}
}
The authors present transformation methods for generalized Petri nets by introducing and using the concept of a live and bounded circuit (LB-circuit), based on fusing common paths. An LB-circuit is a generalized version of a simple elementary circuit. The authors briefly review generalized Petri nets, including their formal definitions and properties, and define an arc ratio, a remainder, and an LB-circuit. A partially overlapping relation is introduced. Using these concepts, four lemmas and… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 38 CITATIONS

Comparative study and categorization of high-level petri nets

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Modular Criterion for Persistence of Chemical Reaction Networks

  • IEEE Transactions on Automatic Control
  • 2010
VIEW 1 EXCERPT
CITES BACKGROUND

Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution

  • IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
  • 2010
VIEW 2 EXCERPTS
CITES BACKGROUND

On modularity and persistence of chemical reaction networks

  • 2008 47th IEEE Conference on Decision and Control
  • 2008
VIEW 2 EXCERPTS
CITES BACKGROUND