{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:06:25Z","timestamp":1754161585747,"version":"3.41.2"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1023\/a:1015673516542","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T19:22:22Z","timestamp":1041103342000},"page":"311-333","source":"Crossref","is-referenced-by-count":10,"title":["Off-Line Computation of Real-Time Schedules Using Petri Nets"],"prefix":"10.1007","volume":"12","author":[{"given":"E.","family":"Grolleau","sequence":"first","affiliation":[]},{"given":"A.","family":"Choquet-Geniet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"406980_CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1002\/nav.3800210112","volume":"21","author":"K. Baker","year":"1974","unstructured":"Baker, K., and Su, Z. 1974. Sequencing with due-dates and early start times to minimize maximum tardiness. Naval Research Logistic Quarterly 21: 171-176.","journal-title":"Naval Research Logistic Quarterly"},{"key":"406980_CR2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF00365393","volume":"3","author":"T. Baker","year":"1991","unstructured":"Baker, T. 1991. Stack-based scheduling of real-time processes. The Journal of Real-Time Systems 3: 67-99.","journal-title":"The Journal of Real-Time Systems"},{"key":"406980_CR3","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01995675","volume":"2","author":"S. Baruah","year":"1990","unstructured":"Baruah, S., Rosier, L., and Howell, R. 1990. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Systems 2: 301-324.","journal-title":"Real-Time Systems"},{"issue":"3","key":"406980_CR4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., and Diaz, M. 1991. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering 17(3): 259-273.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"406980_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/nav.3800220113","volume":"22","author":"P. Bratley","year":"1975","unstructured":"Bratley, P., Florian, M., and Robillard, P. 1975. Scheduling with earliest start and due date constraints on multiple machines. Naval Research Logistic Quarterly 22(1): 165-173.","journal-title":"Naval Research Logistic Quarterly"},{"key":"406980_CR6","unstructured":"Buttazzo, G. 1997. Hard real-time computing systems. Kluwer Academic Publishers."},{"issue":"4","key":"406980_CR7","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF01995676","volume":"2","author":"M. Chen","year":"1990","unstructured":"Chen, M., and Lin, K. 1990. Dynamic priority ceilings: A concurrency control protocol for real-time systems. Real-Time Systems 2(4): 325-346.","journal-title":"Real-Time Systems"},{"key":"406980_CR8","unstructured":"Grolleau, E. 1999. Ordonnancement temps r\u00e9el hors-ligne optimal \u00e0 laide de r\u00e9seaux de Petri en environnement monoprocesseur et multiprocesseur. Ph.D. thesis, ENSMA-Universite de Poitiers."},{"key":"406980_CR9","unstructured":"Joseph, M. C. 1996. Real-time systems, specification, verification and analysis. Prentice Hall."},{"issue":"1","key":"406980_CR10","first-page":"59","volume":"1","author":"C. Kaiser","year":"1982","unstructured":"Kaiser, C. 1982. Exclusion mutuelle et ordonnancement par priorit\u00e9. Technique et Science Informatiques 1(1): 59-68.","journal-title":"Technique et Science Informatiques"},{"issue":"3","key":"406980_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(80)90123-4","volume":"11","author":"J. Leung","year":"1980","unstructured":"Leung, J., and Merrill, M. 1980. A note on preemptive scheduling of periodic real-time tasks. Information Processing Letters 11(3): 115-118.","journal-title":"Information Processing Letters"},{"issue":"1","key":"406980_CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C., and Layland, J. 1973. Scheduling algorithms for multiprogramming in real-time environment. Journal of the ACM 20(1): 46-61.","journal-title":"Journal of the ACM"},{"key":"406980_CR13","unstructured":"Menasche, M., and Berthomieu, B. 1983. Time Petri nets for analyzing and verifying time dependent communication protocols. In H. R. West and C.H. (eds): Protocol Specification, Testing, and Verification, IFIP, 3: 161-172."},{"key":"406980_CR14","doi-asserted-by":"crossref","unstructured":"Merlin, P., and Farber, D. 1976. Recoverability of communication protocols\u2014Implications of a theoretical study. IEEE Transactions on Communications 1036-1043.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"406980_CR15","unstructured":"Mok, A. 1983. Fundamental design problems of distributed systems for the hard real-time environment. Ph.D. thesis, Massachussets Institute of Technologie."},{"key":"406980_CR16","unstructured":"Mok, A., and Dertouzos, M. 1978. Multiprocessor scheduling in a hard real-time environment. In: 7th Texas Conference on Computer Systems 5.1-5.12."},{"key":"406980_CR17","unstructured":"Monnier, Y., Beauvais, J., and Deplanche, A.-M. 1998. A genetic algorithm for scheduling tasks in a real-time distributed system. In: 24th Euromicro Conference. Vasteras, Sweden."},{"issue":"3","key":"406980_CR18","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"17","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. of the IEEE 17(3): 541-580.","journal-title":"Proc. of the IEEE"},{"key":"406980_CR19","unstructured":"Peterson, J. 1981. Petri nets theory and the modeling of systems. Prentice-Hall."},{"key":"406980_CR20","unstructured":"Petri, C. 1962. Kommunikation mit automaten. Ph.D. thesis, Bonn Institut fur Instrumentelle Mathematik."},{"key":"406980_CR21","unstructured":"Ramchandani, C. 1974. Analysis of asynchronous concurrent systems by timed Petri nets. Ph.D., MIT."},{"issue":"9","key":"406980_CR22","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., and Lehoczky, J. 1990. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers 39(9): 1175-1185.","journal-title":"IEEE Transactions on Computers"},{"issue":"10","key":"406980_CR23","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J. Stankovic","year":"1988","unstructured":"Stankovic, J. 1988. Misconceptions about real-time computing. Computer 21(10): 10-19.","journal-title":"Computer"},{"key":"406980_CR24","doi-asserted-by":"crossref","unstructured":"Stankovic, J., Spuri, M. Ramamritham, K., and Buttazzo, G. 1998. Deadline scheduling for real-time systems. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4615-5535-3"},{"key":"406980_CR25","doi-asserted-by":"crossref","unstructured":"Starke, P. 1990. Some properties of timed nets under the earliest firing rule. Advances in Petri nets 1989, Venice in Lecture Notes in Computer Science 424: 418-432.","DOI":"10.1007\/3-540-52494-0_39"},{"issue":"1","key":"406980_CR26","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/32.341845","volume":"21","author":"J. Tsai","year":"1995","unstructured":"Tsai, J., Yang, S., and Chang, Y.-H. 1995. Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications. IEEE Transactions on Software Engineering 21(1): 32-49.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"406980_CR27","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/0022-0000(81)90067-2","volume":"23","author":"R. Valk","year":"1981","unstructured":"Valk, R., and Vidal-Naquet, G. 1981. Petri nets and regular languages. Journal of Computer and System Sciences 23(3): 399-325.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"406980_CR28","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/32.48943","volume":"16","author":"J. Xu","year":"1990","unstructured":"Xu, J., and Parnas, D. 1990. Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Transactions on Software Engineering 16(3): 360-369.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"406980_CR29","unstructured":"Zamorano, J., Alonso, A., and Puente, J. D. L. 1997. Automatic generation of cyclic schedules. In WRTP'97, 22nd IFACIFIP Workshop on Real-Time Programming. Elsevier Science, 145-151."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015673516542.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015673516542\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015673516542.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:04:00Z","timestamp":1753761840000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015673516542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["406980"],"URL":"https:\/\/doi.org\/10.1023\/a:1015673516542","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}