{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T20:32:18Z","timestamp":1675715538547},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1988,1]]},"DOI":"10.1007\/bf00268843","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T07:32:18Z","timestamp":1096443138000},"page":"15-36","source":"Crossref","is-referenced-by-count":6,"title":["Fifo nets without order deadlock"],"prefix":"10.1007","volume":"25","author":[{"given":"Alain","family":"Finkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annie","family":"Choquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00268843_CR1","unstructured":"Best, E., Fernandez, C.: Notations and terminology on Petri nets. Arbeitspapiere der GMD 195, 1986"},{"key":"BF00268843_CR2","series-title":"LRI Repport","volume-title":"Applications of residues for the analysis of parallel systems communicating by fifo channels","author":"A. Choquet","year":"1986","unstructured":"Choquet, A., Finkel, A.: Applications of residues for the analysis of parallel systems communicating by fifo channels. LRI Repport no. 278, Univ. Paris Sud, Orsay, May 1986"},{"key":"BF00268843_CR3","first-page":"7206","volume-title":"Deadlock in Petri nets","author":"F. Commoner","year":"1972","unstructured":"Commoner, F.: Deadlock in Petri nets. Applied Data Research Inc., Wakefield Mass CA, pp. 7206\u20132311, 1972"},{"key":"BF00268843_CR4","unstructured":"Finkel, A.: Deux classes de r\u00e9seaux \u00e0 files: les r\u00e9seaux monog\u00e8nes et les r\u00e9seaux pr\u00e9fixes. Th\u00e8se de 3\u00e8me cycle, LITP Repport no. 83-3, 1982"},{"key":"BF00268843_CR5","unstructured":"Finkel, A.: Boundeness and liveness for monogeneous fifo nets and for free choice fifo nets \u2014 Application to analysis of protocols. LRI Repport no. 205, 1985"},{"key":"BF00268843_CR6","unstructured":"Finkel, A.: Structuration des syst\u00e8mes de transitions: applications au contr\u00f4le du parall\u00e9lisme par files fifo. Th\u00e8se d'Etat, Universit\u00e9 Paris Sud, 1986"},{"key":"BF00268843_CR7","first-page":"154","volume-title":"Lecture Notes of Computer Science, Vol. 188","author":"M. Fl\u00e9","year":"1985","unstructured":"Fl\u00e9, M., Roucairol, G.: Fair serializability of iterated transactions using fifo-nets. Advances in Petri nets. In: Lecture Notes of Computer Science, Vol. 188. Rozenberg, G. (ed.), pp. 154\u2013168. Berlin, Heidelberg, New York, Tokyo: Springer 1985"},{"key":"BF00268843_CR8","unstructured":"Hack, M.: Analysis of production schemata by Petri nets. M.S. Thesis, Dept. Elect. Eng. M.I.T. Camb. Mass. Proj. MAC.MAC.TR 94 (September 1972)"},{"key":"BF00268843_CR9","doi-asserted-by":"crossref","unstructured":"Higman, G.: Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. 2 (1952)","DOI":"10.1112\/plms\/s3-2.1.326"},{"key":"BF00268843_CR10","unstructured":"Jensen, K.: High-level Petri nets. Advanced course on Petri nets, Bad Honnef, 1986"},{"key":"BF00268843_CR11","unstructured":"Kahn, G., Mac Quenn, D.: Coroutines and networks of parallel processes. In: IFIP 77 Inf. Proc. Conf. 1977"},{"key":"BF00268843_CR12","doi-asserted-by":"crossref","unstructured":"Kosaraju, S.R.: Decidability of reachability in vector addition systems. In: Proc. 14th Ann. ACM Symp. Theory Comput. 1982","DOI":"10.1145\/800070.802201"},{"key":"BF00268843_CR13","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E. W. Mayr","year":"1984","unstructured":"Mayr, E.W.: An algorithm for the general Petri net reachability problem. In: SIAM J. Comput. 13, 441\u2013460 (1984)","journal-title":"SIAM J. Comput."},{"key":"BF00268843_CR14","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0304-3975(85)90014-3","volume":"35","author":"G. Memmi","year":"1985","unstructured":"Memmi, G., Finkel, A.: An introduction to fifo nets \u2014 monogeneous nets: a subclass of fifo nets. T.C.S. 35, 191\u2013214 (1985)","journal-title":"T.C.S."},{"key":"BF00268843_CR15","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/BF00289715","volume":"21","author":"R. Valk","year":"1985","unstructured":"Valk, R., Jantzen, M.: The residues of vector sets with applications to decidability problem in Petri nets. Acta Inf. 21, 643\u2013674 (1985)","journal-title":"Acta Inf."},{"key":"BF00268843_CR16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(80)90047-X","volume":"11","author":"B. Vauquelin","year":"1980","unstructured":"Vauquelin, B., Franchi-Zannettaci, P.: Automates \u00e0 files. T.C.S. 11, 221\u2013225 (1980)","journal-title":"T.C.S."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00268843.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00268843\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00268843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:59:31Z","timestamp":1585897171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00268843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1988,1]]}},"alternative-id":["BF00268843"],"URL":"https:\/\/doi.org\/10.1007\/bf00268843","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,1]]}}}