{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:03:38Z","timestamp":1730300618794,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/time.2013.22","type":"proceedings-article","created":{"date-parts":[[2014,4,17]],"date-time":"2014-04-17T14:13:13Z","timestamp":1397743993000},"page":"117-124","source":"Crossref","is-referenced-by-count":11,"title":["A New Approach to Abstract Reachability State Space of Time Petri Nets"],"prefix":"10.1109","author":[{"given":"Kais","family":"Klai","sequence":"first","affiliation":[]},{"given":"Naim","family":"Aber","sequence":"additional","affiliation":[]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"1974","author":"ramchandani","journal-title":"Analysis of asynchronous concurrent systems by timed Petri nets","key":"19"},{"key":"17","first-page":"137","article-title":"Concepts of net theory","author":"petri","year":"1973","journal-title":"MFCS'73"},{"key":"18","article-title":"Time petri nets: A primer introduction","author":"pezze","year":"1999","journal-title":"Tutorial at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1145\/563905.810899"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/978-3-642-18222-8_4"},{"key":"13","first-page":"456","article-title":"Uppaal: Status and developments","author":"larsen","year":"1997","journal-title":"CAV"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/s10626-006-8133-9"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1016\/j.tcs.2009.06.019"},{"key":"12","first-page":"62","article-title":"Model-checking for real-time systems","author":"larsen","year":"1995","journal-title":"FCT '95 Volume 965 of LNCS"},{"year":"1998","author":"yoneda","journal-title":"CTL Model Checking of time Petri Nets Using Geometric Regions","key":"21"},{"key":"3","first-page":"41","article-title":"Enumerative Approach For Analyzing Time Petri Nets","volume":"9","author":"berthomieu bernard","year":"1983","journal-title":"IFIP Congress Series"},{"key":"20","first-page":"185","article-title":"Use of petri nets for performance evaluation","volume":"4","author":"sifakis","year":"1980","journal-title":"Acta Cybern"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/32.75415"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1016\/0304-3975(94)90010-8"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/s10009-007-0040-3"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-3-540-73094-1_7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1093\/logcom\/exp036"},{"key":"5","first-page":"123","article-title":"Time Petri nets analysis with TINA","author":"berthomieu","year":"2006","journal-title":"Third International Conference on the Quantitative Evaluation of Systems QEST 2006"},{"key":"4","first-page":"442","article-title":"State class constructions for branching analysis of time petri nets","volume":"2619","author":"berthomieu","year":"2003","journal-title":"TACAS"},{"key":"9","first-page":"246","article-title":"Using Zone Graph Method for Computing the State Space of a Time Petri Net","author":"gardey","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"8","first-page":"418","volume":"3576","author":"gardey","year":"2005","journal-title":"Proc CAV05"}],"event":{"name":"2013 20th International Symposium on Temporal Representation and Reasoning (TIME)","start":{"date-parts":[[2013,9,26]]},"location":"Pensacola, FL, USA","end":{"date-parts":[[2013,9,28]]}},"container-title":["2013 20th International Symposium on Temporal Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6786616\/6786778\/06786803.pdf?arnumber=6786803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T17:07:26Z","timestamp":1490288846000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6786803\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/time.2013.22","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}