{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:57Z","timestamp":1725550077085},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292098"},{"type":"electronic","value":"9783540319696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562948_22","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T10:06:40Z","timestamp":1128938800000},"page":"278-292","source":"Crossref","is-referenced-by-count":1,"title":["A New Graph of Classes for the Preservation of Quantitative Temporal Constraints"],"prefix":"10.1007","author":[{"given":"Xiaoyu","family":"Mao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janette","family":"Cardoso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Valette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"22_CR1","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 Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"14","key":"22_CR2","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool TINA: construction of abstract state spaces for Petri nets and time Petri nets. IJPR\u00a042(14), 2741\u20132756 (2004)","journal-title":"IJPR"},{"unstructured":"Cardoso, J., Cousy, S., Juanole, G.: Extending time Petri nets to fuzzy time Petri nets: definition of the graph of fuzzy state class. In: 16th IFAC World Congress, Prague (July 2005)","key":"22_CR3"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artificial Intelligence\u00a049, 61\u201391 (1991)","journal-title":"Artificial Intelligence"},{"key":"22_CR5","volume-title":"Automated Planning Theory and practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning Theory and practice. Morgan Kaufman, San Francisco (2004) ISBN 1-55860-856-7"},{"unstructured":"Menasche, M.: PAREDE: an automated tool for the analysis of time Petri nets. In: International workshop on timed Petri nets Torino, July 1985, pp. 162\u2013169 (1985)","key":"22_CR6"},{"doi-asserted-by":"crossref","unstructured":"Pradin-Ch\u00e9zalviel, B., Valette, R., K\u00fcnzle, L.A.: Scenario duration characterization of t-timed Petri nets using linear logic. In: PNPM 1999, 8th Int. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 6-10, pp. 208\u2013217 (1999)","key":"22_CR7","DOI":"10.1109\/PNPM.1999.796567"},{"doi-asserted-by":"crossref","unstructured":"Rivi\u00e8re, N., Pradin-Ch\u00e9zalviel, B., Valette, R.: Reachability and temporal conflicts in t-time Petri nets. In: 9th Int. Workshop on Petri Nets and Performance Models, IEEE PNPM 2001, Aachen, Allemagne, September 11-14, pp. 229\u2013238 (2001)","key":"22_CR8","DOI":"10.1109\/PNPM.2001.953372"},{"doi-asserted-by":"crossref","unstructured":"Rivi\u00e8re, N., Demmou, H., Valette, R., Medjoudj, M.: Symbolic temporal constraint analysis, an approach for verifying hybrid systems. In: 16th IFAC, Prague (July 2005)","key":"22_CR9","DOI":"10.3182\/20050703-6-CZ-1902.00331"},{"doi-asserted-by":"crossref","unstructured":"Schastai, V., Lima, E.A., K\u00fcnzle, L.A.: Sequence analysis for time Petri nets. In: IFAC 7 th Int. Workshop on Discrete Event Systems WODES 2004, France (2004)","key":"22_CR10","DOI":"10.1016\/S1474-6670(17)30785-1"},{"issue":"3","key":"22_CR11","first-page":"297","volume":"E81-D","author":"T. Yoneda","year":"1998","unstructured":"Yoneda, T., Ryuba, H.: CTL Model checking of time Petri nets using geometric regions. IEICE Trans. inf. & Syst.\u00a0E81-D(3), 297\u2013396 (1998)","journal-title":"IEICE Trans. inf. & Syst."}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562948_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:52:17Z","timestamp":1605624737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562948_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292098","9783540319696"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11562948_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}