{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:01Z","timestamp":1725663301186},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:28:18Z","timestamp":1330201698000},"page":"106-132","source":"Crossref","is-referenced-by-count":8,"title":["A survey on the decidability questions for classes of fifo nets"],"prefix":"10.1007","author":[{"given":"A.","family":"Finkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Rosier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"A.V. Aho, J.D. Ullman and M. Yannakakis \"Modelling communications protocols by automata\" in 20th Annual Symp. on Found. of Comp. Sci. (1979).","DOI":"10.1109\/SFCS.1979.23"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"G. Berthelot and R. Terrat \"Petri nets theory for correctness of protocols\" IEEE Trans. on Comm. COM 30 (12), (December 1982).","DOI":"10.1109\/TCOM.1982.1095452"},{"key":"6_CR3","unstructured":"E. Best and C. Fernandez \"Notations and terminology on Petri nets\" Arbeitspapiere der GMD 195, (January 1986)."},{"key":"6_CR4","unstructured":"L. Boasson and M. Nivat \"Centers of languages\" L.N.C.S. No. 104, Springer-Verlag, (1981)."},{"key":"6_CR5","first-page":"361","volume-title":"Finite state description of communication protocols","author":"G. Bochmann","year":"1978","unstructured":"G. Bochmann \"Finite state description of communication protocols\" Proc. Comp. Network Protocols Symp., pp. 361\u2013371, Liege, Belgium, (February 1978)."},{"key":"6_CR6","unstructured":"G. Bochmann \"Principles of protocols conversion and communication gateways\" Report of the Univ. of Montreal, No. 624, (May 1987)."},{"key":"6_CR7","unstructured":"G. Brams \"R\u00e9seaux de Petri: theorie et pratique\" T.1. Edition Masson, (1983)."},{"issue":"2","key":"6_CR8","first-page":"323","volume":"30","author":"D. Brand","year":"1983","unstructured":"D. Brand and P. Zafiropulo \"On communicating finite-state machines\" J.A.C.M., Vol. 30, No. 2, pp. 323\u2013342 (April 1983).","journal-title":"J.A.C.M."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"W. Brauer, W. Reisig and G. Rozenberg (Eds) \"Petri Nets: Central models and their properties\" Advances in Petri Nets 1986, Part. 1, Proceedings of an Advanced course, LNCS No. 254, Bad Honnef, (September 1986).","DOI":"10.1007\/BFb0046832"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"W. Brauer, W. Reisig and G. Rozenberg (Eds) \"Applications and relationships to other models of concurrency\" Advances in Petri Nets 1986, Part. 2, Proceedings of an Advanced course, LNCS No. 255, Bad Honnef, (September 1986).","DOI":"10.1007\/3-540-17906-2"},{"key":"6_CR11","unstructured":"A. Choquet and A. Finkel \"Applications of residues for the analysis of parallel systems communicating by Fifo channels\" Report LRI No. 278, Univ. Paris 11, Orsay, (May 1986)."},{"key":"6_CR12","unstructured":"A. Choquet and A. Finkel \"Simulation of linear fifo nets by Petri nets having a structured set of terminal markings\" Report LRI No 324 (January 1987). Also in 8th European Workshop on Applications and theory of Petri nets, Zaragoza, Spain, (June 1987)."},{"key":"6_CR13","unstructured":"A. Choquet \"Analyse et propri\u00e9t\u00e9s des processus communiquant par files fifo: r\u00e9seaux \u00e0 files \u00e0 choix libre topologique et r\u00e9seaux \u00e0 files lin\u00e9aires\" Th\u00e8se de 3-i\u00e8me cycle, Universit\u00e9 Paris 11, (25th September 1987)."},{"key":"6_CR14","unstructured":"F. Commoner \"Deadlocks in Petri nets\" Applied Data research Inc. Wakefiels Mass. CA 7206-2311 (1972)."},{"key":"6_CR15","unstructured":"A. Finkel \"About monogeneous fifo Petri nets\" 3rd European Workshop on Applications and theory of Petri nets. Varenna, Italy, (27th\u201330th September 1982). Also in Report LITP No. 82-40 (1982)."},{"key":"6_CR16","unstructured":"A. Finkel \"Deux classes de r\u00e9seaux \u00e0 files: les r\u00e9seaux monog\u00e8nes et les r\u00e9seaux pr\u00e9fixes\" Th\u00e8se de 3-\u00e8me cycle, University Paris 7, Report LITP No. 83-3 (October 1982)."},{"key":"6_CR17","unstructured":"A. Finkel and G. Memmi \"Fifo nets: a new model of parallel computation\" Proc. of the 6th G.I. Conf. on Theor. Comp. Sci., RFA, Dortmund, L.N.C.S No. 145, Springer-Verlag, (January 1983)."},{"key":"6_CR18","unstructured":"A. Finkel \"Control of a Petri net by a finite automaton\" 3rd Conf. of Soft. Techn. and Theor. Sci., India, Bangalore, (12th\u201314th December 1983)."},{"key":"6_CR19","unstructured":"A. Finkel \"Boundedness and liveness for monogeneous Fifo nets and for free choice Fifo nets \u2014 Applications to analysis of protocols\" Report LRI, No. 205, (January 1985)."},{"key":"6_CR20","unstructured":"A. Finkel \"Structuration des syst\u00e8mes de transitions: applications au contr\u00f4le du parall\u00e9lisme par files fifo\" Th\u00e8se d'Etat, University Paris 11, (17th June 1986)."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"A. Finkel \"A generalization of the procedure of Karp and Miller to well structured transition systems\" 14th ICALP, Karlsruhe, RFA, (July 1987).","DOI":"10.1007\/3-540-18088-5_43"},{"key":"6_CR22","first-page":"15","volume":"25","author":"A. Finkel","year":"1988","unstructured":"A. Finkel and A. Choquet \"Fifo nets without order deadlock\" Report LRI, No. 356, (1987) and in Acta Informatica 25, pp. 15\u201336, (January 1988).","journal-title":"Fifo nets without order deadlock"},{"key":"6_CR23","unstructured":"A. Finkel \"Specification and validation of communication protocols using fifo nets\". Submitted (January 1988)."},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"M. Fl\u00e9 and G. Roucairol \"Fair serializability of iterated transactions using FIFO-nets\" Advances in Petri nets L.N.C.S. No. 188, Springer-Verlag, (1985).","DOI":"10.1007\/3-540-15204-0_10"},{"issue":"3","key":"6_CR25","first-page":"209","volume":"6","author":"M. Gouda","year":"1987","unstructured":"M. Gouda, E. Gurari, T. Lai and L. Rosier \"On deadlock detection in systems of communicating finite state machines\" Computers and Artificial Intelligence, Vol. 6, No. 3, pp. 209\u2013228. (1987).","journal-title":"Computers and Artificial Intelligence"},{"key":"6_CR26","unstructured":"M. Hack \"Analysis of production schemata by Petri nets\" M.S. Thesis \u2014 Dept. Elect. Eng. M.I.T. Camb. Mass. Proj. MAC.MAC-TR 94 (September 1972)."},{"key":"6_CR27","volume-title":"Decidability questions for Petri nets","author":"M. Hack","year":"1976","unstructured":"M. Hack \"Decidability questions for Petri nets\", MIT, LCS, TR 161, Cambridge, MA, (1976)."},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"G. Higman \"Ordering by divisibility in abstract algebras\" Proc. London Math. Soc. 2 (1952).","DOI":"10.1112\/plms\/s3-2.1.326"},{"issue":"1","key":"6_CR29","first-page":"19","volume":"13","author":"M. Jantzen","year":"1979","unstructured":"M. Jantzen \"On the hierarchy of Petri net languages\" R.A.I.R.O. Vol. 13 No.1 pp. 19\u201330 (1979).","journal-title":"R.A.I.R.O."},{"key":"6_CR30","unstructured":"K. Jensen \"High level Petri nets\" Advances in Petri Nets 1986, Part. 2, Proceedings of an Advanced course, LNCS No. 255, Bad Honnef, (September 1986)."},{"key":"6_CR31","first-page":"147","volume":"3","author":"R. Karp","year":"1969","unstructured":"R. Karp and R. Miller \"Parallel program schemata\" J.C.S.S.: 3 pp. 147\u2013195 (1969).","journal-title":"J.C.S.S."},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"S. Kosaraju \"Decidability of reachability in vector addition systems\" in Proc. 14th Ann. ACM Symp. on Theor. of Comp. (1982).","DOI":"10.1145\/800070.802201"},{"key":"6_CR33","unstructured":"R. Martin and G. Memmi \"Specification and validation of sequential processes communicating by fifo channels\" 4th Int. Conf. on Soft. Eng. for Telecom. Switching Syst. IEE Warwick pp. 54\u201357, (July 1981)."},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"E. Mayr \"An algorithm for the general Petri net reachability problem\" in SIAM J. Comp. Vol. 13 (3) (August 1984).","DOI":"10.1137\/0213029"},{"key":"6_CR35","unstructured":"G. Memmi \"M\u00e9thodes d'analyse de r\u00e9seaux de Petri, r\u00e9seaux \u00e0 files, et applications aux syst\u00e8mes temps-r\u00e9el\" Th\u00e8se d'Etat, University Paris 6, (June 1983)."},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"G. Memmi and A. Finkel \"An introduction to Fifo nets \u2014 monogeneous nets: a subclass of Fifo nets\" T.C.S. 35 (1985).","DOI":"10.1016\/0304-3975(85)90014-3"},{"key":"6_CR37","unstructured":"G. Memmi and J. Vautherin \"Analysing nets by the invariant method\" in \"Applications and relationships to other models of concurrency\" Advances in Petri Nets 1986, Part. 2, Proceedings of an Advanced course, LNCS 255, Brauer (Eds), Bad Honnef, (September 1986)."},{"key":"6_CR38","unstructured":"J. Peterson \"Petri net theory and the modelling of systems\" Prentice-Hall, (1981)."},{"key":"6_CR39","unstructured":"J. Peterson and A. Silberschatz \"Operating system concepts\" Addison-Wesley (1985)."},{"key":"6_CR40","unstructured":"C. A. Petri \"Concepts on Net Theory\" M. F. C. S. Proceedings of Symp. and Summer school, High Tatras pp. 137\u2013148 (1973)."},{"key":"6_CR41","unstructured":"C. A. Petri \"Concurrency theory\" in \"Petri Nets: Central models and their properties\" Advances in Petri Nets 1986, Part. 1, Proceedings of an Advanced course, LNCS No. 254, Bad Honnef, (September 1986)."},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"W. Reisig \"Petri nets\", Springer-Verlag, (1985).","DOI":"10.1007\/978-3-642-69968-9"},{"key":"6_CR43","unstructured":"L. Rosier and M. Gouda \"On deciding progress for a class of communicating protocols\" Proceed. of the 8th Ann. Conf. on Inf. Sci. and Syst. Princeton Univ. pp. 663\u2013667 (1984)."},{"key":"6_CR44","first-page":"69","volume":"44","author":"L. Rosier","year":"1986","unstructured":"L. Rosier and H. Yen \"Boundedness, empty channel detection, and synchronisation for communicating finite automata\" T.C.S. 44 pp. 69\u2013105 (1986).","journal-title":"T.C.S."},{"key":"6_CR45","unstructured":"G. Roucairol \"FIFO Nets\" in \"Petri Nets: Central models and their properties\" Advances in Petri Nets 1986, Part. 1, Proceedings of an Advanced course, LNCS No. 254, Bad Honnef, (September 1986)."},{"key":"6_CR46","unstructured":"B. Sarikaya and G. Bochmann (Editors) \"Protocol Specification, Testing, and Verification, 6\", IFIP 86, Noth Holland (1987)."},{"key":"6_CR47","unstructured":"P. Starke \"Monogeneous Fifo nets and Petri nets are equivalent\" Bulletin of EATCS 21 (1983)."},{"key":"6_CR48","doi-asserted-by":"crossref","unstructured":"R. Valk and M. Jantzen \"The residue of vector sets with applications to decidability problems in Petri nets\" Acta Informatica 21 (1985).","DOI":"10.1007\/BF00289715"},{"issue":"3","key":"6_CR49","first-page":"229","volume":"23","author":"R. Valk","year":"1981","unstructured":"R. Valk and G. Vidal-Naquet \"Petri nets and regular languages\" J.C.S.S. 23 (3) pp. 229\u2013325 (1981).","journal-title":"J.C.S.S."},{"key":"6_CR50","doi-asserted-by":"crossref","unstructured":"B. Vauquelin and P. Franchi-Zannettacci \"Automates \u00e0 files\" T.C.S. 11 (1980).","DOI":"10.1016\/0304-3975(80)90047-X"},{"key":"6_CR51","unstructured":"G. Vidal-Naquet \"Rationalit\u00e9 et d\u00e9terminisme dans les r\u00e9seaux de Petri\" Th\u00e8se d'Etat University Paris 6, (April 1981)."},{"issue":"4","key":"6_CR52","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"COM-28","author":"P. Zafiropulo","year":"1980","unstructured":"P. Zafiropulo and AL Zafiropulo \"Towards analyzing and synthesizing protocols\" IEEE Trans. on Comm., Vol. COM-28, No. 4, pp. 651\u2013661, (April 1980).","journal-title":"IEEE Trans. on Comm."},{"key":"6_CR53","unstructured":"Z. Zhao and G. Bochmann \"Reduced reachability analysis of communication protocols: a new appproach\" Report of the Univ. of Montr\u00e9al, No. 570, Canada, (July 1986) also in IFIP 6, North Holland (1987)."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:29Z","timestamp":1605647909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}