{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T09:14:31Z","timestamp":1672391671465},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Compt. Sci. & Technol."],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1007\/bf02960767","type":"journal-article","created":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:59:57Z","timestamp":1222304397000},"page":"770-780","source":"Crossref","is-referenced-by-count":5,"title":["Behavior relativity of Petri nets"],"prefix":"10.1007","volume":"17","author":[{"given":"Changjun","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Huaiqing","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Shaoyi","family":"Liao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"BF02960767_CR1","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1109\/32.544348","volume":"22","author":"E Battiston","year":"1996","unstructured":"Battiston E, Cindio F D, Mauri G. Modular algebraic nets to specify concurrent systems.IEEE Trans. Software Eng., 1996, 22(10): 689\u2013705.","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"BF02960767_CR2","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/71.80172","volume":"1","author":"S M Shatz","year":"1990","unstructured":"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 and Distributed Systems, 1990, 1(4): 424\u2013441.","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"issue":"12","key":"BF02960767_CR3","doi-asserted-by":"crossref","first-page":"1307","DOI":"10.1109\/71.553301","volume":"7","author":"S M Shatz","year":"1996","unstructured":"Shatz S M, Tu S, Murata T. An application of Petri net reduction for Ada tasking deadlock analysis.IEEE Trans. Parallel and Distributed Systems, 1996, 7(12): 1307\u20131322.","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"BF02960767_CR4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(88)90027-1","volume":"8","author":"S M Shatz","year":"1988","unstructured":"Shatz S M, Cheng W K. A Petri net framework for automated static analysis of Ada tasking behavior.J. Systems and Software, 1988, 8: 343\u2013359.","journal-title":"J. Systems and Software"},{"issue":"3","key":"BF02960767_CR5","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1145\/3916.3989","volume":"7","author":"G Avrunin","year":"1985","unstructured":"Avrunin G, Wileden J. Describing and analyzing distributed software system designs.ACM Trans. Programming Lanquages and Systems, 1985, 7(3): 380\u2013403.","journal-title":"ACM Trans. Programming Lanquages and Systems"},{"issue":"1","key":"BF02960767_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/32.44362","volume":"16","author":"R G Willson","year":"1990","unstructured":"Willson R G, Krogh B H. Petri net tools for the specification and analysis of discrete controllers.IEEE Trans. Software Eng., 1990, 16(1): 39\u201350.","journal-title":"IEEE Trans. Software Eng."},{"issue":"11","key":"BF02960767_CR7","doi-asserted-by":"crossref","first-page":"1204","DOI":"10.1109\/32.106975","volume":"17","author":"G Avrunin","year":"1991","unstructured":"Avrunin G, Buy U, Corbett J, Dillon L, Wileden J. Automated analysis of concurrent systems with the constrained expression toolset.IEEE Trans. Software Eng., 1991, 17(11): 1204\u20131222.","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"BF02960767_CR8","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1109\/71.219756","volume":"4","author":"Y Chen","year":"1993","unstructured":"Chen Y, Tsai W T, Chao D. Dependency analysis \u2014 A Petri net based technique for synthesizing large concurrent systems. IEEE Trans. Parallel and Distributed Systems, 1993, 4(4): 414\u2013426.","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"issue":"3","key":"BF02960767_CR9","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1145\/828.322441","volume":"31","author":"A Datta","year":"1984","unstructured":"Datta A, Ghosh S. Synthesis of a class of deadlock-free Petri net.J. of ACM, 1984, 31(3): 486\u2013506.","journal-title":"J. of ACM"},{"issue":"10","key":"BF02960767_CR10","doi-asserted-by":"crossref","first-page":"1080","DOI":"10.1109\/TSE.1987.232850","volume":"13","author":"E T Morgan","year":"1987","unstructured":"Morgan E T, Razouk R R. Interactive state-space analysis of concurrent systems.IEEE Trans. Software Eng., 1987, 13(10): 1080\u20131091.","journal-title":"IEEE Trans. Software Eng."},{"issue":"11","key":"BF02960767_CR11","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/32.553699","volume":"22","author":"M B Dwyer","year":"1996","unstructured":"Dwyer M B, Clarke L A. A compact Petri net representation and its implications for analysis.IEEE Trans. Software Eng., 1996, 22(11): 794\u2013811.","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"BF02960767_CR12","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/32.286423","volume":"20","author":"M Notomi","year":"1994","unstructured":"Notomi M, Murata T. Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis.IEEE Trans. Software Eng., 1994, 20(5): 325\u2013336.","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"BF02960767_CR13","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.489073","volume":"21","author":"G Bucci","year":"1991","unstructured":"Bucci G, Vicario E. Compositional validation of time-critical systems using communicating time Petri nets.IEEE Trans. Software Eng., 1991, 21(12): 969\u2013992.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02960767_CR14","doi-asserted-by":"crossref","unstructured":"Murata T. Petri nets: Properties, analysis and applications. InProc. IEEE, 1989, 77: 541\u2013580.","DOI":"10.1109\/5.24143"},{"issue":"3","key":"BF02960767_CR15","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T Murata","year":"1991","unstructured":"Murata T, Shenker B, Shatz S M. Detection of Ada static deablocks using Petri net invariants.IEEE Trans. Software Eng., 1991, 15(3): 314\u2013326.","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"BF02960767_CR16","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02943550","volume":"7","author":"C J Jiang","year":"1992","unstructured":"Jiang C J, Wu Z H. Nets operations.J. of Comp. Sci. & Tech., 1992, 7(4): 333\u2013344.","journal-title":"J. of Comp. Sci. & Tech."},{"issue":"6","key":"BF02960767_CR17","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/BF02943509","volume":"10","author":"C J Jiang","year":"1995","unstructured":"Jiang C J. Nets operations (II).J. of Comp. Sci. & Tech., 1995, 10(6): 509\u2013517.","journal-title":"J. of Comp. Sci. & Tech."},{"issue":"5","key":"BF02960767_CR18","doi-asserted-by":"crossref","first-page":"696","DOI":"10.1109\/12.24271","volume":"38","author":"I Suzuki","year":"1989","unstructured":"Suzuki I, Lu H. Temporal Petri nets and their application to modelling and analysis of a handshake daisy chain arbiter.IEEE Trans. Comput., 1989, 38(5): 696\u2013704.","journal-title":"IEEE Trans. Comput."},{"issue":"11","key":"BF02960767_CR19","doi-asserted-by":"crossref","first-page":"1273","DOI":"10.1109\/32.60315","volume":"16","author":"I Suzuki","year":"1990","unstructured":"Suzuki I. Formal analysis of the alternating bit protocol by temporal Petri nets.IEEE Trans. Software Eng., 1990, 16(11): 1273\u20131281.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02960767_CR20","doi-asserted-by":"crossref","unstructured":"Valmari A. Compositional state space generation.Lect. Notes in Comp. Sci. 674, Springer-Verlag, 1993, pp.427\u2013457.","DOI":"10.1007\/3-540-56689-9_54"},{"key":"BF02960767_CR21","doi-asserted-by":"crossref","unstructured":"Jiang Jet al. Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification. InIEEE Proc. on Syst. Eng. for Auto., 1976, 143(2): 164\u2013170.","DOI":"10.1049\/ip-cta:19960266"},{"key":"BF02960767_CR22","unstructured":"Souissi Y. On liveness preservation by compositional of nets via a set of places.Lect. Notes in Comp. Sci. 524, Springer-Verlag, 1991, pp.227\u2013295."},{"issue":"12","key":"BF02960767_CR23","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1109\/12.477242","volume":"44","author":"R Sisto","year":"1995","unstructured":"Sisto R, Valenzano A. Mapping Petri nets with inhibitor Arcs onto basic LOTOS behavior expressions.IEEE Trans. Comput., 1995, 44(12): 1361\u20131370.","journal-title":"IEEE Trans. Comput."},{"key":"BF02960767_CR24","unstructured":"Jiang C J, Lu W M. On properties of concurrent system based on Petri net language to appear inJ. of Software."},{"key":"BF02960767_CR25","unstructured":"Reising W. Introduction of Petri Net. Springer-Verlag, 1982."},{"issue":"2","key":"BF02960767_CR26","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0016-0032(85)90028-6","volume":"320","author":"T Murata","year":"1985","unstructured":"Murata T, Wu Z. Fair relation and modified synchronic distances in a Petri net.J. of the Franklin Inst., 1985, 320(2): 63\u201382.","journal-title":"J. of the Franklin Inst."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960767.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02960767\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:12:56Z","timestamp":1558566776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02960767"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["BF02960767"],"URL":"https:\/\/doi.org\/10.1007\/bf02960767","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}