{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T15:17:14Z","timestamp":1726154234973},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556763"},{"type":"electronic","value":"9783540472704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55676-1_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:30:25Z","timestamp":1330252225000},"page":"93-112","source":"Crossref","is-referenced-by-count":5,"title":["Scheduling hard real time systems using high-level Petri nets"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Bruno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Castella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianpaolo","family":"Macario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco P.","family":"Pescarmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"J. Xu and D.L. Parnas. Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Transactions on Software Engineering, vol. 16, March 1990.","DOI":"10.1109\/32.48943"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"A.D. Stoyenko, V.C. Hamacher, and R.C. Holt. Analyzing hard-real-time programs for guaranteed schedulability. IEEE Transactions on Software Engineering, vol. 17, August 1991.","DOI":"10.1109\/32.83911"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"M. Baldassari and G. Bruno. PROTOB: an object oriented methodology for developing discrete event dynamic systems. Comp. Lang., vol. 16, January 1991.","DOI":"10.1016\/0096-0551(91)90016-3"},{"key":"6_CR4","unstructured":"C. Ramachandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, Massachussets Inst. Technol., 1974."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"P. Merlin and D.J. Faber. Recoverability of communications protocols. IEEE Trans. Comm., vol. 24, September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, vol. 17, March 1991.","DOI":"10.1109\/32.75415"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"R.S. Chin and S.T. Chanson. Distributed object-based programming systems. Computing Surveys, vol. 23, March 1991.","DOI":"10.1145\/103162.103165"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"M. Baldassari and G. Bruno. A methodology and environment for the object oriented analysis and design of real time systems. In EUROMICRO'90 workshop on real time, 1990.","DOI":"10.1109\/EMWRT.1990.128231"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"K.B. Kenny and K.-J. Lin. Measuring and analyzing real-time performance. IEEE Software, September 1991.","DOI":"10.1109\/52.84215"},{"key":"6_CR10","volume-title":"Technical Report 69\/91","author":"G. Bruno","year":"1991","unstructured":"G. Bruno, A. Castella, and M.P. Pescarmona. Object-driven process scheduling of hard real time systems. Technical Report 69\/91, Dip. Automatica e Informatica, Politecnico di Torino, Torino, 1991."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55676-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:01:12Z","timestamp":1605646872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55676-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556763","9783540472704"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55676-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}