{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T06:05:00Z","timestamp":1777615500316,"version":"3.51.4"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/disrta.2002.1166902","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"159-166","source":"Crossref","is-referenced-by-count":3,"title":["Distributed simulation of timed coloured Petri nets"],"prefix":"10.1109","author":[{"given":"A.","family":"Furfaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Nigro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Pupo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.1999.766160"},{"key":"ref11","article-title":"The definition of Standard ML","author":"milner","year":"1990"},{"key":"ref12","author":"jensen","year":"1996","journal-title":"Design\/CPN A Reference Manual"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"ref14","first-page":"44","article-title":"Generalised Stochastic Petri Nets revisited: random switches and priorities","author":"marsan","year":"1987","journal-title":"Proc Int'l Workshop Petri Nets and Performance Models"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393439"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19990153"},{"key":"ref17","author":"agha","year":"1989","journal-title":"Actors A model for Concurrent Computation in Distributed Systems"},{"key":"ref18","article-title":"The Actor Foundry. University of lliinois","author":"astley","year":"1999"},{"key":"ref19","first-page":"554","article-title":"Space partitioning and speedup in distributed generation of state spaces","author":"zuberek","year":"2001","journal-title":"Proceeding of the European Simulation Multiconference"},{"key":"ref4","first-page":"1992","article-title":"Coloured Petri Nets - Basic concepts, analysis methods and practical use","volume":"1 2 3","author":"jensen","year":"0","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1994.717133"},{"key":"ref6","first-page":"547","article-title":"Agent-based distributed execution of Coloured Petri Nets","author":"fortino","year":"2001","journal-title":"Proc European Simulation Multiconf (ESM 2001)"},{"key":"ref5","first-page":"491","article-title":"Schedulability analysis of real time actor systems using Coloured Petri Nets","volume":"2001","author":"nigro","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"ref8","first-page":"60","article-title":"A time warp mechanism based on temporal uncertainty","volume":"18","author":"beraldi","year":"2001","journal-title":"Transactions of The Society for Modeling and Simulation International"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56863-8_45"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(91)90007-T"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SIMSYM.2002.1000088"},{"key":"ref20","author":"fujimoto","year":"2000","journal-title":"Parallel and Distributed Simulation Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref21","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1989","journal-title":"Proc of the Int Workshop on Parallel and Distributed Algorithms"}],"event":{"name":"Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications","location":"Fort Worth, TX, USA","acronym":"DISRTA-02"},"container-title":["Proceedings. Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8345\/26308\/01166902.pdf?arnumber=1166902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:11:02Z","timestamp":1489443062000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1166902\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/disrta.2002.1166902","relation":{},"subject":[]}}