메뉴 건너뛰기




Volumn 39, Issue 1, 2008, Pages 17-27

Refining and verifying regular Petri nets

Author keywords

Boundedness; Liveness; Petri net; Refinement; Regularity

Indexed keywords

MATHEMATICAL MODELS; SYSTEMS ANALYSIS; VERIFICATION;

EID: 36949025205     PISSN: 00207721     EISSN: 14645319     Source Type: Journal    
DOI: 10.1080/00207720701621959     Document Type: Article
Times cited : (7)

References (18)
  • 1
    • 0002307971 scopus 로고    scopus 로고
    • Workflow verification: Finding control-flow errors using Petri-net-based techniques
    • W.M.P. van Aalst, "Workflow verification: finding control-flow errors using Petri-net-based techniques", LNCS, 1806, pp. 161-183, 2000.
    • (2000) LNCS , vol.1806 , pp. 161-183
    • van Aalst, W.M.P.1
  • 2
    • 0000940701 scopus 로고
    • Checking properties of nets using transformations
    • G. Berthelot, "Checking properties of nets using transformations", LNCS, 222, pp. 19-40, 1986.
    • (1986) LNCS , vol.222 , pp. 19-40
    • Berthelot, G.1
  • 3
    • 0002198896 scopus 로고
    • A survey of behavior and equivalence preserving refinement of petri nets
    • W. Brauer, R. Gold and W. Vogler, "A survey of behavior and equivalence preserving refinement of petri nets", LNCS, 483, pp. 1-40, 1990.
    • (1990) LNCS , vol.483 , pp. 1-40
    • Brauer, W.1    Gold, R.2    Vogler, W.3
  • 4
    • 36949006818 scopus 로고
    • Regular marked Petri nets
    • J. Desel, "Regular marked Petri nets", LNCS, 790, pp. 264-275, 1993.
    • (1993) LNCS , vol.790 , pp. 264-275
    • Desel, J.1
  • 5
    • 0002477281 scopus 로고    scopus 로고
    • Place/transition Petri nets
    • J. Desel, "Place/transition Petri nets", LNCS, 1491, pp. 122-173, 1998.
    • (1998) LNCS , vol.1491 , pp. 122-173
    • Desel, J.1
  • 9
    • 0034506496 scopus 로고    scopus 로고
    • Development of real-time system specifications through the refinement of duration interval Petri nets
    • 8-11 October, Nashville, TN
    • D. Gurovic, W. Fengler and J. Nutzel, "Development of real-time system specifications through the refinement of duration interval Petri nets", in Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC2000), 8-11 October 2000, Nashville, TN, 2000, Vol. 4, pp. 3093-3098.
    • (2000) Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC2000) , vol.4 , pp. 3093-3098
    • Gurovic, D.1    Fengler, W.2    Nutzel, J.3
  • 10
    • 9544230696 scopus 로고    scopus 로고
    • Structure and behavior preservation by Petri-net-based refinements in system design
    • H. Huang, T.Y. Cheung and W. Mak, "Structure and behavior preservation by Petri-net-based refinements in system design", Theoretical Computer Science, 328, pp. 245-269, 2004.
    • (2004) Theoretical Computer Science , vol.328 , pp. 245-269
    • Huang, H.1    Cheung, T.Y.2    Mak, W.3
  • 11
    • 0027308051 scopus 로고
    • A review of synthesis techniques for Petri nets with application to automated manufacturing systems
    • January
    • M.D. Jeng and F. DiCesare, "A review of synthesis techniques for Petri nets with application to automated manufacturing systems", IEEE T. Syst. Man Cyc., 23, pp. 301-312, January 1993.
    • (1993) IEEE T. Syst. Man Cyc , vol.23 , pp. 301-312
    • Jeng, M.D.1    DiCesare, F.2
  • 12
    • 0346264922 scopus 로고    scopus 로고
    • Rule-based refinement of Petri nets: A survey
    • J. Padberg and M. Urbasek, "Rule-based refinement of Petri nets: a survey", LNCS, 2472, pp. 161-196, 2003.
    • (2003) LNCS , vol.2472 , pp. 161-196
    • Padberg, J.1    Urbasek, M.2
  • 13
    • 0001410753 scopus 로고    scopus 로고
    • Linear algebraic and linear programming techniques for the analysis of place/transition net systems
    • M. Sliva, E. Teruel and J.M. Colom, "Linear algebraic and linear programming techniques for the analysis of place/transition net systems", LNCS, 1491, pp. 309-373, 1998.
    • (1998) LNCS , vol.1491 , pp. 309-373
    • Sliva, M.1    Teruel, E.2    Colom, J.M.3
  • 14
    • 0032634879 scopus 로고    scopus 로고
    • On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
    • January
    • R.S. Sreenivas, "On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement", IEEE Trans. Autmat. Contr., 44, pp. 173-177, January 1999.
    • (1999) IEEE Trans. Autmat. Contr , vol.44 , pp. 173-177
    • Sreenivas, R.S.1
  • 15
    • 0020795351 scopus 로고
    • A method for stepwise refinement and abstraction of Petri nets
    • I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets", J. Compta. Syst. Sci., 27, pp. 51-76, 1983.
    • (1983) J. Compta. Syst. Sci , vol.27 , pp. 51-76
    • Suzuki, I.1    Murata, T.2
  • 16
    • 18944391956 scopus 로고    scopus 로고
    • Modeling Petri net based systems by net transformations: New developments
    • July
    • M. Urbasek, "Modeling Petri net based systems by net transformations: new developments", Electron. Notes Theor. Comput. Sci., 82, pp. 1-18, July 2003.
    • (2003) Electron. Notes Theor. Comput. Sci , vol.82 , pp. 1-18
    • Urbasek, M.1
  • 17
    • 0002367242 scopus 로고
    • Analysis of Petri nets by stepwise refinements
    • R. Valette, "Analysis of Petri nets by stepwise refinements", J. Comput. Syst. Sci., 18, pp. 35-46, 1979.
    • (1979) J. Comput. Syst. Sci , vol.18 , pp. 35-46
    • Valette, R.1


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