{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:56:22Z","timestamp":1742925382154,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319777115"},{"type":"electronic","value":"9783319777122"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-77712-2_42","type":"book-chapter","created":{"date-parts":[[2018,3,24]],"date-time":"2018-03-24T09:03:18Z","timestamp":1521882198000},"page":"441-451","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Fly Model-Checking of TPN: $$TPN-TCTL^{\\varDelta }_{h}$$"],"prefix":"10.1007","author":[{"given":"Naima","family":"Jbeli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohra","family":"Sbai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahma","family":"Ben Ayed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104, 2\u201334 (1993)","journal-title":"Inf. Comput."},{"key":"42_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. (TCS) 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci. (TCS)"},{"key":"42_CR3","doi-asserted-by":"publisher","first-page":"1509","DOI":"10.1093\/logcom\/exp036","volume":"19","author":"H Boucheneb","year":"2009","unstructured":"Boucheneb, H., Gardey, G., Roux, O.H.: TCTL model checking of time Petri nets. J. Logic Comput. 19, 1509\u20131540 (2009)","journal-title":"J. Logic Comput."},{"key":"42_CR4","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"Guillaume Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.(H.): Romeo: a tool for analyzing time Petri nets. In: 17th International Conference on Computer Aided Verification (CAV 2005), vol. 3576, pp. 418\u2013423 (2005)"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Gardey, G., Roux, O.H., Roux, O.F.: Using zone graph method for computing the state space of a time Petri net. In: vol. 2791 of LNCS, pp. 24\u2013259. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-40903-8_20"},{"key":"42_CR6","unstructured":"Giua, A., DiCesare, F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: IEEE International Conference on SMC (1992)"},{"issue":"42","key":"42_CR7","doi-asserted-by":"publisher","first-page":"4241","DOI":"10.1016\/j.tcs.2009.06.019","volume":"410","author":"R Hadjidj","year":"2009","unstructured":"Hadjidj, R., Boucheneb, H.: On the fly TCTL model checking for time Petri nets. Theoret. Comput. Sci. 410(42), 4241\u20134261 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"42_CR8","unstructured":"Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"42_CR9","unstructured":"Jbeli, N., Sba\u00ef, Z., Ben Ayed. R.: $$TCTL^{\\Delta }_{h}$$ for quantitative verification of information systems. In: 4th International Workshop on Advanced Information Systems for Enterprises (IWAISE 2016) (2016)"},{"key":"42_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-319-45243-2_30","volume-title":"Computational Collective Intelligence","author":"Naima Jbeli","year":"2016","unstructured":"Jbeli, N., Sba\u00ef, Z., Ben Ayed, R.: On expressiveness of $$TCTL^{\\Delta }_{h}$$ for model checking distributed systems. In: 8th International Conference on Computational Collective Intelligence (ICCCI 2016), pp. 323\u2013332 (2016)"},{"key":"42_CR11","unstructured":"Laroussinie, F.: Model checking temporis\u00e9: algorithmes efficaces et complexit\u00e9. Master\u2019s thesis, ENSCachan, D\u00e9cembre 2005"},{"issue":"2","key":"42_CR12","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10626-006-8133-9","volume":"16","author":"D Lime","year":"2006","unstructured":"Lime, D., Roux, O.H.: Model checking of time Petri nets using the state class timed automaton. Discrete Events Dyn. Syst. (DEDS) 16(2), 179\u2013205 (2006)","journal-title":"Discrete Events Dyn. Syst. (DEDS)"},{"key":"42_CR13","unstructured":"LSV. Dossier scientifique. Ecole Normale Sup\u00e9rieure de Cachan (2004)"},{"key":"42_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/11901914_26","volume-title":"Automated Technology for Verification and Analysis","author":"Houda Bel Mokadem","year":"2006","unstructured":"Mokadem, H.B., B\u00e9rard, B., Bouyer, P., Laroussinie, F.: Timed temporal logics for abstracting transient states. In: 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), vol. 4218, pp. 337\u2013351 (2006)"},{"key":"42_CR15","unstructured":"Sba\u00ef, Z., Barkaoui, K., Boucheneb, H.: Compatibility analysis of time open workflow nets. In: Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, 23\u201324 June 2014, pp. 249\u2013268 (2014)"}],"container-title":["Advances in Intelligent Systems and Computing","Trends and Advances in Information Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77712-2_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T07:35:13Z","timestamp":1570952113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77712-2_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319777115","9783319777122"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77712-2_42","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018]]}}}