{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:36:19Z","timestamp":1794357379717,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540687450","type":"print"},{"value":"9783540687467","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68746-7_21","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:37:54Z","timestamp":1217471874000},"page":"307-326","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)"],"prefix":"10.1007","author":[{"given":"Morgan","family":"Magnin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Merlin, P.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, University of California, Irvine, CA (1974)"},{"key":"21_CR2","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA Project MAC Report MAC-TR-120 (1974)"},{"key":"21_CR3","first-page":"973","volume":"36","author":"O. Roux","year":"2002","unstructured":"Roux, O., D\u00e9planche, A.M.: A t-time Petri net extension for real time-task scheduling modeling. European Journal of Automation (JESA)\u00a036, 973\u2013987 (2002)","journal-title":"European Journal of Automation (JESA)"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G. Bucci","year":"2004","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Time state space analysis of real-time preemptive systems. IEEE transactions on software engineering\u00a030, 97\u2013111 (2004)","journal-title":"IEEE transactions on software engineering"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-540-27793-4_21","volume-title":"Applications and Theory of Petri Nets 2004","author":"O.H. Roux","year":"2004","unstructured":"Roux, O.H., Lime, D.: Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 371\u2013390. Springer, Heidelberg (2004)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Lime, D., Roux, O.H., Vernadat, F.: Reachability problems and abstract state spaces for time petri nets with stopwatches. Journal of Discrete Event Dynamic Systems (DEDS) (to appear, 2007)","DOI":"10.1007\/s10626-006-0011-y"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What good are digital clocks? In: Automata, Languages and Programming, pp. 545\u2013558 (1992)","DOI":"10.1007\/3-540-55719-9_103"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Magnin, M., Molinaro, P., Roux, O.H.: Decidability, expressivity and state-space computation of stopwatch petri nets with discrete-time semantics. In: 8th International Workshop on Discrete Event Systems (WODES 2006), Ann Arbor, USA (2006)","DOI":"10.1109\/WODES.2006.1678404"},{"key":"21_CR9","first-page":"227","volume":"27","author":"L. Popova","year":"1991","unstructured":"Popova, L.: On time petri nets. Journal Inform. Process. Cybern, EIK (formerly: Elektron. Inform. verarb. Kybern)\u00a027, 227\u2013244 (1991)","journal-title":"Journal Inform. Process. Cybern, EIK (formerly: Elektron. Inform. verarb. Kybern)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Popova-Zeugmann, L.: Essential states in time petri nets (1998)","DOI":"10.3233\/FI-1999-37307"},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.3233\/FI-1999-37307","volume":"37","author":"L. Popova-Zeugmann","year":"1999","unstructured":"Popova-Zeugmann, L., Schlatter, D.: Analyzing paths in time petri nets. Fundamenta Informaticae\u00a037, 311\u2013327 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Molinaro, P., Delfieu, D., Roux, O.H.: Improving the calculus of the marking graph of Petri net with bdd like structure. In: 2002 IEEE international conference on systems, man and cybernetics (SMC 2002), Hammamet, Tunisia (2002)","DOI":"10.1109\/ICSMC.2002.1167945"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE transactions on software engineering\u00a017, 259\u2013273 (1991)","journal-title":"IEEE transactions on software engineering"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Gardey, G., Roux, O.H., Roux, O.F.: State space computation and analysis of time Petri nets. Theory and Practice of Logic Programming (TPLP) (to appear, 2006); Special Issue on Specification Analysis and Verification of Reactive Systems","DOI":"10.1017\/S147106840600264X"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/3-540-36577-X_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Berthomieu","year":"2003","unstructured":"Berthomieu, B., Vernadat, F.: State class constructions for branching analysis of time petri nets. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 442\u2013457. Springer, Heidelberg (2003)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Boucheneb, H., Gardey, G., Roux, O.H.: TCTL model checking of time Petri nets. Technical Report IRCCyN number RI2006-14 (2006)","DOI":"10.14236\/ewic\/VECOS2007.2"},{"key":"21_CR17","volume-title":"5th IFAC International Conference on Fieldbus Systems and their Applications, (FET 2003)","author":"D. Lime","year":"2003","unstructured":"Lime, D., Roux, O.: Expressiveness and analysis of scheduling extended time Petri nets. In: 5th IFAC International Conference on Fieldbus Systems and their Applications (FET 2003), Aveiro, Portugal. Elsevier Science, Amsterdam (2003)"},{"key":"21_CR18","first-page":"41","volume":"9","author":"B. Berthomieu","year":"1983","unstructured":"Berthomieu, B., Menasche, M.: An enumerative approach for analyzing time Petri nets. IFIP Congress Series\u00a09, 41\u201346 (1983)","journal-title":"IFIP Congress Series"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D. Dill","year":"1990","unstructured":"Dill, D.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"key":"21_CR20","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Third International Workshop on Software Model-Checking (SoftMC 2005)","author":"M. Magnin","year":"2005","unstructured":"Magnin, M., Lime, D., Roux, O.: An efficient method for computing exact state space of Petri nets with stopwatches. In: Third International Workshop on Software Model-Checking (SoftMC 2005), Edinburgh, Scotland, UK. Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam (2005)"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.H.: Rom\u00e9o: A tool for analyzing time Petri nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 418\u2013423. Springer, Heidelberg (2005)"},{"key":"21_CR22","first-page":"111","volume-title":"ACSD","author":"R. Hadjidj","year":"2006","unstructured":"Hadjidj, R., Boucheneb, H.: On-the-fly tctl model checking for time petri nets using state class graphs. In: ACSD, pp. 111\u2013122. IEEE Computer Society, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68746-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T07:24:55Z","timestamp":1684481095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68746-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540687450","9783540687467"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68746-7_21","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-68746-7","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}