{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:04Z","timestamp":1725663664800},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_97","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:48:40Z","timestamp":1330210120000},"page":"317-331","source":"Crossref","is-referenced-by-count":22,"title":["Invariant semantics of nets with inhibitor arcs"],"prefix":"10.1007","author":[{"given":"Ryszard","family":"Janicki","sequence":"first","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"IJ. Aalbersberg","year":"1988","unstructured":"Aalbersberg IJ., Rozenberg G., Theory of Traces, Theoretical Computer Science, 60 (1988), pp. 1\u201382.","journal-title":"Theoretical Computer Science"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best E., Devillers R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoretical Computer Science, 55 (1987), pp.87\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"23_CR3","unstructured":"Best E., Koutny M., Petri Net Semantics of Priority Systems, to appear in Theoretical Computer Science."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00290705","volume":"24","author":"R. Janicki","year":"1987","unstructured":"Janicki R., A Formal Semantics for Concurrent Systems with a Priority Relation, Acta Informatica 24, 1987, pp.33\u201355.","journal-title":"Acta Informatica"},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-51285-3_34","volume":"366","author":"R. Janicki","year":"1989","unstructured":"Janicki R., Koutny M., Towards a Theory of Simulation for Verification of Concurrent Systems, in: PARLE'89, E. Odijk, M. Rem, J.-C. Syre (Eds.), Lecture Notes in Computer Science, vol.366, 73\u201388, 1989.","journal-title":"Lecture Notes in Computer Science"},{"key":"23_CR7","unstructured":"Janicki R., Koutny M., A Bottom-Top Approach to Concurrency Theory Part I: Observations, Invariants and Paradigms, Technical Report 90-04, McMaster University, 1990."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Janicki R., Koutny M., Invariants and Paradigms of Concurrency Theory, Proc. of Parle'91, Lecture Notes in Computer Science, to appear, 1991.","DOI":"10.1007\/3-540-54152-7_58"},{"key":"23_CR9","unstructured":"Janicki R., Koutny M., Structure of Concurrency, Proc. of the AMAST Conference, Iowa City, May 1991."},{"key":"23_CR10","unstructured":"Janicki R., Koutny M., Relational Structure Semantics of Concurrent Systems, to appear in the Proc. of 13th IMACS Congress on Computation and Applied Mathematics, Dublin, July 1991."},{"key":"23_CR11","unstructured":"Janicki R., Lauer P.E., On the Semantics of Priority Systems, 17th Annual International Conference on Parallel Processing, Vol. 2, pp. 150\u2013156, 1988, Pen. State Press."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Lamport L., What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority, 12th ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, 1985, pp. 78\u201383.","DOI":"10.1145\/318593.318616"},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Lamport L., On Interprocess Communication, Part I: Basic formalism, Part II, Algorithms, Distributed Computing 1 (1986), pp. 77\u2013101.","journal-title":"Distributed Computing"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz A., Concurrent Program Schemes and Their Interpretations, DAIMI-PB-78, Aarhus University, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"23_CR15","first-page":"297","volume":"255","author":"A. Mazurkiewicz","year":"1986","unstructured":"Mazurkiewicz A., Trace Theory, Lecture Notes in Computer Science 255, Springer 1986, pp. 297\u2013324.","journal-title":"Lecture Notes in Computer Science"},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01783665","volume":"4","author":"M. Nielsen","year":"1990","unstructured":"Nielsen M., Rozenberg G., Thiagarajan P.S., Behavioural Notions for Elementary Net Systems, Distributed Computing 4 (1990), pp. 45\u201357.","journal-title":"Distributed Computing"},{"key":"23_CR17","unstructured":"Peterson J.L., Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981."},{"issue":"1","key":"23_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt V., Modelling Concurrency with Partial Orders, Int. Journal of Parallel Programming 15, 1 (1986), pp. 33\u201371.","journal-title":"Int. Journal of Parallel Programming"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Reisig W., Petri Nets, Springer 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"23_CR20","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","volume":"16","author":"E. Szpilrajn-Marczewski","year":"1930","unstructured":"Szpilrajn-Marczewski E., Sur l'extension de l'ordre partial, Fundamenta Mathematicae 16 (1930), pp.386\u2013389.","journal-title":"Fundamenta Mathematicae"},{"key":"23_CR21","unstructured":"Vogler W., A Generalization of Trace Theory, Technical Report TUM-I9018, Techn. Univ. M\u00fcnchen, 1990, (to appear in RAIRO Theor. Inf. and Appl.)."},{"key":"23_CR22","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/BFb0012800","volume":"140","author":"G. Winskel","year":"1982","unstructured":"Winskel G., Event Structure Semantics for CCS and Related Language, Lecture Notes in Computer Science 140, Springer 1982, pp.561\u2013567.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:47:48Z","timestamp":1640922468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}