메뉴 건너뛰기




Volumn 33, Issue 7, 1996, Pages 687-706

Reduction rules for time Petri nets

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0030488164     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050066     Document Type: Article
Times cited : (53)

References (22)
  • 1
    • 0021169132 scopus 로고
    • Specification and verification of distributed systems using prolog interpreted petri nets
    • Orlando, Florida
    • Azema, P., Juanole, G., Sanchis, E., Montbernard, M.: Specification and verification of distributed systems using Prolog Interpreted Petri nets. In: Proc. 7th Int. Corf. on Software Engineering, pp. 510-518, Orlando, Florida, 1984
    • (1984) Proc. 7th Int. Corf. on Software Engineering , pp. 510-518
    • Azema, P.1    Juanole, G.2    Sanchis, E.3    Montbernard, M.4
  • 3
    • 0000940701 scopus 로고
    • Checking properties of nets using transformations
    • Rozenberg, G., (ed.) Berlin, Heidelberg, New York: Springer
    • Berthelot, G.: Checking properties of nets using transformations. In: Rozenberg, G., (ed.) Advances in Petri Nets 1985, pp. 19-40. Berlin, Heidelberg, New York: Springer 1987
    • (1987) Advances in Petri Nets 1985 , pp. 19-40
    • Berthelot, G.1
  • 4
    • 0026120365 scopus 로고
    • Modeling and verification of time dependent systems using time petri nets
    • Berthomieu, B., Diaz, M. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng. 17(3), 259-273 (1991)
    • (1991) IEEE Trans. Softw. Eng. , vol.17 , Issue.3 , pp. 259-273
    • Berthomieu, B.1    Diaz, M.2
  • 6
    • 0039114272 scopus 로고    scopus 로고
    • Automatic real-time analysis of Ada tasking programs for embedded systems
    • (Submitted for Publication), Available as Technical Report 95-1, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago
    • Buy, U., Sloan, R.H.: Automatic real-time analysis of Ada tasking programs for embedded systems. Real Time Systems (Submitted for publication), Available as Technical Report 95-1, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago
    • Real Time Systems
    • Buy, U.1    Sloan, R.H.2
  • 8
    • 0004677217 scopus 로고
    • Reduction and design of well-behaved concurrent systems
    • Beaten, J.C.M., Klop, J.W. (eds.) Berlin, Heidelberg, New York: Springer
    • Desel, J.: Reduction and design of well-behaved concurrent systems. In: Beaten, J.C.M., Klop, J.W. (eds.) CONCUR '90: Theories of Concurrency: Unification and Extension (Lect. Notes Comput Sci., 458, pp. 166-181) Berlin, Heidelberg, New York: Springer 1990
    • (1990) CONCUR '90: Theories of Concurrency: Unification and Extension Lect. Notes Comput Sci. , vol.458 , pp. 166-181
    • Desel, J.1
  • 9
    • 0028532451 scopus 로고
    • Application and experimental evaluation of state space reduction methods for deadlock analysis in ada
    • Duri, S., Buy, U., Devarapalli, R., Shatz, S.M.: Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada. ACM Trans. Softw. Eng. Methodology 3(4), 340-380 (1994)
    • (1994) ACM Trans. Softw. Eng. Methodology , vol.3 , Issue.4 , pp. 340-380
    • Duri, S.1    Buy, U.2    Devarapalli, R.3    Shatz, S.M.4
  • 10
    • 1642629642 scopus 로고
    • Top-down synthesis of live and bounded free choice nets
    • Paris, France
    • Esparza, J., Silva, M.: Top-down synthesis of live and bounded free choice nets. In: Proc. 11th Conf. on Petri Nets, pp. 63-83, Paris, France, 1990
    • (1990) Proc. 11th Conf. on Petri Nets , pp. 63-83
    • Esparza, J.1    Silva, M.2
  • 11
    • 0022667616 scopus 로고
    • SARA (System ARchitects apprentice): Modeling, analysis, and simulation support for design of concurrent systems
    • Estrin, G., Fenchel, R.S., Razouk, R.R., Vernon, M.K.: SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems. IEEE Trans. Softw. Eng. 12(2), 293-311 (1986)
    • (1986) IEEE Trans. Softw. Eng. , vol.12 , Issue.2 , pp. 293-311
    • Estrin, G.1    Fenchel, R.S.2    Razouk, R.R.3    Vernon, M.K.4
  • 13
    • 84929062089 scopus 로고
    • Using partial orders for the efficient verification of deadlock freedom and safety properties
    • Larsen, K.G., Skou, A. (eds.) Berlin, Heidelberg, New York: Springer
    • Godefroid, P., Wolper, P.: Using partial orders for the efficient verification of deadlock freedom and safety properties. In: Larsen, K.G., Skou, A. (eds.) Computer-Aided Verification: 3rd Int. Conf., CAV '91 (Lect. Notes Comput. Sci., 575, pp. 332-342) Berlin, Heidelberg, New York: Springer, 1992
    • (1992) Computer-aided Verification: 3rd Int. Conf., CAV '91 Lect. Notes Comput. Sci. , vol.575 , pp. 332-342
    • Godefroid, P.1    Wolper, P.2
  • 14
    • 0001604983 scopus 로고
    • A reduction theory for coloured Petri nets
    • Rozenberg, G. (ed.) Berlin, Heidelberg, New York: Springer
    • Haddad, S.: A reduction theory for coloured Petri nets. In: Rozenberg, G. (ed.) Advances in Petri nets, (Lect. Notes Comput. Sci., Vol. 424, pp. 209-235) Berlin, Heidelberg, New York: Springer 1990
    • (1990) Advances in Petri Nets, Lect. Notes Comput. Sci. , vol.424 , pp. 209-235
    • Haddad, S.1
  • 15
    • 0017001923 scopus 로고
    • Recoverability of communication protocols-implications of a theoretical study
    • Merlin, P., Faber, D.: Recoverability of communication protocols-implications of a theoretical study. IEEE Trans. Commun. COM-24(9), 381-404 (1976)
    • (1976) IEEE Trans. Commun. , vol.COM-24 , Issue.9 , pp. 381-404
    • Merlin, P.1    Faber, D.2
  • 16
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541-580, 1989
    • (1989) Proc. IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 18
    • 0025502608 scopus 로고
    • Design and implementation of a petri net-based toolkit for ada tasking analysis
    • Shatz, S.M., Mai, K., Black, C., Tu, S.: Design and implementation of a Petri net-based toolkit for Ada tasking analysis. IEEE Trans. Parallel Distributed Systems, 1(4), 424-441 (1990)
    • (1990) IEEE Trans. Parallel Distributed Systems , vol.1 , Issue.4 , pp. 424-441
    • Shatz, S.M.1    Mai, K.2    Black, C.3    Tu, S.4
  • 19
    • 0000418537 scopus 로고
    • Reachability analysis of petri nets using symmetries
    • Starke, P.H.: Reachability analysis of Petri nets using symmetries. Syst. Anal. Model. Simul. 8, 293-303 (1991)
    • (1991) Syst. Anal. Model. Simul. , vol.8 , pp. 293-303
    • Starke, P.H.1
  • 21
    • 85016851732 scopus 로고
    • A stubborn attack on state explosion
    • Clarke, E.M., Kurshan, R.P. (eds.), Berlin, Heidelberg, New York: Springer
    • Valmari, A.: A stubborn attack on state explosion. In: Clarke, E.M., Kurshan, R.P. (eds.), Computer-Aided Verification: 2nd Int. Conf., CAV '90 (Lect. Notes Comput. Sci., 531, pp. 156-165) Berlin, Heidelberg, New York: Springer 1991
    • (1991) Computer-Aided Verification: 2nd Int. Conf., CAV '90 Lect. Notes Comput. Sci. , vol.531 , pp. 156-165
    • Valmari, A.1


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