A Slicing-based Approach to Enhance Petri Net Reachability Analysis

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

[1]  Gerlinde Schreiber,et al.  Functional Equivalences of Petri Nets , 1995, Application and Theory of Petri Nets.

[2]  Laure Petrucci,et al.  Modular State Space Analysis of Coloured Petri Nets , 1995, Application and Theory of Petri Nets.

[3]  Toshinori Suzuki,et al.  A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets , 1990, IEEE Trans. Software Eng..

[4]  Tadao Murata,et al.  Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis , 1994, IEEE Trans. Software Eng..

[5]  Enrico Vicario,et al.  Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets , 1995, IEEE Trans. Software Eng..

[6]  Wei Jen Yeh.  Controlling state explosion in reachability analysis , 1993 .

[7]  Antti Valmari,et al.  Compositional Analysis with Place-Bordered Subnets , 1994, Application and Theory of Petri Nets.

[8]  Javier Esparza,et al.  Model Checking Using Net Unfoldings , 1993, Sci. Comput. Program..

[9]  Bernhard Josko,et al.  Modular Verification of Petri Nets: The Temporal Logic Approach , 1989, REX Workshop.

[10]  Woo Jin Lee,et al.  Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering , 1998, IEEE Trans. Software Eng..

[11]  Paul J. Kühn,et al.  The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..

[12]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[13]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[14]  E. Battiston,et al.  Class orientation and inheritance in modular algebraic nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[15]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[16]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[17]  Antti Valmari,et al.  Compositional State Space Generation , 1991, Applications and Theory of Petri Nets.

[18]  Jorge C. A. de Figueiredo,et al.  G-Nets: A petri net based approach for logical and timing analysis of complex software systems , 1997, J. Syst. Softw..