{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:00:19Z","timestamp":1742385619448,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pnpm.2003.1231550","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"134-143","source":"Crossref","is-referenced-by-count":4,"title":["A discrete time model for performance evaluation and correctness verification of real time systems"],"prefix":"10.1109","author":[{"given":"G.","family":"Bucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Sassoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995673"},{"journal-title":"Matrix-Geometric Solutions in Stochastic Models","year":"1981","author":"neuts","key":"ref33"},{"key":"ref32","article-title":"Expressing and maintaining constraints with flex","author":"natarajan","year":"1988","journal-title":"Real-Time Symposium"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232230"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"journal-title":"Network Flows","year":"1993","author":"ahuja","key":"ref36"},{"key":"ref35","first-page":"407","article-title":"Action versus state based logics for transition systems","author":"nicola","year":"1990","journal-title":"Proceedings LITP Spring School on Theoretical Computer Science"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BF01721011"},{"key":"ref10","article-title":"Timed state space analysis of fixed priority preemptive systems","author":"bucci","year":"2002","journal-title":"Technical report Dip Sistemi e Informatica"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2003.1193940"},{"key":"ref12","article-title":"Performance evaluation and correctness verification of flexible real time systems","author":"bucci","year":"2002","journal-title":"Submitted to 15th Euromicro Conference on Real-Time Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.489073"},{"journal-title":"Sistemas de Tempo Real","year":"1995","author":"buttazzo","key":"ref14"},{"key":"ref15","article-title":"Transient analysis of deterministic and stochastic petri nets","author":"choi","year":"1993","journal-title":"Proceedings of the 14-th International Conference on Application and theory of Petri Nets"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90021-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2241-6_20"},{"key":"ref18","first-page":"142","article-title":"SPNP: stochastic petri net package","author":"ciardo","year":"1989","journal-title":"the Third International Workshop on Petri Nets and Performance Models PNPM89"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.1996.501031"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18086-9_23","article-title":"On petri nets with deterministic and exponentially distributed firing times","volume":"266","author":"marsan","year":"1987","journal-title":"Lecture Notes in Computer Science"},{"key":"ref4","article-title":"Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis","volume":"52","author":"bobbio","year":"2001","journal-title":"Electronic Notes Theoret Comput Sci"},{"key":"ref27","article-title":"A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems","author":"marsan","year":"1984","journal-title":"ACM Trans on Comp Sys"},{"key":"ref3","first-page":"41","article-title":"An enumerative approach for analyzing time Petri nets","volume":"9","author":"berthomieu","year":"1983","journal-title":"Information Processing proceedings of the IFIP congress 1983"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.825765"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1997.595538"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/15326349408807315"},{"key":"ref7","first-page":"52","article-title":"Kronecker representation of stochastic petri nets with discrete PH distributions","author":"bobbio","year":"1998","journal-title":"Proc 3rd IEEE Annual Int Computer Performance and Dependability Symposium (IPDS'98)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1995.395811"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BFb0031988","article-title":"Logics and models of real time: a survey","volume":"600","author":"alur","year":"1992","journal-title":"Real Time Theory in Practice Lecture Notes in Computer Science"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1995.524320"},{"key":"ref21","first-page":"97","article-title":"Strategic directions in computing research - concurrency working group report","volume":"60","author":"cleaveland","year":"1996","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46506-5_17","article-title":"Stochastic modeling formalisms for dependability, performance and per-formability","author":"goseva","year":"2000","journal-title":"Performance Evaluation - Origins and Directions"},{"key":"ref26","article-title":"A fast mutual exclusion protocol","author":"lamport","year":"1986","journal-title":"ACM Trans on Computer Systems"},{"key":"ref25","article-title":"Building flexible real-time system using the flex language","author":"jay","year":"1991","journal-title":"IEEE Computer"}],"event":{"name":"10th International Workshop on Petri Nets and Performance Models, 2003.","location":"Urbana, Illinois, USA"},"container-title":["10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8718\/27591\/01231550.pdf?arnumber=1231550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:16:11Z","timestamp":1497586571000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1231550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/pnpm.2003.1231550","relation":{},"subject":[]}}