{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:39:45Z","timestamp":1770273585814,"version":"3.49.0"},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/emrts.2003.1212753","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"279-286","source":"Crossref","is-referenced-by-count":23,"title":["Modeling flexible real time systems with preemptive time Petri nets"],"prefix":"10.1109","author":[{"given":"G.","family":"Bucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Fedeli","sequence":"additional","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":"19","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"17","article-title":"Scheduling periodic jobs that allow imprecise results","author":"jay","year":"1990","journal-title":"IEEE Transactions on Computers"},{"key":"18","article-title":"Building flexible real-time system using the flex language","author":"jay","year":"1991","journal-title":"IEEE Computer"},{"key":"15","article-title":"Algoritms for scheduling imprecise computations with timing constraints to minimize maximum error","author":"liu","year":"1995","journal-title":"IEEE Transactions on Computers"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015346419267"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1145\/356698.356702","article-title":"Petri nets","volume":"9","author":"peterson","year":"1977","journal-title":"ACM Computing Surveys"},{"key":"14","article-title":"Algoritms for scheduling realtime tasks with input error and end-to-end deadliness","author":"liu","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008047130023"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.259433"},{"key":"21","article-title":"Expressing and maintaining constraints with flex","author":"natarajan","year":"0","journal-title":"Real-Time Symposium 1988"},{"key":"20","article-title":"Elastic scheduling for flexible workload management","author":"caccamo","year":"2002","journal-title":"IEEE Transactions on Computers"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018938205540"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"2","first-page":"232","article-title":"UPPAAL - A tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1995","journal-title":"Hybrid Systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/32.489073"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1993.393520"},{"key":"7","article-title":"Timing assumptions and verification of finite-state concurrent systems","author":"dill","year":"0","journal-title":"Workshop on Computer Aided Verification Methods for Finite State Systems 1989"},{"key":"6","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","article-title":"The tool KRONOS","volume":"1066","author":"daws","year":"1995","journal-title":"Hybrid Systems III Verification and Control"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.825765"},{"key":"4","first-page":"41","article-title":"ENUMERATIVE APPROACH FOR ANALYZING TIME PETRI NETS","volume":"9","author":"berthomieu","year":"1983","journal-title":"IFIP Congress Series"},{"key":"9","article-title":"Timed state space analysis of fixed priority preemptive systems","author":"bucci","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1109\/32.940727","article-title":"Static analysis and dynamic steering of time dependent systems using time petri nets","author":"vicario","year":"2001","journal-title":"IEEE Trans Soft Eng"}],"event":{"name":"15th Euromicro Conference on Real-Time Systems. ECRTS 2003","location":"Porto, Portugal","acronym":"EMRTS-03"},"container-title":["15th Euromicro Conference on Real-Time Systems, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8607\/27274\/01212753.pdf?arnumber=1212753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:18:21Z","timestamp":1497583101000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1212753\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/emrts.2003.1212753","relation":{},"subject":[]}}