메뉴 건너뛰기




Volumn 21, Issue 3, 2002, Pages 281-315

Hierarchical reachability graph generation for Petri nets

Author keywords

Hierarchical structure; Invariant analysis; Petri nets; Reachability graph; Reachability set

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; HIERARCHICAL SYSTEMS; PROBLEM SOLVING; SET THEORY;

EID: 0036851091     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1020321222420     Document Type: Article
Times cited : (30)

References (47)
  • 3
    • 0000887360 scopus 로고
    • Transformation and decomposition of nets
    • G.Rozenberg (Ed.), Advances in Petri Nets 85, Springer, LNCS
    • G. Berthelot, "Transformation and decomposition of nets," in G.Rozenberg (Ed.), Advances in Petri Nets 85, Springer, 1986. LNCS, Vol. 254.
    • (1986) LNCS , vol.254
    • Berthelot, G.1
  • 4
    • 84938305621 scopus 로고
    • Hierarchical high level Petri nets for complex system analysis
    • R. Valette (Ed.), Application and Theory of Petri Nets, Springer
    • P. Buchholz, "Hierarchical high level Petri nets for complex system analysis," in R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994, pp. 119-138. LNCS, Vol. 815.
    • (1994) LNCS , vol.815 , pp. 119-138
    • Buchholz, P.1
  • 6
    • 0032666239 scopus 로고    scopus 로고
    • Hierarchical structuring of superposed GSPNs
    • P. Buchholz, "Hierarchical structuring of superposed GSPNs," IEEE Trans. on Softw. Eng., Vol. 25, No. 2, pp. 81-90, 1999.
    • (1999) IEEE Trans. on Softw. Eng. , vol.25 , Issue.2 , pp. 81-90
    • Buchholz, P.1
  • 7
    • 0033338997 scopus 로고    scopus 로고
    • Structured analysis approaches for large Markov chains
    • P. Buchholz, "Structured analysis approaches for large Markov chains," Applied Numerical Mathematics, Vol. 31, No. 4, pp. 375-404, 1999.
    • (1999) Applied Numerical Mathematics , vol.31 , Issue.4 , pp. 375-404
    • Buchholz, P.1
  • 9
    • 0002378592 scopus 로고    scopus 로고
    • On generating a hierarchy for GSPN analysis
    • P. Buchholz and P. Kemper, "On generating a hierarchy for GSPN analysis," ACM Performance Evaluation Review, Vol. 26, No. 2, pp. 5-14, 1998.
    • (1998) ACM Performance Evaluation Review , vol.26 , Issue.2 , pp. 5-14
    • Buchholz, P.1    Kemper, P.2
  • 10
    • 84957089899 scopus 로고    scopus 로고
    • A toolbox for the analysis of discrete event dynamic systems
    • N. Halbwachs and D. Peled (Eds.), Computer Aided Verification (CAV'99), Springer
    • P. Buchholz and P. Kemper, "A toolbox for the analysis of discrete event dynamic systems," in N. Halbwachs and D. Peled (Eds.), Computer Aided Verification (CAV'99), Springer, 1999, pp. 483-486, LNCS, Vol. 1633.
    • (1999) LNCS , vol.1633 , pp. 483-486
    • Buchholz, P.1    Kemper, P.2
  • 11
    • 0002137994 scopus 로고    scopus 로고
    • Efficient computation and representation of large reachability sets for composed automata
    • R. Boel and G. Stremersch (Eds.), Kluwer Academic
    • P. Buchholz and P. Kemper, "Efficient computation and representation of large reachability sets for composed automata," in R. Boel and G. Stremersch (Eds.), Discrete Event Systems Analysis and Control, Kluwer Academic, 2000, pp. 49-56.
    • (2000) Discrete Event Systems Analysis and Control , pp. 49-56
    • Buchholz, P.1    Kemper, P.2
  • 13
    • 0032657859 scopus 로고    scopus 로고
    • Structured solution of asynchronously communicating stochastic modules
    • J. Campos, S. Donatelli, and J. Silva, "Structured solution of asynchronously communicating stochastic modules," IEEE Trans. on Softw. Engineering, Vol. 25, No. 2, pp. 147-165, 1999.
    • (1999) IEEE Trans. on Softw. Engineering , vol.25 , Issue.2 , pp. 147-165
    • Campos, J.1    Donatelli, S.2    Silva, J.3
  • 14
    • 84956855188 scopus 로고
    • Parallel state space exploration for GSPN models
    • G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets 1995, Springer
    • S. Caselli, G. Conte, and P. Marenzoni, "Parallel state space exploration for GSPN models," in G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets 1995, Springer, 1995, pp. 181-200, LNCS, Vol. 935.
    • (1995) LNCS , vol.935 , pp. 181-200
    • Caselli, S.1    Conte, G.2    Marenzoni, P.3
  • 17
    • 84956854942 scopus 로고
    • Modular state space analysis of coloured Petri nets
    • G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets, Springer
    • S. Christensen and L. Petrucci, "Modular state space analysis of coloured Petri nets," in G. De Michelis and M. Diaz (Eds.), Application and Theory of Petri Nets, Springer, 1995, pp. 201-217, LNCS, Vol. 935.
    • (1995) LNCS , vol.935 , pp. 201-217
    • Christensen, S.1    Petrucci, L.2
  • 18
    • 84903156410 scopus 로고    scopus 로고
    • Saturation: An efficient iteration strategy for symbolic state-space generation
    • T. Margaria and W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Springer
    • G. Ciardo, G. Luettgen, and R. Siminiceanu, "Saturation: An efficient iteration strategy for symbolic state-space generation," in T. Margaria and W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Springer, 2001, pp. 328-342, LNCS, Vol. 2031.
    • (2001) LNCS , vol.2031 , pp. 328-342
    • Ciardo, G.1    Luettgen, G.2    Siminiceanu, R.3
  • 19
    • 77954562220 scopus 로고    scopus 로고
    • Storage alternatives for large structured state spaces
    • R. Marie, B. Plateau, M. Calzarossa, and G. Rubino (Eds.), Proc. 9th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, St. Malo, France, 1997, Springer
    • G. Ciardo and A.S. Miner, "Storage alternatives for large structured state spaces," in R. Marie, B. Plateau, M. Calzarossa, and G. Rubino (Eds.), Proc. 9th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, St. Malo, France, 1997, Springer, 1997, pp. 44-57. LNCS, Vol. 1245.
    • (1997) LNCS , vol.1245 , pp. 44-57
    • Ciardo, G.1    Miner, A.S.2
  • 20
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • E.M. Clarke, E.A. Emerson, and A.P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, pp. 244-263, 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 21
    • 0027342054 scopus 로고
    • The concurrency workbench: A semantics based tool for the verification of concurrent systems
    • R. Cleaveland, J. Parrow, and B. Steffen, "The concurrency workbench: A semantics based tool for the verification of concurrent systems," ACM Transactions on Programming Languages and Systems, Vol. 15, No. 1, pp. 36-72, 1993.
    • (1993) ACM Transactions on Programming Languages and Systems , vol.15 , Issue.1 , pp. 36-72
    • Cleaveland, R.1    Parrow, J.2    Steffen, B.3
  • 22
    • 0019530364 scopus 로고
    • Kronecker products and shuffle algebra
    • M. Davio, "Kronecker products and shuffle algebra" IEEE Trans. on Comp., Vol. 30, pp. 116-125, 1981.
    • (1981) IEEE Trans. on Comp. , vol.30 , pp. 116-125
    • Davio, M.1
  • 23
    • 84977510484 scopus 로고
    • Superposed generalized stochastic Petri nets: Definition and efficient solution
    • R. Valette (Ed.), Application and Theory of Petri Nets, Springer
    • S. Donatelli, "Superposed generalized stochastic Petri nets: Definition and efficient solution," in R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994, LNCS, Vol. 815.
    • (1994) LNCS , vol.815
    • Donatelli, S.1
  • 24
    • 0027577622 scopus 로고
    • Using partial orders for the efficient verification of deadlock freedom and safety properties
    • P. Godefroid and P. Wolper, "Using partial orders for the efficient verification of deadlock freedom and safety properties," Formal Methods in System Design, Vol. 2, pp. 149-164, 1993.
    • (1993) Formal Methods in System Design , vol.2 , pp. 149-164
    • Godefroid, P.1    Wolper, P.2
  • 25
    • 0001604983 scopus 로고
    • A reduction theory for coloured Petri nets
    • G. Rozenberg (Ed.), Advances in Petri Nets 1989, Springer
    • S. Haddad, "A reduction theory for coloured Petri nets," in G. Rozenberg (Ed.), Advances in Petri Nets 1989, Springer, 1990, pp. 209-235. LNCS, Vol. 424.
    • (1990) LNCS , vol.424 , pp. 209-235
    • Haddad, S.1
  • 30
    • 0000098171 scopus 로고
    • Coloured Petri nets and the invariant method
    • K. Jensen, "Coloured Petri nets and the invariant method," Theor. Comp. Sci., Vol. 14, pp. 317-336, 1981.
    • (1981) Theor. Comp. Sci. , vol.14 , pp. 317-336
    • Jensen, K.1
  • 31
    • 0003277884 scopus 로고
    • Coloured Petri nets
    • Springer
    • K. Jensen, "Coloured Petri nets," Vol. 1; Springer, EATCS Monographs (1992).
    • (1992) EATCS Monographs , vol.1
    • Jensen, K.1
  • 32
    • 84957617331 scopus 로고    scopus 로고
    • Reachability analysis based on structured representations
    • J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996. Springer
    • P. Kemper, "Reachability analysis based on structured representations," in J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996. Springer, 1996, pp. 269-288. LNCS, Vol. 1091.
    • (1996) LNCS , vol.1091 , pp. 269-288
    • Kemper, P.1
  • 33
    • 0003442287 scopus 로고
    • Formal developmentreactive systems
    • Springer
    • C. Lewerentz and T. Lindner (Eds.), "Formal developmentreactive systems," Springer, 1995, LNCS, Vol. 891.
    • (1995) LNCS , vol.891
    • Lewerentz, C.1    Lindner, T.2
  • 35
    • 0000204625 scopus 로고
    • A simple and fast algorithm to obtain all invariants of a generalized Petri net
    • Springer, IFB 52
    • J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalized Petri net," in Application and Theory of Petri Nets 1981, Springer, IFB 52, 1981.
    • (1981) Application and Theory of Petri Nets 1981
    • Martinez, J.1    Silva, M.2
  • 37
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • T. Murata, "Petri nets: Properties, analysis and applications," Proc. of the IEEE, Vol. 77, pp. 541-580, 1989.
    • (1989) Proc. of the IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 38
    • 0031574534 scopus 로고    scopus 로고
    • Automated parallelization of discrete state-space generation
    • D. Nicol and G. Ciardo, "Automated parallelization of discrete state-space generation," Journal of Parallel and Distributed Computing, Vol. 47, pp. 153-167, 1997.
    • (1997) Journal of Parallel and Distributed Computing , vol.47 , pp. 153-167
    • Nicol, D.1    Ciardo, G.2
  • 39
    • 0028433698 scopus 로고
    • Hierarchical reachability graph generation of bounded Petri nets for concurrent-software analysis
    • M. Notomi and T. Murata, "Hierarchical reachability graph generation of bounded Petri nets for concurrent-software analysis," IEEE Trans. on Softw. Eng., Vol. 20, pp. 325-336, 1994.
    • (1994) IEEE Trans. on Softw. Eng. , vol.20 , pp. 325-336
    • Notomi, M.1    Murata, T.2
  • 40
    • 84994842734 scopus 로고
    • Petri net analysis using Boolean manipulation
    • R. Valette (Ed.), Application and Theory of Petri Nets 1994, Springer
    • E. Pastor, O. Roig, J. Cortadella, and R.M. Badia, "Petri net analysis using Boolean manipulation" in R. Valette (Ed.), Application and Theory of Petri Nets 1994, Springer, 1994. LNCS, Vol. 815.
    • (1994) LNCS , vol.815
    • Pastor, E.1    Roig, O.2    Cortadella, J.3    Badia, R.M.4
  • 41
    • 0000060441 scopus 로고
    • A survey of equivalence relations for net based systems
    • G. Rozenberg (Ed.), Advances in Petri Nets 1992, Springer
    • L. Pomello, G. Rozenberg, and C. Simone, "A survey of equivalence relations for net based systems," in G. Rozenberg (Ed.), Advances in Petri Nets 1992, Springer, 1992, pp. 410-472. LNCS, Vol. 609.
    • (1992) LNCS , vol.609 , pp. 410-472
    • Pomello, L.1    Rozenberg, G.2    Simone, C.3
  • 43
    • 0011659214 scopus 로고    scopus 로고
    • A class of modular and hierarchical cooperating systems
    • {SC}* ECS: J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996, Springer
    • L. Recalde, E. Teruel, and M. Silva; {SC}* ECS: "A class of modular and hierarchical cooperating systems." in J. Billington and W. Reisig (Eds.), Application and Theory of Petri Nets 1996, Springer, 1996, pp. 440-459. LNCS, Vol. 1091.
    • (1996) LNCS , vol.1091 , pp. 440-459
    • Recalde, L.1    Teruel, E.2    Silva, M.3
  • 44
    • 33746350081 scopus 로고
    • Application and Theory of Petri Nets
    • Springer
    • R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994. LNCS, Vol. 815.
    • (1994) LNCS , vol.815
    • Valette, R.1
  • 45
    • 0007960263 scopus 로고
    • Compositional analysis with place bordered subnets
    • R. Valette (Ed.), Application and Theory of Petri Nets, Springer
    • A. Valmari, "Compositional analysis with place bordered subnets" in R. Valette (Ed.), Application and Theory of Petri Nets, Springer, 1994, pp. 531-547. LNCS, Vol. 815.
    • (1994) LNCS , vol.815 , pp. 531-547
    • Valmari, A.1
  • 46
    • 0011590722 scopus 로고
    • State of the art report: Stubborn sets
    • A. Valmari, "State of the art report: Stubborn sets," Petri Net Newsletter, Vol. 46, pp. 6-14, 1994.
    • (1994) Petri Net Newsletter , vol.46 , pp. 6-14
    • Valmari, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.