메뉴 건너뛰기




Volumn 19, Issue 14, 1996, Pages 1250-1257

Petri nets for protocol engineering

(1)  Cheung, To Yat a  

a NONE

Author keywords

Formal description technique; Invariant; Petri net; Protocol; Reachability; Specification; Synthesis; Testing; Verification

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; EQUIVALENCE CLASSES; ERROR DETECTION; FORMAL LOGIC; PETRI NETS; SYSTEMS ANALYSIS; TESTING;

EID: 0030363158     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(96)01158-9     Document Type: Article
Times cited : (10)

References (84)
  • 1
  • 2
    • 30244466097 scopus 로고
    • Computer tools for high-level Petri nets
    • K. Jensen and G. Rosenberg, Springer-Verlag
    • F. Feldbrugge and K. Jensen, Computer tools for high-level Petri nets, in K. Jensen and G. Rosenberg, High-Level Petri nets, Springer-Verlag, 1991, pp. 691-717.
    • (1991) High-Level Petri Nets , pp. 691-717
    • Feldbrugge, F.1    Jensen, K.2
  • 3
  • 4
    • 49349119315 scopus 로고
    • Modelling and verification of end-to-end transport protocols
    • A. Danthine and R.J. Bremer, Modelling and verification of end-to-end transport protocols, Computer Networks, 2(4/5) (1978) 381-395.
    • (1978) Computer Networks , vol.2 , Issue.4-5 , pp. 381-395
    • Danthine, A.1    Bremer, R.J.2
  • 5
    • 0020310622 scopus 로고
    • Modeling and analysis of communication and cooperation protocols using Petri net based models
    • M. Diaz, Modeling and analysis of communication and cooperation protocols using Petri net based models, Computer Networks, 6 (1982) 419-441.
    • (1982) Computer Networks , vol.6 , pp. 419-441
    • Diaz, M.1
  • 6
    • 30244532269 scopus 로고
    • Petri net based models in the specification and verification of protocol
    • W. Brauer, W. Reisig and G. Rozenberg (ed.), Springer-Verlag
    • M. Diaz, Petri net based models in the specification and verification of protocol, in W. Brauer, W. Reisig and G. Rozenberg (ed.), Petri nets: Central Model and their Properties, Springer-Verlag, 1987.
    • (1987) Petri Nets: Central Model and Their Properties
    • Diaz, M.1
  • 8
    • 0023983405 scopus 로고
    • PROTEAN: A high-level Petri net tool for the specification and verification of communication protocols
    • J. Billington, G. Wheeler and M. Wilbur-ham, PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols, IEEE Trans. Soft. Eng., SE-14(3) (1988) 301-316.
    • (1988) IEEE Trans. Soft. Eng. , vol.SE-14 , Issue.3 , pp. 301-316
    • Billington, J.1    Wheeler, G.2    Wilbur-Ham, M.3
  • 9
    • 30244511400 scopus 로고
    • PNPUO - A Petri net based software package for protocol validation
    • Budapest, Hungary
    • T.Y. Cheung and X. Qiu, PNPUO - A Petri net based software package for protocol validation, Proc. COMNET'85, Budapest, Hungary, 1985, pp. 6.103-6.132.
    • (1985) Proc. COMNET'85 , pp. 6103-6132
    • Cheung, T.Y.1    Qiu, X.2
  • 10
    • 84983168495 scopus 로고
    • Time streams Petri nets: A model for timed multimedia information
    • Springer-Verlag
    • M. Diaz and P. Senac, Time streams Petri nets: a model for timed multimedia information, Lecture Notes in Computer Science, 815, Springer-Verlag, 1994, pp. 219-238.
    • (1994) Lecture Notes in Computer Science , vol.815 , pp. 219-238
    • Diaz, M.1    Senac, P.2
  • 12
    • 84956869713 scopus 로고
    • Hierarchical time stream Petri net: A model for hypermedia systems
    • Springer-Verlag
    • P. Senac, P. de Saqui-Sannes and R. Willrich, Hierarchical time stream Petri net: A model for hypermedia systems, Lecture Notes in Computer Science, 935, Springer-Verlag, 1995, pp. 451-470.
    • (1995) Lecture Notes in Computer Science , vol.935 , pp. 451-470
    • Senac, P.1    De Saqui-Sannes, P.2    Willrich, R.3
  • 14
    • 0024663430 scopus 로고
    • Temporal Petri nets and their application to modeling and analysis of a Handshake Daisy Chain Arbiter
    • I. Suzuki and H. Lu, Temporal Petri nets and their application to modeling and analysis of a Handshake Daisy Chain Arbiter, IEEE Trans. Computers, 38(5) (1989) 696-704.
    • (1989) IEEE Trans. Computers , vol.38 , Issue.5 , pp. 696-704
    • Suzuki, I.1    Lu, H.2
  • 15
    • 0025516680 scopus 로고
    • Formal analysis of the alternating bit protocol by temporal Petri nets
    • I. Suzuki, Formal analysis of the alternating bit protocol by temporal Petri nets, IEEE Trans. Softw. Eng., 16(11) (1990) 1273-1281.
    • (1990) IEEE Trans. Softw. Eng. , vol.16 , Issue.11 , pp. 1273-1281
    • Suzuki, I.1
  • 16
    • 0028381660 scopus 로고
    • A new structural induction theorem for rings of temporal Petri nets
    • T. Li, I. Suzuki and M. Yamashita, A new structural induction theorem for rings of temporal Petri nets, IEEE Trans. Softw. Eng., 20(2) (1994) 115-126.
    • (1994) IEEE Trans. Softw. Eng. , vol.20 , Issue.2 , pp. 115-126
    • Li, T.1    Suzuki, I.2    Yamashita, M.3
  • 18
    • 0001604983 scopus 로고
    • A reduction theory for colored Petri nets
    • Springer-Verlag
    • S. Haddad, A reduction theory for colored Petri nets, Lecture Notes in Computer Science, 424, Springer-Verlag, 1990, pp. 209-235.
    • (1990) Lecture Notes in Computer Science , vol.424 , pp. 209-235
    • Haddad, S.1
  • 19
    • 84956869802 scopus 로고
    • From colored Petri Nets to Object Petri nets
    • Springer-Verlag
    • C. Lakos, From colored Petri Nets to Object Petri nets, Lecture Notes in Computer Science, 935, Springer-Verlag, 1995, pp. 278-297.
    • (1995) Lecture Notes in Computer Science , vol.935 , pp. 278-297
    • Lakos, C.1
  • 21
    • 85027512964 scopus 로고
    • Colored Petri nets extended with channels for synchronous communication
    • Springer-Verlag
    • S. Christensen and N.D. Hansen, Colored Petri nets extended with channels for synchronous communication, Lecture Notes in Computer Science, 815, Springer-Verlag, 1994, pp. 159-178.
    • (1994) Lecture Notes in Computer Science , vol.815 , pp. 159-178
    • Christensen, S.1    Hansen, N.D.2
  • 22
    • 0029512228 scopus 로고
    • Detecting and resolving the interaction between telephone features Terminating Call Screening and Call Forwarding by colored Petri nets
    • Vancouver, Canada
    • T.Y. Cheung and Y. Lu, Detecting and resolving the interaction between telephone features Terminating Call Screening and Call Forwarding by colored Petri nets, Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, Vancouver, Canada, 1995, pp. 2245-2250.
    • (1995) Proc. IEEE Int. Conf. on Systems, Man and Cybernetics , pp. 2245-2250
    • Cheung, T.Y.1    Lu, Y.2
  • 23
    • 0002859916 scopus 로고
    • OBJSA nets: A class of high-level nets having objects as domains
    • Springer-Verlag
    • E. Battiston, F. De Cindio and G. Mauri, OBJSA nets: a class of high-level nets having objects as domains, Lecture Notes in Computer Science, 340, Springer-Verlag, 1988, pp. 20-43.
    • (1988) Lecture Notes in Computer Science , vol.340 , pp. 20-43
    • Battiston, E.1    De Cindio, F.2    Mauri, G.3
  • 25
    • 85034854874 scopus 로고
    • Transformations and decompositions of nets
    • G. Berthelot, Transformations and decompositions of nets, Lecture Notes in Computer Science, 254, 1987, pp. 359-376.
    • (1987) Lecture Notes in Computer Science , vol.254 , pp. 359-376
    • Berthelot, G.1
  • 26
    • 84991629351 scopus 로고
    • Liveness in bounded Petri nets which are covered by t-invariants
    • K. Lautenbach and H. Ridder, Liveness in bounded Petri nets which are covered by t-invariants, Lecture Notes in Computer Science, 815, 1994, pp. 358-375.
    • (1994) Lecture Notes in Computer Science , vol.815 , pp. 358-375
    • Lautenbach, K.1    Ridder, H.2
  • 29
    • 0028433698 scopus 로고
    • Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
    • M. Notomi and T. Murata, Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis, IEEE Trans. Softw. Eng., 20(5) (1994) 325-336.
    • (1994) IEEE Trans. Softw. Eng. , vol.20 , Issue.5 , pp. 325-336
    • Notomi, M.1    Murata, T.2
  • 30
    • 30244555830 scopus 로고
    • Equivalence transformations of Petri nets
    • Springer-Verlag
    • J.G. Hartmenn, Equivalence transformations of Petri nets, Lecture Notes in Computer Science, 424, Springer-Verlag, 1990.
    • (1990) Lecture Notes in Computer Science , vol.424
    • Hartmenn, J.G.1
  • 31
    • 38249012955 scopus 로고
    • The application of EB-equivalence rules to the structural reduction of GSPN models
    • C. Simone and M.A. Marson, The application of EB-equivalence rules to the structural reduction of GSPN models, J. Parallel and Distributed Computing, 15 (1992) 296-302.
    • (1992) J. Parallel and Distributed Computing , vol.15 , pp. 296-302
    • Simone, C.1    Marson, M.A.2
  • 32
  • 33
    • 85029421081 scopus 로고
    • On-the-fly verification with stubborn sets
    • Springer-Verlag
    • A. Valmari, On-the-fly verification with stubborn sets, Lecture Notes in Computer Science, 697, Springer-Verlag, 1993, pp. 397-408.
    • (1993) Lecture Notes in Computer Science , vol.697 , pp. 397-408
    • Valmari, A.1
  • 35
    • 84969373621 scopus 로고
    • On combining the stubborn set method with the sleep set method
    • Springer-Verlag
    • K. Varpaaniemi, On combining the stubborn set method with the sleep set method, Lecture Notes in Computer Science, 815, Springer-Verlag, 1994, pp. 548-567.
    • (1994) Lecture Notes in Computer Science , vol.815 , pp. 548-567
    • Varpaaniemi, K.1
  • 36
    • 26444544470 scopus 로고
    • An efficient algorithm for the computation of stubborn sets of well-formed Petri nets
    • Springer-Verlag
    • R. Brgan and D. Poitrenaud, An efficient algorithm for the computation of stubborn sets of well-formed Petri nets, Lecture Notes in Computer Science, 935, Springer-Verlag, 1995, pp. 121-140.
    • (1995) Lecture Notes in Computer Science , vol.935 , pp. 121-140
    • Brgan, R.1    Poitrenaud, D.2
  • 37
    • 21344486863 scopus 로고
    • Symbolic, symmetry, and stubborn set searches
    • Springer-Verlag
    • M. Tiusanen, Symbolic, symmetry, and stubborn set searches, Lecture Notes in Computer Science, 815, Springer-Verlag, 1994, pp. 511-530.
    • (1994) Lecture Notes in Computer Science , vol.815 , pp. 511-530
    • Tiusanen, M.1
  • 38
    • 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. Comp. System Sciences, 27 (1983) 51-76.
    • (1983) J. Comp. System Sciences , vol.27 , pp. 51-76
    • Suzuki, I.1    Murata, T.2
  • 39
    • 84995478047 scopus 로고
    • Behaviour preserving refinements of Petri nets
    • Springer-Verlag
    • A.W. Vogler, Behaviour preserving refinements of Petri nets, Lecture Notes in Computer Science, 246, Springer-Verlag, 1987.
    • (1987) Lecture Notes in Computer Science , vol.246
    • Vogler, A.W.1
  • 40
    • 0000408384 scopus 로고
    • On liveness preservation by composition of nets via a set of places
    • Springer-Verlag
    • Y. Souissi, On liveness preservation by composition of nets via a set of places, Lecture Notes in Computer Science, 524, Springer-Verlag, 1991, pp. 277-295.
    • (1991) Lecture Notes in Computer Science , vol.524 , pp. 277-295
    • Souissi, Y.1
  • 42
    • 0027579639 scopus 로고
    • Dependency analysis - A Petri net based technique for synthesizing large concurrent systems
    • Y. Chen, W.T. Tsai and D. Chao, Dependency analysis - a Petri net based technique for synthesizing large concurrent systems, IEEE Trans. Parallel and Distributed Systems, 4(4) (1993).
    • (1993) IEEE Trans. Parallel and Distributed Systems , vol.4 , Issue.4
    • Chen, Y.1    Tsai, W.T.2    Chao, D.3
  • 44
    • 0007960263 scopus 로고
    • Compositional analysis with place-bordered subnets
    • Springer-Verlag
    • A. Valmari, Compositional analysis with place-bordered subnets, Lecture Notes in Computer Science, 815, Springer-Verlag, 1994, pp. 531-547.
    • (1994) Lecture Notes in Computer Science , vol.815 , pp. 531-547
    • Valmari, A.1
  • 45
    • 34848841631 scopus 로고
    • A client-server protocol for the composition of Petri nets
    • Springer-Verlag
    • C. Sibertin-Blanc, A client-server protocol for the composition of Petri nets, Lecture Notes in Computer Science, 691, Springer-Verlag, 1993, pp. 377-396.
    • (1993) Lecture Notes in Computer Science , vol.691 , pp. 377-396
    • Sibertin-Blanc, C.1
  • 47
    • 0001604985 scopus 로고
    • Colored Petri nets: A high level language for system design and analysis
    • Springer-Verlag
    • K. Jensen, Colored Petri nets: A high level language for system design and analysis, Lecture Notes in Computer Science, 483, Springer-Verlag, 1990, pp. 342-416.
    • (1990) Lecture Notes in Computer Science , vol.483 , pp. 342-416
    • Jensen, K.1
  • 50
    • 0000876088 scopus 로고
    • Towards a Petri net based semantics definition for message sequence charts
    • O. Faergemand and A. Sarma (eds.), Elsevier
    • P. Graubmann, E. Rudolph and J. Grabowski, Towards a Petri net based semantics definition for message sequence charts, in O. Faergemand and A. Sarma (eds.), SDL '93: Using Objects, Elsevier, 1993, pp. 179-190.
    • (1993) SDL '93: Using Objects , pp. 179-190
    • Graubmann, P.1    Rudolph, E.2    Grabowski, J.3
  • 51
    • 30244494834 scopus 로고    scopus 로고
    • CCITT Recommendation Z. 120, Message Sequence Charts, Geneva, 1992
    • CCITT Recommendation Z. 120, Message Sequence Charts, Geneva, 1992.
  • 53
    • 0343598428 scopus 로고
    • Towards an SDL-design-methodology using message sequence charts
    • O. Faergemand and R. Reed (eds.), North Holland
    • J. Grabowski, P. Graubmann and E. Rudolph, Towards an SDL-design-methodology using message sequence charts, in O. Faergemand and R. Reed (eds.), SDL '91: Evolving Methods, North Holland, 1991.
    • (1991) SDL '91: Evolving Methods
    • Grabowski, J.1    Graubmann, P.2    Rudolph, E.3
  • 55
    • 84915382632 scopus 로고
    • Automatic translation of time Petri nets into ESTELLE description
    • A. Alkhechi and S. Budkowski, Automatic translation of time Petri nets into ESTELLE description, Formal Description Techniques, 1991, pp. 369-376.
    • (1991) Formal Description Techniques , pp. 369-376
    • Alkhechi, A.1    Budkowski, S.2
  • 56
    • 12444294562 scopus 로고
    • Verification of SDL protocol specifications using Extended Petri nets, Tutorial
    • Turin, Italy
    • J. Fischer and E. Dimitrov, Verification of SDL protocol specifications using Extended Petri nets, Tutorial, 16th Int. Conf. Applic. & Theory of Petri Nets, Turin, Italy, 1995, pp. 1-12.
    • (1995) 16th Int. Conf. Applic. & Theory of Petri Nets , pp. 1-12
    • Fischer, J.1    Dimitrov, E.2
  • 57
    • 30244445781 scopus 로고
    • Analysis and verification of high-level-nets in combination with formal ESTELLE specifications, Tutorial
    • Turin, Italy
    • J. Nutzel and W. Fengler, Analysis and verification of high-level-nets in combination with formal ESTELLE specifications, Tutorial, 16th Int. Conf. Applic. & Theory of Petri Nets, Turin, Italy, 1995, pp. 13-18.
    • (1995) 16th Int. Conf. Applic. & Theory of Petri Nets , pp. 13-18
    • Nutzel, J.1    Fengler, W.2
  • 58
    • 0012673690 scopus 로고
    • On the relationship of CCS and Petri nets
    • Springer-Verlag
    • U. Golltz and A. Mycroft, On the relationship of CCS and Petri nets, Lecture Notes in Computer Science, 172, Springer-Verlag, 1984, pp. 196-208.
    • (1984) Lecture Notes in Computer Science , vol.172 , pp. 196-208
    • Golltz, U.1    Mycroft, A.2
  • 59
    • 0346490962 scopus 로고
    • An exercise in concurrency: A CSP process as a condition/event system
    • Springer-Verlag
    • P. Degano, R. Gorrieri and S. Marchetti, An exercise in concurrency: A CSP process as a condition/event system, Lecture Notes in Computer Science, 340, Springer-Verlag, 1988, pp. 85-105.
    • (1988) Lecture Notes in Computer Science , vol.340 , pp. 85-105
    • Degano, P.1    Gorrieri, R.2    Marchetti, S.3
  • 60
    • 84935253044 scopus 로고
    • Operational Petri net semantics for CCSP
    • Springer-Verlag
    • E.R. Olderog, Operational Petri net semantics for CCSP, Lecture Notes in Computer Science, 266, Springer-Verlag, 1987, pp. 196-223.
    • (1987) Lecture Notes in Computer Science , vol.266 , pp. 196-223
    • Olderog, E.R.1
  • 62
    • 0342270908 scopus 로고
    • TILT: From LOTOS to labelled transition systems
    • North-Holland
    • H. Garavel and E. Najm, TILT: from LOTOS to labelled transition systems, Formal Description Techniques - LOTOS, Vol. I, North-Holland, 1989, pp. 327-336.
    • (1989) Formal Description Techniques - LOTOS , vol.1 , pp. 327-336
    • Garavel, H.1    Najm, E.2
  • 63
    • 1542699055 scopus 로고
    • A formal-method approach for cyclomatic complexity of distributed software
    • Qian Weichang (ed.), K.C. Wong Education Foundation
    • T.Y. Cheung and X. Zhu, A formal-method approach for cyclomatic complexity of distributed software, in Qian Weichang (ed.), Transactions of K.C. Wong Education Foundation Supported Lectures, K.C. Wong Education Foundation, 1994, pp. 99-118.
    • (1994) Transactions of K.C. Wong Education Foundation Supported Lectures , pp. 99-118
    • Cheung, T.Y.1    Zhu, X.2
  • 64
    • 30244433126 scopus 로고
    • What is a correct test case? Elements of a Petri net oriented theory of protocol testing, Tutorial
    • Turin, Italy
    • B. Baumgarten and H. Wiland, What is a correct test case? Elements of a Petri net oriented theory of protocol testing, Tutorial, 16th Int. Conf. Applic. & Theory of Petri Nets, Turin, Italy, 1995, pp. 19-30.
    • (1995) 16th Int. Conf. Applic. & Theory of Petri Nets , pp. 19-30
    • Baumgarten, B.1    Wiland, H.2
  • 65
    • 0012840262 scopus 로고
    • Generating test sequences and their degrees of indeterminism for protocols
    • North-Holland
    • T.Y. Cheung, Y. Wu and X. Ye, Generating test sequences and their degrees of indeterminism for protocols, Protocol Specification, Testing and Verification-XI, North-Holland, 1991, pp. 301-316.
    • (1991) Protocol Specification, Testing and Verification-XI , pp. 301-316
    • Cheung, T.Y.1    Wu, Y.2    Ye, X.3
  • 66
    • 30244437579 scopus 로고
    • Executable selective test sequences with operational coverage for LOTOS specifications
    • Tempe, Arizona
    • T.Y. Cheung and S. Ren, Executable selective test sequences with operational coverage for LOTOS specifications, Proc. Int. Phoenix Conf. Computers and Communications, Tempe, Arizona, 1993, pp. 245-253.
    • (1993) Proc. Int. Phoenix Conf. Computers and Communications , pp. 245-253
    • Cheung, T.Y.1    Ren, S.2
  • 67
    • 30244454362 scopus 로고
    • A tool for assessing the quality of distributed software designs specified in LOTOS
    • Dunedin, New Zealand
    • T. Y. Cheung, S. Ren and W.M. Mak, A tool for assessing the quality of distributed software designs specified in LOTOS, Proc. Software Education Conference, Dunedin, New Zealand, 1994, pp. 42-49.
    • (1994) Proc. Software Education Conference , pp. 42-49
    • Cheung, T.Y.1    Ren, S.2    Mak, W.M.3
  • 68
    • 0003374364 scopus 로고
    • A fault-detection approach to conformance testing of nondeterministic distributed systems
    • T.Y. Cheung and X. Ye, A fault-detection approach to conformance testing of nondeterministic distributed systems, J. Parallel and Distributed Computing, 28 (1995) 940-100.
    • (1995) J. Parallel and Distributed Computing , vol.28 , pp. 940-1100
    • Cheung, T.Y.1    Ye, X.2
  • 69
    • 0000060441 scopus 로고
    • A survey of equivalence notions for net based systems
    • Springer-Verlag
    • L. Pomello, G. Rozenberg and C. Simone, A survey of equivalence notions for net based systems, Lecture Notes in Computer Science, 609, Springer-Verlag, 1992, pp. 304-351.
    • (1992) Lecture Notes in Computer Science , vol.609 , pp. 304-351
    • Pomello, L.1    Rozenberg, G.2    Simone, C.3
  • 71
    • 30244449137 scopus 로고
    • Functional equivalence of Petri nets
    • Springer-Verlag
    • G. Schreiber, Functional equivalence of Petri nets, Lecture Notes in Computer Science, 935, Springer-Verlag, 1995, pp. 432-450.
    • (1995) Lecture Notes in Computer Science , vol.935 , pp. 432-450
    • Schreiber, G.1
  • 74
    • 0007674854 scopus 로고
    • An environment for object-oriented conceptual programming based on PROT nets
    • Springer-Verlag
    • M. Baldassari and G. Bruno, An environment for object-oriented conceptual programming based on PROT nets, Lecture Notes in Computer Science, 340, Springer-Verlag, 1988, pp. 1-19.
    • (1988) Lecture Notes in Computer Science , vol.340 , pp. 1-19
    • Baldassari, M.1    Bruno, G.2
  • 76
    • 1642629642 scopus 로고
    • Top-down synthesis of live and bounded free choice nets
    • Springer-Verlag
    • J. Esparza and M. Silva, Top-down synthesis of live and bounded free choice nets, Lecture Notes in Computer Science, 524, Springer-Verlag, 1991, pp. 118-139.
    • (1991) Lecture Notes in Computer Science , vol.524 , pp. 118-139
    • Esparza, J.1    Silva, M.2
  • 80
    • 0006825151 scopus 로고
    • Specifying features and analysing their interactions in a LOTOS environment
    • L.G. Bouma, and H. Velthuijsen (eds.), IOS-Press, Amsterdam
    • M. Faci and L. Logrippo, Specifying features and analysing their interactions in a LOTOS environment, in L.G. Bouma, and H. Velthuijsen (eds.), Feature Interactions in Telecommunications Systems, IOS-Press, Amsterdam, 1994, pp. 136-151.
    • (1994) Feature Interactions in Telecommunications Systems , pp. 136-151
    • Faci, M.1    Logrippo, L.2
  • 82
    • 0001122464 scopus 로고
    • On the computation of structural synchronic invariants in P/T nets
    • Springer-Verlag
    • M. Silva and J.M. Colom, On the computation of structural synchronic invariants in P/T nets, Lecture Notes in Computer Science, 340, Springer-Verlag, 1988, pp. 386-317.
    • (1988) Lecture Notes in Computer Science , vol.340 , pp. 386-1317
    • Silva, M.1    Colom, J.M.2
  • 83
    • 26444590972 scopus 로고
    • New structural invariants for Petri nets analysis
    • Springer-Verlag
    • J.M. Couvreur and E. Paviot-Adet, New structural invariants for Petri nets analysis, Lecture Notes in Computer Science, 815, Springer-Verlag, 1994, pp. 199-218.
    • (1994) Lecture Notes in Computer Science , vol.815 , pp. 199-218
    • Couvreur, J.M.1    Paviot-Adet, E.2


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