{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:55:13Z","timestamp":1772121313129,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/mascot.2002.1167080","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"217-221","source":"Crossref","is-referenced-by-count":16,"title":["Performance analysis using coloured Petri nets"],"prefix":"10.1109","author":[{"given":"L.","family":"Wells","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"kelton","year":"2002","journal-title":"Simulation With Arena"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050021"},{"key":"ref12","author":"law","year":"2000","journal-title":"Simulation Modeling & Analysis"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811326"},{"key":"ref14","year":"0","journal-title":"Petri nets tool database"},{"key":"ref15","article-title":"Modelling and the initial analysis of the Resource Reservation Protocol using coloured Petri nets","author":"villapol","year":"2000","journal-title":"Proceedings of the Workshop on Practical Use of High-Level Petri Nets DAIMI PB-547"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953356"},{"key":"ref4","first-page":"297","article-title":"Analysis of Usage Parameter Control algorithms for ATM networks","author":"clausen","year":"1994","journal-title":"Broadband Communications II (C-24)"},{"key":"ref3","first-page":"209","article-title":"Design\/CPN – a computer tool for coloured Petri nets","volume":"1217","author":"christensen","year":"1997","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems – TACAS'97"},{"key":"ref6","year":"0"},{"key":"ref5","year":"0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_13"},{"key":"ref7","year":"0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393444"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44667-2_5"},{"key":"ref9","article-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","volume":"1","author":"jensen","year":"1997","journal-title":"Basic Concepts"}],"event":{"name":"10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems. MASCOTS 2002","location":"Fort Worth, TX, USA","acronym":"MASCOT-02"},"container-title":["Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8349\/26312\/01167080.pdf?arnumber=1167080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:30:31Z","timestamp":1489444231000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1167080\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/mascot.2002.1167080","relation":{},"subject":[]}}