{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T15:19:57Z","timestamp":1699543197986},"reference-count":32,"publisher":"Informa UK Limited","issue":"5","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Enterprise Information Systems"],"published-print":{"date-parts":[[2017,5,28]]},"DOI":"10.1080\/17517575.2015.1067723","type":"journal-article","created":{"date-parts":[[2015,8,6]],"date-time":"2015-08-06T10:38:17Z","timestamp":1438857497000},"page":"576-596","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":10,"title":["Designing software for operational decision support through coloured Petri nets"],"prefix":"10.1080","volume":"11","author":[{"given":"F.M.","family":"Maggi","sequence":"first","affiliation":[]},{"given":"M.","family":"Westergaard","sequence":"additional","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2015,8,6]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1080\/17517570801927403"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1145\/55595.55616"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1999.805085"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2012.759280"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10003-2_69"},{"key":"CIT0007","first-page":"189","volume":"3","author":"Evangelista S.","year":"2009","journal-title":"ToPNoC"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46429-8_28"},{"key":"CIT0009","first-page":"289","volume":"13","author":"Holzmann G.","year":"1998","journal-title":"FMSD"},{"key":"CIT0010","first-page":"169","volume-title":"Business Process Management Workshops","author":"IEEE Task Force on Process Mining","year":"2011"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"CIT0012","first-page":"259","volume-title":"Software Engineering Research and Practice","author":"Leangsuksun C.","year":"2003"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1002\/9781119198697"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23059-2_13"},{"key":"CIT0015","volume-title":"Proceedings of RV","author":"Maggi F. M., M.","year":"2011"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_16"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.14"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2034837"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2009.02.014"},{"key":"CIT0020","volume-title":"Deciphering the Myths around Complex Event Processing","author":"Schmerken I.","year":"2008"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1002\/9781118554609"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3"},{"key":"CIT0023","volume-title":"Fault Tree Handbook","author":"Vesely W. E.","year":"1981"},{"key":"CIT0024","author":"Wang J.","year":"2014","journal-title":"Enterprise Information Systems"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23059-2_10"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_18"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_19"},{"key":"CIT0028","unstructured":"Westergaard, M., and F. Maggi. 2011a. \u201cDeclare: A Tool Suite for Declarative Workflow Modeling and Enactment.\u201d BPM Demos, CEUR Workshop Proceedings, Clermont-Ferrand, August 31."},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21834-7_10"},{"key":"CIT0030","unstructured":"Westergaard, M., and H. M. W. Verbeek. 2013. Efficient Implementation of Prioritized Transitions for High-level Petri Nets. BPM Center Report, No. BPM-13-24. http:\/\/bpmcenter.org\/wp-content\/uploads\/reports\/2013\/BPM-13-24.pdf."},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56922-7_6"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2013.109"}],"container-title":["Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17517575.2015.1067723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,2,6]],"date-time":"2017-02-06T12:04:49Z","timestamp":1486382689000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17517575.2015.1067723"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,6]]},"references-count":32,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2015,8,17]]},"published-print":{"date-parts":[[2017,5,28]]}},"alternative-id":["10.1080\/17517575.2015.1067723"],"URL":"https:\/\/doi.org\/10.1080\/17517575.2015.1067723","relation":{},"ISSN":["1751-7575","1751-7583"],"issn-type":[{"value":"1751-7575","type":"print"},{"value":"1751-7583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,6]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teis20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teis20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}