{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T09:53:48Z","timestamp":1790675628003,"version":"4.1.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pnpm.2003.1231549","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"124-133","source":"Crossref","is-referenced-by-count":16,"title":["State class timed automaton of a time Petri net"],"prefix":"10.1109","author":[{"given":"D.","family":"Lime","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_12"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054314"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","article-title":"Model-checking for real-time systems","author":"larsen","year":"1995","journal-title":"Fundamentals of Computation Theory"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref15","article-title":"Efficient state space search for time petri nets","volume":"18","author":"lilius","year":"1999","journal-title":"Proc Workshop on Concurrency MFCS 98"},{"key":"ref16","article-title":"Computing the state class timed automaton of a transition-time petri net","author":"lime","year":"2003","journal-title":"Technical Report"},{"key":"ref17","author":"menasche","year":"1982","journal-title":"Analyse des réseaux de Petri temporisés et application aux systèmes distribués"},{"key":"ref18","author":"merlin","year":"1974","journal-title":"A study of the recoverability of computing systems"},{"key":"ref19","first-page":"227","article-title":"On time petri nets","volume":"27","author":"popova","year":"1991","journal-title":"J Information Processing and Cybernetics EIK"},{"key":"ref4","first-page":"275","article-title":"La methode des classes d'etats pour l'analyse des reseaux temporels","author":"berthomieu","year":"2001","journal-title":"3e congrès Modli-sation des Systèmes Réactifs (MSR '2001)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-49213-5_5","article-title":"Modeling urgency in timed systems","volume":"1536","author":"bornot","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref8","article-title":"Linear programming and extensions","author":"dantzig","year":"1963","journal-title":"IEICE Transactions on Information and Systems"},{"key":"ref7","article-title":"Modelling time in petri nets","author":"bowden","year":"1996","journal-title":"2nd Australia-J apan Workshop on Stochastic Models in Engineering Technology and Management"},{"key":"ref2","first-page":"53","article-title":"Timed petri nets and bqos","volume":"2075","author":"abdulla","year":"2001","journal-title":"22nd International Conference on Application and Theory of Petri Nets (ICATPN'01)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1996.563702"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00105-5"},{"key":"ref20","article-title":"A t-time petri net extension for real time-task scheduling modeling","volume":"36","author":"roux","year":"2002","journal-title":"European Journal of Automation (JESA)"},{"key":"ref22","first-page":"347","article-title":"Compositional specification of timed systems (extended abstract)","author":"sifakis","year":"1996","journal-title":"13th Syposium on Theoretical Aspects of Computer Science"},{"key":"ref21","author":"sava","year":"2001","journal-title":"Sur la synthèse de la commande des systèmes vènements discrets temporisés"},{"key":"ref24","first-page":"297","article-title":"CTL model checking of time petri nets using geometric regions","volume":"e99 d","author":"yoneda","year":"1998","journal-title":"IEICE Transactions on Information and Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.1997.644736"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s100090050009","article-title":"Kronos: A verification tool for real-time systems","volume":"1","author":"yovine","year":"1997","journal-title":"International Journal of Software Tools for Technology Transfer"}],"event":{"name":"10th International Workshop on Petri Nets and Performance Models, 2003.","location":"Urbana, Illinois, USA"},"container-title":["10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8718\/27591\/01231549.pdf?arnumber=1231549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:16:11Z","timestamp":1497586571000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1231549\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/pnpm.2003.1231549","relation":{},"subject":[]}}