{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:26Z","timestamp":1726029986901},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_23","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"187-192","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Time Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Michel","family":"Diaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"issue":"7","key":"23_CR1","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1109\/TC.1982.1676061","volume":"C-31","author":"J-M Ayache","year":"1982","unstructured":"J.-M. Ayache, J. Courtiat, M. Diaz, Rebus, a fault tolerant distributed system for industrial real-time control. IEEE Trans. Comput. C-31(7), 637\u2013647 (1982)","journal-title":"IEEE Trans. Comput."},{"key":"23_CR2","unstructured":"C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Dept. Electrical Engineering, MIT, Cambridge, MA, 1974"},{"issue":"9","key":"23_CR3","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"PM Merlin","year":"1976","unstructured":"P.M. Merlin, D.J. Farber, Recoverability of communication protocols: implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. Commun."},{"key":"23_CR4","unstructured":"B. Berthomieu, M. Menasche, A state enumeration approach for analyzing time Petri nets, in Proceeding of Applications and Theory of Petri Nets (ATPN\u201982), Como, Italy, 1982, pp. 27\u201356"},{"issue":"3","key":"23_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans. Softw. Eng. 17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"23_CR6","unstructured":"M. Diaz, P. Senac, Time Stream Petri Nets, a multi-media model for streams synchronization, in Proceedings of the First International Conference on Multi-Media Modelling, vol. l, ed. by T.-S. Chua, T.L. Kunii (World Scientific Singapore, Singapore, 1993), pp. 257\u2013273"},{"key":"23_CR7","first-page":"219","volume-title":"Lecture Notes in Computer Science","author":"Michel Diaz","year":"1994","unstructured":"M. Diaz, P. Senac, Time Stream Petri Nets, a model for timed multi-media information, in 15th International Conference on Application and Theory of Petri Nets, June 1994, ed. by R. Valette. LNCS, vol. 815 (Springer, Berlin, 1994), pp. 219\u2013238"},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/49.481696","volume":"14","author":"P Senac","year":"1996","unstructured":"P. Senac, M. Diaz, A. Light, P. De Saqui Sannes, Modelling logical and temporal synchronization in hypermedia systems. IEEE J. Selected Areas Commun. 14(1), 84\u2013103 (1996)","journal-title":"IEEE J. Selected Areas Commun."}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:19:16Z","timestamp":1558689556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_23","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}