{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T12:38:01Z","timestamp":1773405481776,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540100010","type":"print"},{"value":"9783540393221","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:04Z","timestamp":1330189084000},"page":"307-319","source":"Crossref","is-referenced-by-count":49,"title":["Performance evaluation of systems using nets"],"prefix":"10.1007","author":[{"given":"J.","family":"Sifakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"10_CR1","unstructured":"RAMCHANDANI C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, M.I.T., september 1973."},{"key":"10_CR2","unstructured":"SIFAKIS J.: Use of Petri nets for performance evaluation. in Measuring Modelling and Evaluating Computer systems, eds H.Beilner and E.Gelenbe, pp. 75\/93, North-Holland Publ.Co., 1977."},{"key":"10_CR3","unstructured":"MERLIN Ph.M. and FARBER D.J.: Recoverability of communication protocols, Implications of a theoretical study. IEEE Trans. on Comm., pp. 1036\/1043, september 1976."},{"key":"10_CR4","unstructured":"HAN Y.M.: Performance evaluation of a digital system using a Petri net-like approach. Proc. National Electronics Conf., pp. 166\/172, Chicago, 1978."}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:33:00Z","timestamp":1619555580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980]]}}}