{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:21Z","timestamp":1725663381202},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160472"},{"type":"electronic","value":"9783540397311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16047-7_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:34:34Z","timestamp":1330194874000},"page":"26-54","source":"Crossref","is-referenced-by-count":0,"title":["Some aspects of net theory"],"prefix":"10.1007","author":[{"given":"P. S.","family":"Thiagarajan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","first-page":"84","volume-title":"The Relative Strength of K-density","author":"E. Best","year":"1980","unstructured":"E. Best: The Relative Strength of K-density. LNCS 84 (1980)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","first-page":"145","volume-title":"Discreteness, K-density and D-continuity of Occurrence Nets","author":"E. Best","year":"1982","unstructured":"E. Best, A. Merceron: Discreteness, K-density and D-continuity of Occurrence Nets. LNCS 145 (1982)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"E. Best, M.W. Shields: Some Equivalence Results on Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. Proc. CAAP (1983)","DOI":"10.1007\/3-540-12727-5_7"},{"key":"3_CR4","unstructured":"E. Best, K. Voss: Free Choice Systems have Home States. Arbeitspapiere der GMD 46, GMD, St. Augustin, W. Germany (1983)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"F. Commoner, A.W. Holt, S. Evens, A. Pnueli: Marked Directed Graphs. TCSS 5 (1971)","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"3_CR6","volume-title":"Deadlocks in Petri Nets. Applied Data Research Inc., CA-7206-2311","author":"F. Commoner","year":"1972","unstructured":"F. Commoner: Deadlocks in Petri Nets. Applied Data Research Inc., CA-7206-2311, Wakefield, Mass., U.S.A (1972)"},{"key":"3_CR7","unstructured":"C. Fernandez, P.S. Thiagarajan: D-continuous Causal Nets: A Model onf Non-sequential Processes. ISF Report 82.05, GMD, St. Augustin, W. Germany. (to Appear in TCS.) (1982)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, K. Lautenbach: Synchronisationsgraphen. Acta Informatica 2 (1973)","DOI":"10.1007\/BF00264027"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","first-page":"45","volume-title":"The Calculus of Facts","author":"H.J. Genrich","year":"1976","unstructured":"H.J. Genrich, G. Thieler-Mevisson: The Calculus of Facts. LNCS 45 (1976)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, K. Lautenbach: System Modelling with High-level Petri Nets. TCS 13 (1981)","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","first-page":"84","volume-title":"Elements of General Net Theory","author":"H.J. Genrich","year":"1980","unstructured":"H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: Elements of General Net Theory. LNCS 84 (1980)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","first-page":"88","volume-title":"Substitution Systems: A Family of System Models based on Concurrency","author":"H.J. Genrich","year":"1980","unstructured":"H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: Substitution Systems: A Family of System Models based on Concurrency. LNCS 88 (1980)"},{"key":"3_CR13","volume-title":"A Theory of Bipolar Synchronisation Schemes. Report DAIMI PB-158","author":"H.J. Genrich","year":"1983","unstructured":"H.J. Genrich, P.S. Thiagarajan: A Theory of Bipolar Synchronisation Schemes. Report DAIMI PB-158, Aarhus University, Aarhus, Denmark. (to. Appear in TCS). (1983)"},{"key":"3_CR14","volume-title":"Formal Description of Programming Concepts-II","author":"H.J. Genrich","year":"1983","unstructured":"H.J. Genrich, P.S. Thiagarajan: Well-formed Flow Charts for Concurrent Programming. In: Formal Description of Programming Concepts-II, Ed. D. Bj\u00f8rner, North-Holland Publishing Company, Amsterdam, New York, Oxford (1983)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. ICALP'83","author":"U. Goltz","year":"1983","unstructured":"U. Goltz, W. Reisig: Processes in Place\/Transition Nets. Proc. ICALP'83, LNCS (1983)."},{"key":"3_CR16","volume-title":"Analysis of Production Schemata by Petri Nets","author":"M.H. Hack","year":"1972","unstructured":"M.H. Hack: Analysis of Production Schemata by Petri Nets. M.S. Thesis, TR-94, Project MAC, MIT, Cambridge, Mass., U.S.A. (1972)."},{"key":"3_CR17","volume-title":"Decidability Questions for Petri Nets","author":"M.H. Hack","year":"1976","unstructured":"M.H. Hack: Decidability Questions for Petri Nets. Ph.D. Thesis, TR 161, Project MAC, MIT, Cambridge, Mass., U.S.A. (1976)"},{"key":"3_CR18","first-page":"8","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare: Communicating Sequential Processes. CACM 21, 8 (1978)","journal-title":"CACM"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"K. Jensen: Coloured Petri Nets and the Invariant Method. TCS 14 (1981)","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"3_CR20","first-page":"2","volume":"2","author":"J.R. Jump","year":"1973","unstructured":"J.R. Jump, P.S. Thiagarajan: On the Equivalence of Asynchronous Control Structures. SIAM J. on Computing, 2, 2 (1973)","journal-title":"SIAM J. on Computing"},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TC.1982.1675975","volume":"C-31","author":"W. Kluge","year":"1982","unstructured":"W. Kluge, K. Lautenbach: The Orderely Resolution of Memory Access Conflicts among Competing Channel Processes. IEEE Transactions on Computers, C-31, 3 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"S.R. Kosaraju: Decidability of Reachability in Vector Addition Systems. Proc. 14th Annual ACM Symp. on Theory of Computing. (1982)","DOI":"10.1145\/800070.802201"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"P.E. Lauer, P.R. Torrigiani, M.W. Shields: COSY-A System Specification Language Based on Paths and Processes. Acta Informatica 12 (1979)","DOI":"10.1007\/BF00266047"},{"key":"3_CR24","unstructured":"K. Lautenbach: Simple Marked-graph-like Predicate Transition Nets. Arbeitspapiere der GMD 41, GMD, St. Augustin, W. Germany (1983)"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner: A Calculus of Communicating Systems. LNCS 92 (1980)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"N. Nielson, G. Plotkin, G. Winskel: Petri Nets, Event Structures and Domains, Part I. TCS 13 (1981)","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"3_CR27","volume-title":"Kommunikation mit Automaten. Schriften des IIM 2","author":"C.A. Petri","year":"1962","unstructured":"C.A. Petri: Kommunikation mit Automaten. Schriften des IIM 2, Institute f\u00fcr Instrumentelle Mathematik, Bonn, W. Germany (1962)"},{"key":"3_CR28","unstructured":"C.A. Petri: Fundamentals of the Representation of Discrete Processes. English Translation of a paper (in german) Presented at 3. Colloquium \u00fcber Automatentheorie 1965, ISF-Report 82-04, GMD, St. Augustin, W. Germany (1982)"},{"key":"3_CR29","unstructured":"C.A. Petri: Concepts of Net Theory. Proc. of MFCS'73"},{"key":"3_CR30","unstructured":"C.A. Petri: Interpretations of Net Theory. Interner Bericht ISF-75-07, GMD, St. Augustin, W. Germany (1975)"},{"key":"3_CR31","unstructured":"C.A. Petri: Non-sequential Processes. Interner Bericht ISF-77-5, GMD, St. Augustin, W. Germany (1977)"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","first-page":"84","volume-title":"Concurrency","author":"C.A. Petri","year":"1980","unstructured":"C.A. Petri: Concurrency. LNCS 84 (1980)"},{"key":"3_CR33","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/BF02084163","volume":"21","author":"C.A. Petri","year":"1982","unstructured":"C.A. Petri: State-Transition Structures in Physics and in Computation. International J. of. Theor. Physics, 21, 12 (1982)","journal-title":"International J. of. Theor. Physics"},{"key":"3_CR34","volume-title":"Petri Nets and the Modelling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson: Petri Nets and the Modelling of Systems. Prentice-Hall, Englewood Cliffs, N.J., U.S.A. (1981)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets with Individual Tokens. Informatik-Fachberichte 66, Springer Verlag (1983)","DOI":"10.1007\/978-3-642-69028-0_16"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"R.M. Smullyan: First-order Logic. Ergebnisse der Mathematik und ihrer Grenzgebiete, 43, Springer Verlag (1968)","DOI":"10.1007\/978-3-642-86718-7_4"},{"key":"3_CR37","unstructured":"P.S. Thiagarajan, K. Voss: A Fresh Look at Free Choice Nets. To Appear as Arbeitspapiere der GMD, St. Augustin, W. Germany."},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"K. Voss: Using Predicate\/Transition Nets to Model and Analyse Distributed Data Base Systems. IEEE Transactions on Software Engineering, SE-6, 6. (1980)","DOI":"10.1109\/TSE.1980.234502"},{"key":"3_CR39","volume-title":"Events in Computation","author":"G. Winskel","year":"1980","unstructured":"G. Winskel: Events in Computation. Ph.D. Thesis, Dept. of Computer Science, University of Edinburgh, Edinburgh, G.B. (1980)"},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","first-page":"140","volume-title":"Event Structure Semantics for CCS and Related Languages","author":"G. Winskel","year":"1982","unstructured":"G. Winskel: Event Structure Semantics for CCS and Related Languages. LNCS 140 (1982)"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"G. Winskel: A new Definition of Morphism on Petri Nets. Unpublished Manuscript. (1983)","DOI":"10.1007\/3-540-12920-0_13"},{"key":"3_CR42","unstructured":"Net Theory and Applications. LNCS 84 (1980)"},{"key":"3_CR43","unstructured":"C.L. Seitz: System Timing. In: Introduction to VLSI Systems, (Mead, Conway), Addison-Wesley Publishing Company (1980)."},{"key":"3_CR44","series-title":"Lecture Notes in Computer Science","first-page":"84","volume-title":"Formal Properties of Place\/Transition Nets","author":"M. Jantzen","year":"1980","unstructured":"M. Jantzen, R. Valk: Formal Properties of Place\/Transition Nets. LNCS 84 (1980)."}],"container-title":["Lecture Notes in Computer Science","The Analysis of Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16047-7_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:41Z","timestamp":1605643781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}