{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:54:29Z","timestamp":1730267669603,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/indin.2011.6034958","type":"proceedings-article","created":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T10:38:46Z","timestamp":1318415926000},"page":"789-795","source":"Crossref","is-referenced-by-count":12,"title":["IOPT Petri net state space generation algorithm with maximal-step execution semantics"],"prefix":"10.1109","author":[{"given":"Fernando","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Filipe","family":"Moutinho","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Rogerio","family":"Campos-Rebelo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"XSLT","year":"2001","author":"tidwell","key":"ref10"},{"journal-title":"XSL Transformations (XSLT)” version 2 0","year":"2007","key":"ref11"},{"key":"ref12","first-page":"483","article-title":"The Petri Net Markup Language: Concepts, Technology, and Tools","volume":"2679","author":"billington","year":"2003"},{"year":"2005","key":"ref13"},{"journal-title":"W3C Recommendation","article-title":"Scalable Vector Graphics (SVG) 1.1 Specification","year":"2003","key":"ref14"},{"journal-title":"The OpenMP API specification for parallel programming","year":"0","key":"ref15"},{"journal-title":"PROD Reference Manual","year":"1995","author":"varpaaniemi","key":"ref16"},{"journal-title":"INA Integrated Net Analyzer Version 2 2 Manual","year":"0","author":"stephan","key":"ref17"},{"journal-title":"Graph eXchange Language","year":"0","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.131"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2009.5218315"},{"key":"ref6","article-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Pratical Use","author":"jensen","year":"1997","journal-title":"Volumel-Basic Concepts"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.15"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73094-1_5"},{"journal-title":"LoLa A Low Level Petri Net Analyzer","year":"2000","author":"schmidt","key":"ref7"},{"key":"ref2","article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN'07)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"X Query 1 0 and XPath 2 0 Formal Semantics","year":"2010","key":"ref9"}],"event":{"name":"2011 9th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2011,7,26]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2011,7,29]]}},"container-title":["2011 9th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6029399\/6034824\/06034958.pdf?arnumber=6034958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T23:02:43Z","timestamp":1490050963000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6034958\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/indin.2011.6034958","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}