{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T23:21:42Z","timestamp":1698189702978},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,3,26]],"date-time":"2011-03-26T00:00:00Z","timestamp":1301097600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s10626-011-0100-4","type":"journal-article","created":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T09:54:16Z","timestamp":1301046856000},"page":"171-204","source":"Crossref","is-referenced-by-count":4,"title":["Relevant Timed Schedules\/Clock Vectors for Constructing Time Petri Net Reachability Graphs"],"prefix":"10.1007","volume":"21","author":[{"given":"Hanifa","family":"Boucheneb","sequence":"first","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,26]]},"reference":[{"issue":"3","key":"100_CR1","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s10009-005-0190-0","volume":"8","author":"G Behrmann","year":"2006","unstructured":"Behrmann G, Bouyer P, Larsen KG, Pel\u00e0nek R (2006) Lower and upper bounds in zone-based abstractions of timed automata. Int J Softw Tools Technol Transf 8(3):204\u2013215","journal-title":"Int J Softw Tools Technol Transf"},{"key":"100_CR2","unstructured":"Bengtsson J (2002) Clocks, DBMs and states in timed systems. PhD thesis, Dept. of Information Technology, Uppsala University"},{"key":"100_CR3","unstructured":"Berthomieu B, Peres F, Vernadat F (2007) Model-checking bounded prioriterized time Petri nets. In: Proceedings of ATVA 2007. LNCS, vol 4762"},{"key":"100_CR4","first-page":"442","volume":"2619","author":"B Berthomieu","year":"2003","unstructured":"Berthomieu B, Vernadat F (2003) State class constructions for branching analysis of time Petri nets. LNCS 2619:442\u2013457","journal-title":"LNCS"},{"issue":"6","key":"100_CR5","doi-asserted-by":"crossref","first-page":"1509","DOI":"10.1093\/logcom\/exp036","volume":"19","author":"H Boucheneb","year":"2009","unstructured":"Boucheneb H, Gardey G, Roux OH (2009) TCTL model checking of time Petri nets. J Log Comput 19(6):1509\u20131540. doi: 10.1093\/logcom\/exp036","journal-title":"J Log Comput"},{"key":"100_CR6","doi-asserted-by":"crossref","unstructured":"Boucheneb H, Rakkay H (2007) 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 (ACSD 2007). IEEE Computer Society, pp 61\u201370","DOI":"10.1109\/ACSD.2007.41"},{"key":"100_CR7","doi-asserted-by":"crossref","unstructured":"Boucheneb H, Hadjidj R (2006) CTL* model checking for time Petri nets. Journal of Theoretical Computer Science TCS 353\/1\u20133:208\u2013227","DOI":"10.1016\/j.tcs.2005.11.002"},{"key":"100_CR8","unstructured":"Cormen TH, Leiserson CE, Rivest RL, Stein C (2002) Introduction to algorithms, 2nd edn. The MIT Press"},{"issue":"3","key":"100_CR9","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S147106840600264X","volume":"6","author":"G Gardey","year":"2006","unstructured":"Gardey G, Roux OH, Roux OF (2006) State space computation and analysis of time Petri nets. Theory and Practice of Logic Programming (TPLP) 6(3):301\u2013320","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"issue":"42","key":"100_CR10","doi-asserted-by":"crossref","first-page":"4241","DOI":"10.1016\/j.tcs.2009.06.019","volume":"410","author":"R Hadjidj","year":"2009","unstructured":"Hadjidj R, Boucheneb H (2009) On-the-fly TCTL model checking for time Petri nets. Journal of Theoretical Computer Science TCS 410(42):4241\u20134261","journal-title":"Journal of Theoretical Computer Science TCS"},{"key":"100_CR12","doi-asserted-by":"crossref","unstructured":"Penczek W, P\u00f3lrola A (2004) Specification and model checking of temporal properties in time Petri nets and timed automata. In: Proc. of ICATPN, LNCS, vol 3099. Springer\u2013Verlag, pp 37\u201376","DOI":"10.1007\/978-3-540-27793-4_4"},{"key":"100_CR13","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 (1999) Analyzing paths in time Petri nets. Fundam Inform 37:311\u2013327","journal-title":"Fundam Inform"},{"key":"100_CR14","first-page":"1","volume":"96","author":"L Popova-Zeugmann","year":"1998","unstructured":"Popova-Zeugmann L (1998) Essential states in time Petri nets. Informatik-Berichte 96:1\u201314","journal-title":"Informatik-Berichte"},{"issue":"2","key":"100_CR15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1023\/A:1008682131325","volume":"11","author":"T Yoneda","year":"1997","unstructured":"Yoneda T, Schlingloff BH (1997) Efficient verification of parallel real-time systems. Form Methods Syst Des 11(2):187\u2013215","journal-title":"Form Methods Syst Des"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0100-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0100-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0100-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,17]],"date-time":"2020-06-17T15:35:10Z","timestamp":1592408110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0100-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,26]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["100"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0100-4","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,26]]}}}