{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:31:26Z","timestamp":1725798686361},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105116"},{"type":"electronic","value":"9783319105123"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10512-3_7","type":"book-chapter","created":{"date-parts":[[2014,8,11]],"date-time":"2014-08-11T05:20:44Z","timestamp":1407734444000},"page":"85-99","source":"Crossref","is-referenced-by-count":3,"title":["Time Petri Nets with Dynamic Firing Dates: Semantics and Applications"],"prefix":"10.1007","author":[{"given":"Bernard","family":"Berthomieu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Dal Zilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0141ukasz","family":"Fronc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Vernadat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","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, pp. 211\u2013225. Springer, Heidelberg (2005)"},{"issue":"3","key":"7_CR3","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"},{"key":"7_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. Journal of Discrete Event Dynamic Systems\u00a017, 133\u2013158 (2007)","journal-title":"Journal of Discrete Event Dynamic Systems"},{"key":"7_CR5","unstructured":"Berthomieu, B., Menasche, M.: A state enumeration approach for analyzing time Petri nets. In: Proc. of ATPN, Applications and Theory of Petri Nets (1982)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11867340_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B. Berthomieu","year":"2006","unstructured":"Berthomieu, B., Peres, F., Vernadat, F.: Bridging the gap between timed automata and bounded time petri nets. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA \u2013 construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research\u00a042(14), 2741\u20132756","DOI":"10.1080\/00207540412331312688"},{"key":"7_CR8","series-title":"CCIS","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-319-07512-9","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"F. Boniol","year":"2014","unstructured":"Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol.\u00a0433, pp. 1\u201318. Springer, Heidelberg (2014)"},{"issue":"23","key":"7_CR9","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.tcs.2004.04.003","volume":"321","author":"P. Bouyer","year":"2004","unstructured":"Bouyer, P., Dufourd, C., Fleury, E., Petit, A.: Updatable timed automata. Theoretical Computer Science\u00a0321(23), 291\u2013345 (2004)","journal-title":"Theoretical Computer Science"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Timed state space analysis of real-time preemptive systems. IEEE Transactions on Software Engineering\u00a030(2) (2004)","DOI":"10.1109\/TSE.2004.1265815"},{"key":"7_CR11","unstructured":"Cellier, F.-E., Kofman, E.: Continuous System Simulation. Springer (2006)"},{"key":"7_CR12","unstructured":"Cellier, F.-E., Kofman, E., Migoni, G., Bortolotto, M.: Quantized state system simulation. In: Proc. GCMS 2008, Grand Challenges in Modeling and Simulation (2008)"},{"key":"7_CR13","unstructured":"Daws, C., Yovine, S.: Two examples of verification of multirate timed automata with kronos. In: Proc. of RTSS, IEEE Real-Time Systems Symposium (1995)"},{"key":"7_CR14","unstructured":"Foures, D., Albert, V., Nketsa, A.: Formal compatibility of experimental frame concept and FD-DEVS model. In: Proc. of MOSIM, International Conference on Modeling, Optimization and Simulation (2012)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O(H.): Romeo: A tool for analyzing time petri nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 418\u2013423. Springer, Heidelberg (2005)"},{"key":"7_CR16","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, University of California (1974)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Nasr, O., Rached, M., Bodeveix, J.-P., Filali, M.: Sp\u00e9cification et v\u00e9rification d\u2019un ordonnanceur en B via les automates temporis\u00e9s. L\u2019Objet\u00a014(4) (2008)","DOI":"10.3166\/obj.14.4.43-72"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Ramalingam, G., Song, J., Joscovicz, L., Miller, R.E.: Solving difference constraints incrementally. Algorithmica\u00a023 (1995)","DOI":"10.1007\/PL00009261"},{"key":"7_CR19","unstructured":"Dal Zilio, S., Fronc, L., Berthomieu, B., Vernadat, F.: Time petri nets with dynamic firing dates: Semantics and applications. Technical Report 14148, LAAS-CNRS (2014) arXiv: 1404.7067"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10512-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:44:12Z","timestamp":1558968252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10512-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105116","9783319105123"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10512-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}