{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:50:06Z","timestamp":1729626606536,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/inista.2016.7571845","type":"proceedings-article","created":{"date-parts":[[2016,9,22]],"date-time":"2016-09-22T21:03:28Z","timestamp":1474578208000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Modeling dynamic systems with high-level Petri nets with object-orientation"],"prefix":"10.1109","author":[{"given":"Marius","family":"Brezovan","sequence":"first","affiliation":[]},{"given":"Stanescu","family":"Liana","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90302-V"},{"key":"ref11","first-page":"57","article-title":"Subclassing ? Subtyping ? Is-a","volume":"3","author":"lalonde","year":"1991","journal-title":"Journal of Obiect-Oriented Programming"},{"journal-title":"2004 ISO\/IEC 15909–1","article-title":"Systems and Software Engineering - High-Level Petri Nets - Part 1: Concepts, Definitions and Graphical Notation","year":"2004","key":"ref12"},{"key":"ref13","first-page":"10","article-title":"Contravariance for the rest of us","volume":"4","author":"harris","year":"1991","journal-title":"Journal of Object-Oriented Programming"},{"key":"ref14","first-page":"471","article-title":"Encapsulated Multi-Methods and Multiple Dispatching in Object-Oriented High Level Petri Nets","author":"brezovan","year":"2005","journal-title":"Proc of the 13th International Symposium on Systems Theory Robotics Computers and Process Informatics"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/203095.203096"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014312"},{"journal-title":"Representations Hierarchies and Graphs of Institutions","year":"1996","author":"mossakowski","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50580-6_22"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00090-6"},{"key":"ref5","first-page":"119","article-title":"A Formal Model for Object Oriented Petri Nets Modeling","volume":"6","author":"ceska","year":"1997","journal-title":"Advances in System Sciences and Application"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15211-5_23"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96721"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_7"},{"key":"ref1","first-page":"94","article-title":"Object Petri Nets, Definition and Relationship to Colored Nets","author":"lakos","year":"1994"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1002\/j.1096-9942.1995.tb00019.x","article-title":"On Binary Methods","volume":"1","author":"bruce","year":"1996","journal-title":"Theory and Practice of Object Systems"}],"event":{"name":"2016 International Symposium on INnovations in Intelligent SysTems and Applications (INISTA)","start":{"date-parts":[[2016,8,2]]},"location":"Sinaia, Romania","end":{"date-parts":[[2016,8,5]]}},"container-title":["2016 International Symposium on INnovations in Intelligent SysTems and Applications (INISTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7565275\/7571814\/07571845.pdf?arnumber=7571845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T06:12:56Z","timestamp":1601100776000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7571845\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/inista.2016.7571845","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}