{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:38:28Z","timestamp":1729629508409,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acsd.2005.28","type":"proceedings-article","created":{"date-parts":[[2006,10,11]],"date-time":"2006-10-11T12:54:11Z","timestamp":1160571251000},"page":"224-233","source":"Crossref","is-referenced-by-count":2,"title":["Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties"],"prefix":"10.1109","author":[{"given":"R.","family":"Hadjidj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Boucheneb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Interval timed coloured petri nets and their analysis","author":"van der aalst","year":"1993","journal-title":"11th Int Conf Application and Theory of Petri Nets"},{"journal-title":"Me?thodes et Outils Pour la Ve?rification Symbolique de Syste?mes Temporise?s","year":"1993","author":"yovine","key":"22"},{"key":"17","article-title":"Analysis of asynchronous concurrent systems by timed petri nets","volume":"120","author":"ramchandani","year":"1974","journal-title":"Project MAC"},{"journal-title":"Use of Petri Nets for Performance Evaluation Measuring Modeling and Evaluating Computer Systems","year":"1977","author":"sifakis","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"16","article-title":"Specification and model checking of temporal properties in time Petri nets and timed automata","author":"penczek","year":"2004","journal-title":"Proc ICAT"},{"key":"13","article-title":"A state-graph manipulator tool for real-time system specification and verification","author":"hsiung","year":"1998","journal-title":"Proc Conference on Real-Time Computing Systems and Applications"},{"key":"14","article-title":"Coloured petri nets: Basic concepts, analysis methods and practical use","volume":"1 2","author":"jensen","year":"1982","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58152-9_13","article-title":"Time stream petri nets a model for timed multimedia information","volume":"815","author":"diaz","year":"1994","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"21","article-title":"CTL model checking of time Petri nets using geometric regions","volume":"e99 d","author":"yoneda","year":"1998","journal-title":"IEICE Trans Inf & Syst"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36577-X_33","article-title":"State class constructions for branching analysis of Time Petri nets","volume":"2619","author":"berthomieu","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"20","article-title":"Static analysis and dynamic steering of timeDependent systems","volume":"2","author":"vicaro","year":"2001","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_25"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0020947","article-title":"The tool Kronos","volume":"1066","author":"daws","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"7","article-title":"Analyse de re?seaux de Petri temporels. Calculs des classes en O(n2) et des temps de chemin en O(m \ufffd n)","volume":"22","author":"boucheneb","year":"2003","journal-title":"Technique et Science Informatiques"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80466-3"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"4","article-title":"La me?thode des classes d'e?tats pour l'analyse des re?seaux temporels - Mise en oeuvre, extension la multisensibilisation","author":"berthomieu","year":"2001","journal-title":"Proc Mode?lisation des Systmes Re?actifs"},{"key":"9","article-title":"Condensed state spaces for timed Petri Nets","author":"christensen","year":"2001","journal-title":"22th International Conference on Application and Theory of Petri Nets"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.489073"}],"event":{"name":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","location":"St. Malo, France"},"container-title":["Fifth International Conference on Application of Concurrency to System Design (ACSD'05)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/10077\/32310\/01508147.pdf?arnumber=1508147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T06:09:02Z","timestamp":1497679742000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/1508147\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/acsd.2005.28","relation":{},"subject":[]}}