{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T20:10:22Z","timestamp":1709237422060},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"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":[[2001,9]]},"DOI":"10.1007\/bf02948959","type":"journal-article","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T00:27:40Z","timestamp":1221265660000},"page":"418-425","source":"Crossref","is-referenced-by-count":2,"title":["A pragmatic behavior subtyping relation based on both states and actions"],"prefix":"10.1007","volume":"16","author":[{"given":"Shengyuan","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chongyi","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02948959_CR1","doi-asserted-by":"crossref","unstructured":"Valk R. Petri nets as token objects: An introduction to elementary object nets. InProceedings of 19th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1420, Springer-Verlag, 1998, pp.1\u201325.","DOI":"10.1007\/3-540-69108-1_1"},{"key":"BF02948959_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"Proceedings of 16th International Conference on the Application and Theory of Petri Nets","author":"Charles Lakos","year":"1995","unstructured":"Charles Lakos. From coloured Petri nets to object Petri nets. InProceedings of 16th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 935, Turin, Italy, Springer-Verlag, 1995, pp.278\u2013297."},{"key":"BF02948959_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Proceedings of 15th International Conference on the Application and Theory of Petri Nets","author":"C Sibertin-Blanc","year":"1994","unstructured":"Sibertin-Blanc C. Cooperative nets. InProceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, Zaragoza, Spain, Springer-Verlag, 1994, pp.471\u2013490."},{"key":"BF02948959_CR4","unstructured":"Buchs D, Guelfi N. CO-OPN: A concurrent object oriented Petri net approach. InProceedings of 12th International Conference on the Application and Theory of of Petri Nets, Gjern, Denmark, 1991, pp.432\u2013454."},{"key":"BF02948959_CR5","doi-asserted-by":"crossref","unstructured":"Satoshi Matsuoka, Akinori Yonezawa. Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages. In Research Directions in Concurrent Object-Oriented Programming, Agha G, Wegner P, Yonezawa A (eds.), The MIT Press, 1993, pp.107\u2013150.","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"BF02948959_CR6","doi-asserted-by":"crossref","unstructured":"Lobel Crnogorac, Amand S Rao, Kotagiri Ramamohanarao. Classifying Inheritance Mechanisms in Concurrent Object-oriented Programming. Lecture Notes in Computer Science 1445, ECOOP\u201998 \u2014 Object-oriented Programming, Springer-Verlag, 1998, pp.572\u2013600.","DOI":"10.1007\/BFb0054108"},{"key":"BF02948959_CR7","doi-asserted-by":"crossref","unstructured":"Pomello L, Rozenberg G, Simone C. A Survey of Equivalence Notions for Net Based Systems. InAdvances of Petri Nets. Lecture Notes in Computer Science 609, Springer-Verlag, 1992, pp.410\u2013472.","DOI":"10.1007\/3-540-55610-9_180"},{"key":"BF02948959_CR8","doi-asserted-by":"crossref","unstructured":"W M P van der Aalst, T Basten. Life-cycle inheritance: A Petri-net-based approach. InProceedings of 18th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1248, 1997, pp.62\u201381.","DOI":"10.1007\/3-540-63139-9_30"},{"key":"BF02948959_CR9","doi-asserted-by":"crossref","unstructured":"Wegner P, Zdonik S B. Inheritance as an incremental modification mechanism or what like is and isn\u2019t like. InECOOP\u201988 Proceedings, Lecture Notes in Computer Science 322, Springer-Verlag, 1988, pp.55\u201377.","DOI":"10.1007\/3-540-45910-3_4"},{"key":"BF02948959_CR10","doi-asserted-by":"crossref","unstructured":"voss K. Interface as a Basic Concept for Systems Specification and Verification. In Concurrency and Nets, Voss K, Genrich H J, Rozenberg G (eds.), Springer-Verlag, 1987, pp.585\u2013604.","DOI":"10.1007\/978-3-642-72822-8_36"},{"key":"BF02948959_CR11","doi-asserted-by":"crossref","unstructured":"Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Volume 1: Concepts, EATCS Monographs on Theoreticla Computer Science, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"issue":"1","key":"BF02948959_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218126698000031","volume":"8","author":"A Newman","year":"1998","unstructured":"Newman A, Shatz S M, Xie X. An approach to object system modeling by state-based object Petri nets.Journal of Circuits, Systems and Computers, 1998, 8(1): 1\u201320.","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"BF02948959_CR13","doi-asserted-by":"crossref","unstructured":"America P. Designing an object-oriented programming language with behavioral subtyping. InProc. REX School\/ Workshop on Foundations of Object-Oriented Languages (REX\/FOOL), Noordwijkerhout, the Netherlands, May. 1990, Lecture Notes in Computer Science 489, Springer-Verlag, 1991, pp.60\u201390.","DOI":"10.1007\/BFb0019440"},{"key":"BF02948959_CR14","first-page":"172","volume-title":"Proceedings of 3rd Workshop on Advanced Parallel Processing Technologies","author":"Chongyi Yuan","year":"1999","unstructured":"Yuan Chongyi, Qu Wanling. UNITY and its missing structure. InProceedings of 3rd Workshop on Advanced Parallel Processing Technologies, Changsha, China, Publishing House of Electronics Industry, 1999, pp.172\u2013176."},{"key":"BF02948959_CR15","unstructured":"chandy K M, Misra J. Parallel Program Design \u2014 A Foundation. Addision-Wesley Publishing Company, 1988."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948959.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948959\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948959","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T19:33:08Z","timestamp":1709235188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948959"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["BF02948959"],"URL":"https:\/\/doi.org\/10.1007\/bf02948959","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}