{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:44:20Z","timestamp":1752461060003},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:17:22Z","timestamp":1330175842000},"page":"62-82","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Modelling scheduling problems with timed petri nets"],"prefix":"10.1007","author":[{"given":"J.","family":"Carlier","sequence":"first","affiliation":[]},{"given":"Ph.","family":"Chretienne","sequence":"additional","affiliation":[]},{"given":"C.","family":"Girault","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1287\/opre.26.1.141","volume":"26","author":"H. M. Abdel-Wahab","year":"1978","unstructured":"ABDEL-WAHAB, H.M., KAMEDA, T. \"Scheduling to minimize maximum cumulative cost subject to series-parallel precedence constraints\" Operations Res. 26, 141\u2013158, 1978.","journal-title":"Operations Res."},{"key":"5_CR2","unstructured":"BERTHOMIEU, B., MENASCHE, M. \"A state enumeration approach for analyzing time Petri nets\" 3rd european workshop on application and theory of Petri nets, VARENNA, sept. 1982."},{"key":"5_CR3","unstructured":"BRAMS, G.W. \"R\u00e9seaux de Petri: th\u00e9orie et pratique\" Tome 1: Th\u00e9orie et Analyse (Masson 1981)."},{"key":"5_CR4","unstructured":"BRAUER, W. (Editor) \"Advanced course on general net theory of processes and systems, HAMBURG, october 1979 Lecture notes in Computer Science, n\u00b084, Springer Verlag, 1980."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"CARLIER, J., CHRETIENNE, Ph. \"Un domaine tr\u00e8s ouvert: les probl\u00e8mes d'ordonnancement\" RAIRO, recherche op\u00e9rationnelle, n\u00b03, ao\u00fbt 1982.","DOI":"10.1051\/ro\/1982160301751"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"CARLIER, J., RINNOOY-KAN, A.H.G. \"Financing and scheduling\" Operations Research Letters, 1, 1982.","DOI":"10.1016\/0167-6377(82)90045-1"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"CARLIER, J. \"Le probl\u00e8me de l'ordonnancement des paiements de dettes\" RAIRO, s\u00e9rie verte, n\u00b01, f\u00e9vrier 1984.","DOI":"10.1051\/ro\/1984180100431"},{"key":"5_CR8","unstructured":"CHRETIENNE, Ph. \"Th\u00e8se d'Etat: Les r\u00e9seaux de Petri temporis\u00e9s\" Universit\u00e9 Paris VI, juin 1983."},{"key":"5_CR9","unstructured":"CHRETIENNE, Ph. \"Some results on the control of timed Petri nets\" 2nd european workshop on theory and application of Petri-nets. BAD-HONNEF, septembre 1981."},{"key":"5_CR10","unstructured":"CHRETIENNE, Ph. \"Timed event graphs: behaviour analysis and a study of the reachability relation\" C.I.S.S. 83, John Hopkins University, BALTIMORE, mars 1983."},{"key":"5_CR11","unstructured":"COFFMAN, E.G. \"Computer and job-shop scheduling theory\" John Wiley and Sons, 1976."},{"key":"5_CR12","unstructured":"GAREY, M.R., JOHNSON, D.S. \"Computers and intractability\" W.H. Freeman and Company, 1978."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"GRAHAM, R.L., LAWLER, E.L., LENSTRA, J.K., RINNOOY KAN, A.H.G. \"Optimization and approximation in deterministic sequencing and scheduling: a survey\" Ann Discrete Math., 1979.","DOI":"10.1016\/S0167-5060(08)70356-X"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"HOLT, A., COMMONER, F., EVEN, S., PNUELI, A. \"Marked directed graphs\" Journal of computer and system sciences, vol.5, n\u00b05, oct. 1971.","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"5_CR15","unstructured":"MERLIN, P. \"A study of the recoverability of computer systems\" Ph. D. thesis, University of California, IRVINE Computer Science."},{"key":"5_CR16","unstructured":"PETERSON, J. \"Petri-net theory and the modelling of systems\" Prentice-Hall, 1981."},{"key":"5_CR17","unstructured":"RAMCHANDANI, C. \"Analysis of asynchronous concurrent systems by timed Petri nets\" Ph. D. thesis, M.I.T., CAMBRIDGE, Mass. Projet MAC. MAC-TRI20, Feb. 1974."},{"key":"5_CR18","unstructured":"ROY, B. \"Alg\u00e8bre moderne et th\u00e9orie des graphes\" Tome 2, Dunod, 1970."},{"key":"5_CR19","unstructured":"SIFAKIS, J. \"Le contr\u00f4le des syst\u00e8mes asynchrones: concepts, priorit\u00e9s, analyse statique\" Th\u00e8se d'Etat, Universit\u00e9 scientifique et m\u00e9dicale de Grenoble, juin 1979."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T20:34:10Z","timestamp":1640896450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}