{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:05:13Z","timestamp":1725858313136},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319396385"},{"type":"electronic","value":"9783319396392"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39639-2_52","type":"book-chapter","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T07:25:00Z","timestamp":1466148300000},"page":"595-604","source":"Crossref","is-referenced-by-count":0,"title":["Invariant-Based Performance Analysis of Timed Petri Net Models"],"prefix":"10.1007","author":[{"given":"W. M.","family":"Zuberek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,18]]},"reference":[{"key":"52_CR1","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. Wiley and Sons (1995)"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer (2002)","DOI":"10.1007\/978-3-662-05324-9"},{"key":"52_CR3","unstructured":"Holliday, M.A., Vernon, M.K.: A generalized timed Petri net model for performance evaluation. In: Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, pp. 181\u2013190 (1985)"},{"key":"52_CR4","unstructured":"Jain, R.: The Art of Computer Systems Performance Analysis. Wiley & Sons (1991)"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Krueckeberg, F., Jaxy, M.: Mathematical methods for calculating invariants in Petri nets. In: Rozenberg, G. (ed.) Advances in Petri Nets 1987 (Lecture Notes in Computer Science 266), pp. 104\u2013131. Springer (1987)","DOI":"10.1007\/3-540-18086-9_22"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"Martinez, J., Silva, M.: Simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Applications and Theory of Petri Nets (Informatik Fachberichte 52), pp. 301\u2013310. Springer (1982)","DOI":"10.1007\/978-3-642-68353-4_47"},{"issue":"4","key":"52_CR7","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"52_CR8","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)"},{"key":"52_CR9","doi-asserted-by":"crossref","unstructured":"Popova-Zeugmann, L.: Time and Petri Nets. Springer (2013)","DOI":"10.1007\/978-3-642-41115-1"},{"key":"52_CR10","unstructured":"Proth, J.M., Xie, X.: Petri Nets. Wiley (1996)"},{"key":"52_CR11","volume-title":"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Project MAC Technical Report Mac\u2013TR\u2013120","author":"C Ramchandani","year":"1974","unstructured":"Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Project MAC Technical Report Mac\u2013TR\u2013120. Massachusetts Institute of Technology, Cambridge (1974)"},{"key":"52_CR12","unstructured":"Reisig, W.: Petri Nets\u2014An Introduction (EATCS Monographs on Theoretical Computer Science 4). Springer (1985)"},{"key":"52_CR13","unstructured":"Sifakis, J.: Use of Petri nets for performance evaluation. In: Measuring, Modelling and Evaluating Computer Systems, pp. 75\u201393. North-Holland (1977)"},{"key":"52_CR14","doi-asserted-by":"crossref","unstructured":"Wang, J.: Timed Petri Nets. Kluwer Academic Publ. (1998)","DOI":"10.1007\/978-1-4615-5537-7"},{"issue":"4","key":"52_CR15","first-page":"627","volume":"31","author":"WM Zuberek","year":"1991","unstructured":"Zuberek, W.M.: Timed Petri nets\u2014definitions, properties and applications. Microelectron. Reliab. (Special Issue on Petri Nets and Related Graph Models) 31(4), 627\u2013644 (1991)","journal-title":"Microelectron. Reliab. (Special Issue on Petri Nets and Related Graph Models)"},{"key":"52_CR16","doi-asserted-by":"crossref","unstructured":"Zuberek, W.M.: Siphon-based verification of component compatibility. In: Proceedings of 4-th International Conference on Dependability of Computer Systems (DepCoS-09); Brunow Palace, Poland, pp. 123\u2013132 (2009)","DOI":"10.1109\/DepCoS-RELCOMEX.2009.35"}],"container-title":["Advances in Intelligent Systems and Computing","Dependability Engineering and Complex Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39639-2_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T21:39:31Z","timestamp":1568065171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39639-2_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319396385","9783319396392"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39639-2_52","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}