{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:15:25Z","timestamp":1743012925741,"version":"3.40.3"},"publisher-location":"London","reference-count":24,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447142751"},{"type":"electronic","value":"9781447142768"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_16","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"319-341","source":"Crossref","is-referenced-by-count":1,"title":["Petri Nets with Time"],"prefix":"10.1007","author":[{"given":"B\u00e9atrice","family":"B\u00e9rard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Paola","family":"Cabasino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angela","family":"Di Febbraro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1989","author":"M. Ajmone Marsan","year":"1990","unstructured":"Ajmone Marsan, M.: Stochastic Petri Nets: an Elementary Introduction. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424. Springer, Heidelberg (1990)"},{"unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and linearity. Wiley (1992)","key":"16_CR2"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11562948_23","volume-title":"Automated Technology for Verification and Analysis","author":"B. B\u00e9rard","year":"2005","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of Different Semantics for Time Petri Nets. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 293\u2013307. Springer, Heidelberg (2005)"},{"issue":"3","key":"16_CR4","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 Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Berthomieu, B., Vernadat, F.: Time Petri nets analysis with TINA. In: Proc. 3rd Int. Conf. on the Quantitative Evaluation of Systems, Riverside, California, USA (2006)","key":"16_CR5"},{"issue":"3","key":"16_CR6","first-page":"225","volume":"88","author":"M. Boyer","year":"2008","unstructured":"Boyer, M., Roux, O.H.: On the compared expressiveness of arc, place and transition time Petri nets. Fundamenta Informaticae\u00a088(3), 225\u2013249 (2008)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"16_CR7","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/81.139289","volume":"39","author":"J. Campos","year":"1992","unstructured":"Campos, J., Chiola, G., Colom, J.M., Silva, M.: Properties and performance bounds for timed marked graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications\u00a039(5), 386\u2013401 (1992)","journal-title":"IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications"},{"doi-asserted-by":"crossref","unstructured":"Campos, S., Clarke, E.M.: Theories and experiences for real-time system development. AMAST Series in Computing, vol.\u00a02, pp. 129\u2013145. World Scientific (1995)","key":"16_CR8","DOI":"10.1142\/9789812831583_0005"},{"doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2008)","key":"16_CR9","DOI":"10.1007\/978-0-387-68612-7"},{"unstructured":"Chretienne, P.: Les reseaux de Petri Temporises. Master Thesis. Univ. of Paris VI, Paris (1983)","key":"16_CR10"},{"issue":"5","key":"16_CR11","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1109\/TSE.1983.235261","volume":"9","author":"J. Coolahan","year":"1983","unstructured":"Coolahan, J., Roussopoulos, N.: Timing requirements for time-driven systems using augmented Petri nets. IEEE Transactions on Software Engineering\u00a09(5), 603\u2013616 (1983)","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri nets in manufacturing systems. IEEE Press (1995)","key":"16_CR12"},{"unstructured":"Di Febbraro, A., Giua, A.: Sistemi ad eventi discreti. McGraw Hill (2002) (in Italian)","key":"16_CR13"},{"doi-asserted-by":"crossref","unstructured":"Di Cesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B.: Practice of Petri Nets in Manufacturing. Chapman and Hall (1993)","key":"16_CR14","DOI":"10.1007\/978-94-011-6955-4"},{"key":"16_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":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What Good are Digital Clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/inco.1994.1060","volume":"112","author":"T.A. Henzinger","year":"1994","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Temporal proof methodologies for timed transition systems. Information and Computation\u00a0112(2), 273\u2013337 (1994)","journal-title":"Information and Computation"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N.D. Jones","year":"1977","unstructured":"Jones, N.D., Landweber, L.H., Lien, Y.E.: Complexity of some problems in Petri nets. Theoretical Computer Scienc\u00a04, 277\u2013299 (1977)","journal-title":"Theoretical Computer Scienc"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/3-540-45931-6_19","volume-title":"Foundations of Software Science and Computation Structures","author":"F. Laroussinie","year":"2002","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: On Model Checking Durational Kripke Structures. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 264\u2013279. Springer, Heidelberg (2002)"},{"key":"16_CR20","volume-title":"A Study of the Recoverability of Computing Systems","author":"P.M. Merlin","year":"1974","unstructured":"Merlin, P.M.: A Study of the Recoverability of Computing Systems. UCI, Univ. California, Irvine (1974)"},{"key":"16_CR21","series-title":"Project MAC, TR-120","volume-title":"Analysis of asynchronous concurrent systems by Petri nets","author":"C. Ramchandani","year":"1974","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by Petri nets. Project MAC, TR-120. M.I.T, Cambridge (1974)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/978-3-642-04081-8_37","volume-title":"CONCUR 2009 - Concurrency Theory","author":"P.-A. Reynier","year":"2009","unstructured":"Reynier, P.-A., Sangnier, A.: Weak Time Petri Nets Strike Back! In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 557\u2013571. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Wang, J.: Timed Petri Nets: Theory and Applications. CRC Press (1998)","key":"16_CR23","DOI":"10.1007\/978-1-4615-5537-7"},{"unstructured":"Zhu, J.J., Denton, R.T.: Timed Petri nets and their application to communication protocol specification. In: Proc. Military Communications Conference, San Diego, CA (1988)","key":"16_CR24"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T14:32:54Z","timestamp":1676644374000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_16","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}