{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:41:54Z","timestamp":1757313714543,"version":"3.37.3"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["#2714\/19"],"award-info":[{"award-number":["#2714\/19"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100022770","name":"Israeli Smart Transportation Research Center","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100022770","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,4,1]]},"DOI":"10.1109\/tse.2022.3216683","type":"journal-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T22:37:56Z","timestamp":1667515076000},"page":"2303-2317","source":"Crossref","is-referenced-by-count":4,"title":["What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4009-5353","authenticated-orcid":false,"given":"Achiya","family":"Elyasaf","sequence":"first","affiliation":[{"name":"Software and Information Systems Engineering Department, Ben-Gurion University of the Negev, Beersheba, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0565-6506","authenticated-orcid":false,"given":"Tom","family":"Yaacov","sequence":"additional","affiliation":[{"name":"Computer Science Department, Ben-Gurion University of the Negev, Beersheba, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5832-8768","authenticated-orcid":false,"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[{"name":"Computer Science Department, Ben-Gurion University of the Negev, Beersheba, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55152-0_3"},{"volume-title":"Through the Language Glass: Why the World Looks Different in Other Languages","year":"2010","author":"Deutscher","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/358896.358899"},{"article-title":"The power and philosophy of ruby (or, how to create babel-17)","year":"2003","author":"Matsumoto","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01007763"},{"article-title":"Linguistic relativity and programming languages","year":"2018","author":"Chen","key":"ref6"},{"key":"ref7","volume-title":"Petri Nets: An Introduction","volume":"4","author":"Reisig","year":"2012"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209270"},{"key":"ref9","article-title":"Context-oriented behavioral programming","volume-title":"Informat. Softw. Technol.","volume":"133","author":"Elyasaf","year":"2021"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2414639.2414648"},{"key":"ref11","first-page":"485","article-title":"A context-based behavioral language for IoT","volume-title":"Proc. MODELS Workshops","author":"Elyasaf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2648814"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.76"},{"key":"ref14","first-page":"1407","article-title":"A scenario based on-board software and testing environment for satellites","volume-title":"Proc. 59th Isr. Annu. Conf. Aerosp. Sci.","author":"Bar-Sinai"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00039"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5220\/0007573801410154"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3270112.3270126"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038686"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45221-5_25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36126-X_23"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_46"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606570"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_12"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233170"},{"key":"ref26","first-page":"20","article-title":"OF-PENDA: A software tool for fault diagnosis of discrete event systems modeled by labeled petri nets","volume-title":"Proc. Int. Workshop ADECS@ Petri Nets","author":"Liu"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497845"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6463-5_1"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_35"},{"article-title":"Contributions to model-based diagnosis of discrete-event systems","year":"2016","author":"Boussif","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.29007\/vwc9"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3185502"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19488-2_13"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_21"},{"key":"ref36","first-page":"269","article-title":"Workcraft: Ten years later","author":"Sokolov","year":"2016","journal-title":"This Asynchronous World. Essays Dedicated Alex Yakovlev Occasion 60th Birthday"},{"article-title":"Extending behavioral programming towards improved software engineering practices","year":"2021","author":"Yaacov","key":"ref37"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICAIET.2014.35"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.156"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_38"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(3:16)2013"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2021-2080"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_34"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_5"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_20"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2095050.2095079"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24349-3_5"},{"key":"ref49","first-page":"443","article-title":"Embedding scenario-based modeling in statecharts","volume-title":"Proc. Int Conf. MoDELS Workshops","author":"Marron"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10103953\/09927374.pdf?arnumber=9927374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T19:44:56Z","timestamp":1736451896000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9927374\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,1]]},"references-count":47,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2022.3216683","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2023,4,1]]}}}