{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:03:58Z","timestamp":1742097838712,"version":"3.38.0"},"reference-count":3,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1109\/tse.2002.1041048","type":"journal-article","created":{"date-parts":[[2005,4,21]],"date-time":"2005-04-21T20:22:11Z","timestamp":1114114931000},"page":"913-914","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to the special section on petri nets and performance models"],"prefix":"10.1109","volume":"28","author":[{"given":"G.","family":"Ciardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.R.","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/pnpm.2001.953376"},{"volume-title":"Proc. 11th GI\/ITG Conf. Measurement, Modeling and Evaluation of Computer-Communication Systems","author":"Haverkort","key":"ref2"},{"key":"ref3","article-title":"Process Algebra and Probabilistic Methods","volume":"2165","year":"2001","journal-title":"Lecture Notes in Computer Science, L. de Alfaro and S. Gilmore, eds"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/22320\/01041048.pdf?arnumber=1041048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:17:36Z","timestamp":1742015856000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1041048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":3,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tse.2002.1041048","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}