{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T13:49:14Z","timestamp":1789998554970,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540857778","type":"print"},{"value":"9783540857785","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85778-5_20","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T17:32:04Z","timestamp":1220031124000},"page":"280-294","source":"Crossref","is-referenced-by-count":12,"title":["Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph"],"prefix":"10.1007","author":[{"given":"Louis-Marie","family":"Traonouez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Merlin, P.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, Univ. of California, Irvine (1974)"},{"issue":"2","key":"20_CR2","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 trans. on Soft. Eng.\u00a030(2), 97\u2013111 (2004)","journal-title":"IEEE trans. on Soft. Eng."},{"key":"20_CR3","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)"},{"issue":"2","key":"20_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10626-006-0011-y","volume":"17","author":"B. Berthomieu","year":"2007","unstructured":"Berthomieu, B., Lime, D., Roux, O.H., Vernadat, F.: Reachability problems and abstract state spaces for time petri nets with stopwatches. Discrete Event Dynamic Systems\u00a017(2), 133\u2013158 (2007)","journal-title":"Discrete Event Dynamic Systems"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: ACM Symposium on Theory of Computing, pp. 592\u2013601 (1993)","DOI":"10.1145\/167088.167242"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Hune","year":"2001","unstructured":"Hune, T., Romijn, J., Stoelinga, M., Vaandrager, F.W.: Linear parametric model checking of timed automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031. Springer, Heidelberg (2001)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Bruy\u00e8re, V., Raskin, J.F.: Real-time model-checking: Parameters everywhere. CoRR abs\/cs\/0701138 (2007)","DOI":"10.2168\/LMCS-3(1:7)2007"},{"issue":"1\u20132","key":"20_CR8","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. Int. Journal on Soft. Tools for Technology Transfer\u00a01(1\u20132), 110\u2013122 (1997)","journal-title":"Int. Journal on Soft. Tools for Technology Transfer"},{"issue":"2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1996.0086","volume":"130","author":"F. Wang","year":"1996","unstructured":"Wang, F.: Parametric timing analysis for real-time systems. Inf. Comput.\u00a0130(2), 131\u2013150 (1996)","journal-title":"Inf. Comput."},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-48387-X_14","volume-title":"Parallel Computing Technologies","author":"I. Virbitskaite","year":"1999","unstructured":"Virbitskaite, I., Pokozy, E.: Parametric behaviour analysis for time petri nets. In: Malyshkin, V.E. (ed.) PaCT 1999. LNCS, vol.\u00a01662, pp. 134\u2013140. Springer, Heidelberg (1999)"},{"issue":"3","key":"20_CR11","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 trans. on Soft. Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE trans. on Soft. Eng."},{"key":"20_CR12","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)"},{"key":"20_CR13","unstructured":"Traonouez, L.M., Lime, D., Roux, O.H.: Parametric model-checking of time petri nets with stopwatches using the state-class graph. Technical Report RI2008-3, IRCCyN, Nantes, France (2008)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Model-checking for real-time systems. In: Fundamentals of Computation Theory, pp. 62\u201388 (1995)","DOI":"10.1007\/3-540-60249-6_41"},{"issue":"10","key":"20_CR15","doi-asserted-by":"publisher","first-page":"1456","DOI":"10.1016\/j.jss.2005.12.021","volume":"79","author":"F. Cassez","year":"2006","unstructured":"Cassez, F., Roux, O.H.: Structural translation from Time Petri Nets to Timed Automata \u2013 Model-Checking Time Petri Nets via Timed Automata. The journal of Systems and Software\u00a079(10), 1456\u20131468 (2006)","journal-title":"The journal of Systems and Software"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_17","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B. B\u00e9rard","year":"2005","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of the expressiveness of timed automata and time Petri nets. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829. Springer, Heidelberg (2005)"},{"key":"20_CR17","unstructured":"Roux, O.H., Didier\u00a0Lime, G.G., Magnin, M.: Rom\u00e9o (2006), http:\/\/romeo.rts-software.org"},{"key":"20_CR18","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library. Quaderno 457, Dipartimento di Matematica, Universit\u00e0 di Parma, Italy (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85778-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:34:45Z","timestamp":1606185285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85778-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540857778","9783540857785"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85778-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}