{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:29:42Z","timestamp":1725517782172},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857778"},{"type":"electronic","value":"9783540857785"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85778-5_19","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T17:32:04Z","timestamp":1220031124000},"page":"265-279","source":"Crossref","is-referenced-by-count":2,"title":["Relevant Timed Schedules \/ Clock Valuations for Constructing Time Petri Net Reachability Graphs"],"prefix":"10.1007","author":[{"given":"Hanifa","family":"Boucheneb","sequence":"first","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/s10009-005-0190-0","volume":"8","author":"G. Behrmann","year":"2006","unstructured":"Behrmann, G., Bouyer, P., Larsen, K.G., Pel\u00e0nek, R.: Lower and upper bounds in zone-based abstractions of timed automata. International Journal on Software Tools for Technology Transfer\u00a08(3), 204\u2013215 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"19_CR2","unstructured":"Bengtsson, J.: Clocks, DBMs and States in Timed Systems, PhD thesis, Dept. of Information Technology, Uppsala University (2002)"},{"key":"19_CR3","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":"19_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/ACSD.2007.41","volume-title":"Proc. of the seventh International Conference on Application of Concurrency to System Design (ASCD 2007)","author":"H. Boucheneb","year":"2007","unstructured":"Boucheneb, H., Rakkay, H.: A more efficient time Petri net state space abstraction preserving linear properties. In: Proc. of the seventh International Conference on Application of Concurrency to System Design (ASCD 2007), pp. 61\u201370. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"1-3","key":"19_CR5","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1016\/j.tcs.2005.11.002","volume":"353","author":"H. Boucheneb","year":"2006","unstructured":"Boucheneb, H., Hadjidj, R.: CTL* model checking for time Petri nets. Journal of Theoretical Computer Science TCS\u00a0353(1-3), 208\u2013227 (2006)","journal-title":"Journal of Theoretical Computer Science TCS"},{"issue":"3","key":"19_CR6","first-page":"301","volume":"6","author":"G. Gardey","year":"2006","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), Special Issue on Specification Analysis and Verification of Reactive Systems\u00a06(3), 301\u2013320 (2006)","journal-title":"Theory and Practice of Logic Programming (TPLP), Special Issue on Specification Analysis and Verification of Reactive Systems"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Boucheneb, H., Gardey, G., Roux, O.H.: TCTL model checking of time Petri nets, Technical Report IRCCyN number RI 2006-14 (2006)","DOI":"10.14236\/ewic\/VECOS2007.2"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-540-27793-4_4","volume-title":"Applications and Theory of Petri Nets 2004","author":"W. Penczek","year":"2004","unstructured":"Penczek, W., P\u00f3lrola, A.: Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 37\u201376. Springer, Heidelberg (2004)"},{"key":"19_CR9","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 Innformaticae\u00a037, 311\u2013327 (1999)","journal-title":"Fundamenta Innformaticae"},{"issue":"2","key":"19_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1023\/A:1008682131325","volume":"11","author":"T. Yoneda","year":"1997","unstructured":"Yoneda, T., Schlingloff, B.H.: Efficient Verification of Parallel Real-Time Systems. Formal Methods in System Design\u00a011(2), 187\u2013215 (1997)","journal-title":"Formal Methods in System Design"}],"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_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:34:44Z","timestamp":1606185284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85778-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540857778","9783540857785"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85778-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}