A Slicing-based Approach to Enhance Petri Net Reachability Analysis

@article{Lee2000ASA,
  title={A Slicing-based Approach to Enhance Petri Net Reachability Analysis},
  author={Woo Jin Lee and Sung Deok Cha and Yong Rae Kwon and H. N. Kim},
  journal={Journal of Research and Practice in Information Technology},
  year={2000},
  volume={32},
  pages={131-143}
}
Journal of Research and Practice in Information Technology, Vol. 32, No. 2, May 2000 131 Copyright© 2000, Australian Computer Society Inc. General permission to republish, but not for profit, all or part of this material is granted, provided that the JRPIT copyright notice is given and that reference is made to the publication, to its date of issue, and to the fact that reprinting privileges were granted by permission of the Australian Computer Society Inc. COMPUTER SCIENCE 
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes

  • L. M. KRISTENSEN
  • 1997

Functional Equivalences of Petri Nets

  • W. REISIG
  • Proc . of Appl . and Theory of Petri Nets ‘ 95…
  • 1995

Modular State Space

  • 1995
2 Excerpts

Class Orientation and Inheritance in Modular

  • F. D. CINDIO
  • 1993