{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:50Z","timestamp":1725663290341},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:27:30Z","timestamp":1330183650000},"page":"227-248","source":"Crossref","is-referenced-by-count":1,"title":["Infinitary partial Petri net languages and their relationship to other Petri net semantics"],"prefix":"10.1007","author":[{"given":"Astrid","family":"Kiehn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Best, E.: Fairness and Conspiracies, Information Processing Letters 18 (1984)","DOI":"10.1016\/0020-0190(84)90114-5"},{"key":"11_CR2","unstructured":"Best, E.; Devillers, R: Sequential and Concurrent Behaviour in Petri Net Theory, to appear in TCS"},{"key":"11_CR3","unstructured":"Best, E.; Fern\u00e1ndez, C.; Pl\u00fcnnecke, H.: Concurrent Systems and Processes, GMD-Studien Nr. 104 (1985)"},{"key":"11_CR4","unstructured":"Carstensen, H.: Fairness bei nebenl\u00e4ufigen Systemen, Dissertation, Universit\u00e4t Hamburg (1986)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Carstensen, H.; Valk, R.: Infinite Behaviour and Fairness in Petri Nets, LNCS 188 (1985)","DOI":"10.1007\/3-540-15204-0_6"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez,C; Nielsen,M; Thiagarajan, P.S.: Notions of Realizable Non-Sequential Processes, University of Aarhus, DAIMI PB-205(1986)","DOI":"10.7146\/dpb.v15i205.7556"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Goltz, U.; Reisig, W.: The Non-Sequential Behaviour of Petri Nets, Information and Control, Vol. 57, Nr. 2\u20133 (1983)","DOI":"10.1016\/S0019-9958(83)80040-0"},{"key":"11_CR8","unstructured":"Grabowski, J.: On Partial Languages, Preprint No 40\/79, Sektion Mathematik, Humboldt-Universit\u00e4t Berlin (1979)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Grabowski, J.: On Partial Languages, Annales Societatis Mathematicae Polonae, Serie IV, Fundamenta Informaticae IV.2. (1981)","DOI":"10.3233\/FI-1981-4210"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hoogeboom, H. J.; Rozenberg, G.: Infinitary Languages: Basic Theory and Applications to Concurrent Systems, in: de Bakker, J. W.; de Roever, W.-P.; Rozenberg, G.: Current Trends in Concurrency, LNCS 224 (1986)","DOI":"10.1007\/BFb0027043"},{"key":"11_CR11","unstructured":"Kiehn, A.: On the Inteerelation between Synchronized and Non-synchronized Behaviour of Petri Nets, to appear in EIK"},{"key":"11_CR12","volume-title":"On the Concurrent Behaviour of Petri Nets","author":"A. Kiehn","year":"1986","unstructured":"Kiehn, A.: On the Concurrent Behaviour of Petri Nets, Universit\u00e4t Hamburg, FB Informatik, Bericht Nr. 120 (1986)"},{"key":"11_CR13","unstructured":"Kiehn, A.: Infinitary partial Petri net languages and their relationship to other Petri net semantics, Technische Universit\u00e4t M\u00fcnchen, Bericht Nr. 8705 (1987)."},{"key":"11_CR14","volume-title":"Theorie der endlichen und unendlichen Graphen","author":"D. K\u00f6nig","year":"1935","unstructured":"K\u00f6nig, D.: Theorie der endlichen und unendlichen Graphen, Chelsea Publishing Company, New York (1935)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Lehmann D., Pnueli A., Stavi J., Impartiality, Justice and Fairness: The Ethics of Concurrent Termination, in: Even&Kairir (ed.), Proc. ICALP(1981), LNCS 115 (1981)","DOI":"10.1007\/3-540-10843-2_22"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Merceron, A.: Fair Processes, 7th European Workshop on Application and Theory of Petri Nets, Oxford (1986)","DOI":"10.1007\/3-540-18086-9_26"},{"key":"11_CR17","unstructured":"Mazurkiewicz, A.: Complete Processes and Inevitability, University of Leiden, Report No. 86-06 (1986)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Nielsen, M.; Plotkin, G.; Winskel, G.: Petri Nets, Event Structures and Domains, TCS 13 (1981)","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"11_CR19","unstructured":"Nivat, M.: On the Synchronization of Processes, INRIA Rap. No. 3 (1980)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: On the Composition of Processes, Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages, (1982)","DOI":"10.1145\/582153.582177"},{"key":"11_CR21","unstructured":"Pratt, V.R.: Modelling Concurrency with Partial Orders, Journal of Parallel Programming Vol. 15, No. 1, (1986)"},{"key":"11_CR22","unstructured":"Reisig, W.: Petri Nets, EATCS Monographs on Theoretical Computer Science, Springer-Verlag (1985)"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Reisig, W.: On the Semantics of Petri Nets, Formel Models in Programming, IFIP (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Rozenberg,G.; Verraedt, R.: Subset Languages of Petri Nets, TCS 26 (Part 1) and TCS 27 (Part 2) (1983)","DOI":"10.1016\/0304-3975(83)90094-4"},{"key":"11_CR25","unstructured":"Staiger, L.: Research in the Theory of \u03c9-Languages, EIK 23 (1987)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Starke, P.: Processes in Petri Nets, LNCS 117 (1981)","DOI":"10.1007\/3-540-10854-8_39"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Starke,P.: Processes in Petri Nets, EIK 17, (1981)","DOI":"10.1007\/3-540-10854-8_39"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Valk,R.: Infinite Behaviour of Petri Nets, TCS 25 (1983).","DOI":"10.1016\/0304-3975(83)90115-9"}],"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_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:37:42Z","timestamp":1640900262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}