{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T04:13:50Z","timestamp":1730261630069,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/idaacs.2017.8095142","type":"proceedings-article","created":{"date-parts":[[2017,11,6]],"date-time":"2017-11-06T21:36:46Z","timestamp":1510004206000},"page":"553-557","source":"Crossref","is-referenced-by-count":0,"title":["Control flow models using Petri nets for model based testing"],"prefix":"10.1109","author":[{"given":"Tomas","family":"Pospisil","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3182\/20020721-6-ES-1901.00079"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725424"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.15837\/ijccc.2015.4.1732"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2011.104"},{"journal-title":"Workflow Management","year":"2004","author":"aalst","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"key":"ref18","article-title":"Jacop-java constraint programming solve","author":"kuchcinski","year":"2013","journal-title":"Proceedings of the CP Solvers Modeling Applications Integration and Standardization co-located with the 19th International Conference on Principles and Practice of Constraint Programming"},{"key":"ref19","first-page":"45","article-title":"Global Variables in Colored Petri Nets","volume":"69","author":"bartkevi?ius","year":"2006","journal-title":"Elektronika ir Elektrotechnika"},{"key":"ref4","first-page":"282","article-title":"Analysis of place\/transition nets with timed arcs and its application to batch process control","volume":"691","author":"hanisch","year":"1993","journal-title":"Application and Theory of Petri Nets LNCS"},{"key":"ref3","article-title":"Kommunikation mit Automaten","author":"petri","year":"1962","journal-title":"Tech Rep"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465203"},{"key":"ref5","article-title":"Petri Nets with Discrete Variables","author":"jensen","year":"2012","journal-title":"Tech Rep"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725379"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC.2014.6982408"},{"journal-title":"MISTA Model-based Integration and System Test Automation","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/AQTR.2014.6857900"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IIT.2007.4430447"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48068-4_23"}],"event":{"name":"2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","start":{"date-parts":[[2017,9,21]]},"location":"Bucharest","end":{"date-parts":[[2017,9,23]]}},"container-title":["2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8086093\/8094488\/08095142.pdf?arnumber=8095142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T19:32:31Z","timestamp":1513193551000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8095142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/idaacs.2017.8095142","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}