{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T13:11:32Z","timestamp":1684156292829},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1007\/bf02948908","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T20:34:10Z","timestamp":1221251650000},"page":"378-387","source":"Crossref","is-referenced-by-count":2,"title":["Mapping PUNITY to UniNet"],"prefix":"10.1007","volume":"18","author":[{"given":"GuoFu","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ChongYi","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02948908_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0020-0255(00)00090-6","volume":"130","author":"Hong Jang-Eui","year":"2000","unstructured":"Hong Jang-Eui, Bae Doo-Hwan. Software modeling and analysis using a hierarchical object-oriented Petri net.Information Sciences, 2000, 130: 133\u2013164.","journal-title":"Information Sciences"},{"key":"BF02948908_CR2","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0164-1212(98)10028-6","volume":"43","author":"Vasilis C Gerogiannis","year":"1998","unstructured":"Vasilis C Gerogianniset al Comparative study and categorization of high-level Petri nets.Journal of System and Software, 1998, 43: 133\u2013160.","journal-title":"Journal of System and Software"},{"key":"BF02948908_CR3","volume-title":"Petri Net Theory","author":"Chongyi Yuan","year":"1998","unstructured":"Chongyi Yuan Petri Net Theory. Publishing House of Electronic Industry, Beijing, 1998."},{"key":"BF02948908_CR4","doi-asserted-by":"crossref","unstructured":"K Mani Chandy, Jayadev Misra. Parallel Program Design. A Foundation, Addison-Wesley, 1989.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"BF02948908_CR5","unstructured":"Michel Charpentier, Gerard Padiou. Specification and Verfication of the ATMR Protocol using UNITY. InInternational Workshop on Formal Methods for Parallel Programming: Theory and Application, University of Geneva, Switzerland, April, 1997, pp.26\u201336."},{"key":"BF02948908_CR6","unstructured":"Charpentier M, Filali M, Mauran P, Padiou G, Queinnec P. Modelling and verifying migration: A case study. InInternational Conference on Principles of Distributed Systems (OPODIS'99), Hanoi, Vietnam, 1999, pp.151\u2013166."},{"key":"BF02948908_CR7","doi-asserted-by":"crossref","unstructured":"Michel Charpentier, Marnoun Filali, Philippe Mauran, Gerard Padiou, Philippe Queinnec. Tailoring UNITY to distributed program design. InInternational Workshop on Formal Methods for Parallel Programming: Theory and Application (FMPPTA'98), April, 1998, Orlando, Florida, USA, LNCS 388: pp.820\u2013832.","DOI":"10.1007\/3-540-64359-1_745"},{"key":"BF02948908_CR8","doi-asserted-by":"crossref","unstructured":"Michel Charpentier. A UNITY mapping operator for distributed programs. InInternational Symposium of Formal Methods Europe (FME'97), September, 1997, Technical University of Graz, Austria, LNCS 1313, pp.665\u2013684.","DOI":"10.1007\/3-540-63533-5_35"},{"key":"BF02948908_CR9","volume-title":"From Petri net, UNITY to program, semantic model: UniNet","author":"Hongyu Fu","year":"2001","unstructured":"Hongyu Fu. From Petri net, UNITY to program, semantic model: UniNet [Thesis]. Peking University, Boijing, P.R. China, 2001."},{"key":"BF02948908_CR10","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1016\/S0950-5849(97)00006-2","volume":"39","author":"Yao Weili","year":"1997","unstructured":"Yao Weili, He Xudong. Mapping Petri nets to concurrent programs in CC++.Information and Software Technology, 1997, 39: 485\u2013495.","journal-title":"Information and Software Technology"},{"key":"BF02948908_CR11","doi-asserted-by":"crossref","unstructured":"Vitaly Kozura. Unfolding of Coloured Petri Nets. InAndrei Ershov Fourth International Conference: Perspectives of System Informatics, July, 2001, Akademgorodok, Novosibirsk, Russia, pp.268\u2013278.","DOI":"10.1007\/3-540-45575-2_27"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948908.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948908\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T19:03:11Z","timestamp":1558551791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["BF02948908"],"URL":"https:\/\/doi.org\/10.1007\/bf02948908","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}