{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,31]],"date-time":"2022-05-31T16:53:30Z","timestamp":1654016010704},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1995,11,1]],"date-time":"1995-11-01T00:00:00Z","timestamp":815184000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1995,11]]},"DOI":"10.1007\/bf02943509","type":"journal-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T12:25:10Z","timestamp":1220531110000},"page":"509-517","source":"Crossref","is-referenced-by-count":3,"title":["Net operations (II)\u2014The iterated addition operation of Petri nets"],"prefix":"10.1007","volume":"10","author":[{"given":"Changjun","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"BF02943509_CR1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0096-0551(85)90010-4","volume":"10","author":"D Mandrioli","year":"1985","unstructured":"Mandrioli Det al. Modeling the Ada task system by Petri nets.Comput. Languages, 1985, 10(1): 43\u201361.","journal-title":"Comput. Languages"},{"key":"BF02943509_CR2","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 Met al. A Petri net framework for automated static analysis of Ada tasking behavior.J. Syst. Soft., 1988, 8: 343\u2013359.","journal-title":"J. Syst. Soft."},{"key":"BF02943509_CR3","first-page":"419","volume":"6","author":"M Diaz","year":"1982","unstructured":"Diaz M. Modeling and analysis of communication and cooperation protocol using Petri nets based models.Comput. Networks, 1982, 6: 419\u2013441.","journal-title":"Comput. Networks"},{"key":"BF02943509_CR4","doi-asserted-by":"crossref","unstructured":"Suzuki Tet al. A protocol modeling and verification approach based on a specification language and Petri nets.IEEE Trans. Soft. Eng., 16: 523\u2013536.","DOI":"10.1109\/32.52775"},{"key":"BF02943509_CR5","doi-asserted-by":"crossref","unstructured":"Agerwala Tet al. A synthesis rule for concurrent systems. InProc. 15th Design Automation Conf., 1978, pp.305\u2013311.","DOI":"10.1109\/DAC.1978.1585190"},{"key":"BF02943509_CR6","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF02023780","volume":"3","author":"Y Narahari","year":"1985","unstructured":"Narahari Yet al. A Petri net approach to the modeling and analysis of flexible manufacturing systems.Ann. Oper. Res., 1985, 3: 449\u2013472.","journal-title":"Ann. Oper. Res."},{"key":"BF02943509_CR7","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","volume":"8","author":"M C Zhou","year":"1992","unstructured":"Zhou M Cet al. A hybrid methodology for synthesis of Petri nets for manufacturing systems.IEEE Trans. Robotics Automat., 1992, 8: 350\u2013361.","journal-title":"IEEE Trans. Robotics Automat."},{"key":"BF02943509_CR8","doi-asserted-by":"crossref","unstructured":"Murata T. Petri nets: Properties, analysis and applications. InProc. IEEE, Vol. 77, 1989, 541\u2013580.","DOI":"10.1109\/5.24143"},{"key":"BF02943509_CR9","doi-asserted-by":"crossref","unstructured":"Berthelot G, Roucairol G. Reduction of Petri nets and parallel programs. InLecture Notes in Comput. Sci., Vol.84, 1980.","DOI":"10.1007\/3-540-10001-6_28"},{"key":"BF02943509_CR10","doi-asserted-by":"crossref","unstructured":"Murata T, Koh J Y. Reduction and expansion of live and safe marked graphs.IEEE Trans. Circuit Syst., 1980, 27.","DOI":"10.1109\/TCS.1980.1084711"},{"issue":"4","key":"BF02943509_CR11","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02943550","volume":"7","author":"Changjun Jiang","year":"1992","unstructured":"Jiang Changjun, Wu Zhehui. Net operations.J. of Computer Science and Technology, 1992, 7(4): 333\u2013344.","journal-title":"J. of Computer Science and Technology"},{"issue":"6","key":"BF02943509_CR12","first-page":"745","volume":"19","author":"Changjun Jiang","year":"1993","unstructured":"Jiang Changjun. Operations for general Cartesian multiplication of Petri nets.Acta Automatica Sinica, 1993, 19(6): 745\u2013749.","journal-title":"Acta Automatica Sinica"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943509.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943509\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:16:20Z","timestamp":1558455380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943509"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,11]]},"references-count":12,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1995,11]]}},"alternative-id":["BF02943509"],"URL":"https:\/\/doi.org\/10.1007\/bf02943509","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,11]]}}}