{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:14Z","timestamp":1725663134012},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100010"},{"type":"electronic","value":"9783540393221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:40Z","timestamp":1330189120000},"page":"21-163","source":"Crossref","is-referenced-by-count":80,"title":["Elements of general net theory"],"prefix":"10.1007","author":[{"given":"H. J.","family":"Genrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Lautenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","DOI":"10.2307\/jj.13027259","volume-title":"The Logic of Action and Decision","author":"A. R. Anderson","year":"1967","unstructured":"Anderson, A.R.: The Formal Analysis of Normative Systems. In The Logic of Action and Decision, ed. Rescher, N., Pittsburgh: The University of Pittsburgh Press, 1967"},{"key":"2_CR2","unstructured":"Blanchard, M.: Le GRAFCET pour une Representation Normalisee de Cahier des Charges d'un Automatisme Logique. Automatique et Informatique Industrielle, No. 61, pp. 27\u201332 + No. 62, pp. 36\u201340 (1977)"},{"key":"2_CR3","unstructured":"Best, E.: A Theorem on the Characteristics of Non-Sequential Processes. Computing Laboratory Technical Report No. 116, University of Newcastle-upon-Tyne (1977)"},{"key":"2_CR4","unstructured":"Chaney, T.J.; Ornstien, S.M.; Littlefield, W.M.: Beware the Synchronizer. COMPCON-72, IEEE Computer Society Conference, pp. 12\u201314, 1972"},{"key":"2_CR5","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chang, C.; Lee, R.: Symbolic Logic and Mechanical Theorem Proving. New York, London: Academic Press, 1973"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"Commoner, F.; Holt, A.W.; Even, S.; Pnueli, A.: Marked Directed Graphs. J. Computer and System Sc. 5, 511\u2013523 (1971)","journal-title":"J. Computer and System Sc."},{"key":"2_CR7","first-page":"269","volume":"9","author":"R. L. Constable","year":"1977","unstructured":"Constable, R.L.: On the Theory of Programming Logics. Proc. ACM STOC 9, pp. 269\u2013285 (1977)","journal-title":"Proc. ACM STOC"},{"key":"2_CR8","unstructured":"Darlington, J.L.: A Net Based Theorem Proving Procedure for Program Verification and Synthesis. In Proc. of the 4th Workshop on Artificial Intelligence, Bad Honnef. Institut f\u00fcr Informatik, Universit\u00e4t Bonn, 1979"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Ellis, C.A.: Consistency and Correctness of Duplicate Database Systems. Proc. of the 6th Symposium on Operating System Principles, Purdue University, Nov. 1977, ACM Operating Systems Review Vol. 11, Nr. 5, 1977","DOI":"10.1145\/800214.806548"},{"key":"2_CR10","first-page":"1","volume-title":"Mathematical Foundations of Computer Science","author":"P. Emde Boas van","year":"1978","unstructured":"van Emde Boas, P.: The Connection Between Modal Logic and Algorithmic Logics. In Mathematical Foundations of Computer Science, ed. Winkowski, J., Lecture Notes in Computer Science 64, pp. 1\u201315, Berlin, Heidelberg, New York: Springer, 1978"},{"key":"2_CR11","unstructured":"Fernandez, C.: Net Topology I, II. ISF-Reports 75.09, 76.02, St.Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1975, 1976"},{"key":"2_CR12","first-page":"286","volume":"9","author":"M. J. Fischer","year":"1977","unstructured":"Fischer, M.J.; Ladner, R.E.: Propositional Modal Logic of Programs. Proc. ACM STOC 9, pp. 286\u2013294, 1977","journal-title":"Proc. ACM STOC"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H. J. Genrich","year":"1973","unstructured":"Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2, 143\u2013161 (1973)","journal-title":"Acta Informatica"},{"key":"2_CR14","first-page":"231","volume-title":"Mathematical Foundations of Computer Science","author":"H. J. Genrich","year":"1975","unstructured":"Genrich, H.J.: Extended Simple Regular Expressions. In Mathematical Foundations of Computer Science, ed. Becvar, J., Lecture Notes in Computer Science 32, pp. 231\u2013237, Berlin, Heidelberg, New York: Springer, 1975"},{"key":"2_CR15","unstructured":"Genrich, H.J.: Ein systemtheoretischer Beitrag zur Handlungslogik. ISF-Report 75.03, St.Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1975"},{"key":"2_CR16","unstructured":"Genrich, H.J.: The Petri Net Representation of Mathematical Knowledge. ISF-Report 76.05, St.Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1976"},{"key":"2_CR17","first-page":"77","volume-title":"Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme","author":"H. J. Genrich","year":"1979","unstructured":"Genrich, H.J.: Ein Kalk\u00fcl des Planens und Handelns. In Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme, ed. Petri, C.A., Berichte der Gesellschaft f\u00fcr Mathematik und Datenverarbeitung 111, pp.77\u201392, M\u00fcnchen, Wien: R. Oldenbourg 1979"},{"key":"2_CR18","first-page":"213","volume-title":"Mathematical Foundations of Computer Science","author":"H. J. Genrich","year":"1978","unstructured":"Genrich, H.J.; Lautenbach, K.: Facts in Place\/Transition-Nets. In Mathematical Foundations of Computer Science, ed. Winkowski, J., Lecture Notes in Computer Science 64, pp. 213\u2013231, Berlin, Heidelberg, New York: Springer, 1978"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BFb0022467","volume-title":"Semantics of Concurrent Computation","author":"H. J. Genrich","year":"1979","unstructured":"Genrich, H.J.; Lautenbach, K.: The Analysis of Dristibuted Systems by Means of Predicate\/Transition-Nets. In Semantics of Concurrent Computation, ed. Kahn, G., Lecture Notes in Computer Science 70, pp. 123\u2013146, Berlin, Heidelberg, New York: Springer, 1979"},{"key":"2_CR20","first-page":"588","volume-title":"Mathematical Foundations of Computer Science","author":"H. J. Genrich","year":"1976","unstructured":"Genrich, H.J.; Thieler-Mevissen, G.: The Calculus of Facts. In Mathematical Foundations of Computer Science, ed. Mazurkiewicz, A., Lecture Notes in Computer Science 45, pp. 588\u2013595, Berlin, Heidelberg, New York: Springer, 1976"},{"key":"2_CR21","unstructured":"Hack, M.: Analysis of Production Schemata by Petri Nets. MIT-Project MAC, TR-94 (1972)"},{"key":"2_CR22","first-page":"261","volume":"9","author":"D. Harel","year":"1977","unstructured":"Harel, D.; Meyer, A; Pratt, V.R.: Computability and Completeness in Logics of Programs. Proc, ACM STOC 9, pp. 261\u2013268 (1977)","journal-title":"Proc, ACM STOC"},{"key":"2_CR23","volume-title":"Topics in Algebra","author":"I. N. Herstein","year":"1975","unstructured":"Herstein, I.N.: Topics in Algebra, 2nd Edition. Lexington, Toronto: Xerox College Publishing, 1975","edition":"2nd Edition"},{"key":"2_CR24","first-page":"39","volume-title":"Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme","author":"A. W. Holt","year":"1979","unstructured":"Holt, A.W.: Net Models of Organizational Systems, in Theory and Practice. In Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme, ed. Petri, C.A., Berichte der Gesellschaft f\u00fcr Mathematik und Datenverarbeitung 111, pp. 39\u201362, M\u00fcnchen, Wien: R. Oldenbourg, 1979"},{"key":"2_CR25","unstructured":"Holt, A.W.; Commoner, F.: Events and Conditions. Report of the Project MAC Conference on Concurrent Systems and Parallel Computation, pp. 3\u201352, 1970"},{"key":"2_CR26","unstructured":"Holt, A.W. et al.: Information System Theory Project: Final Report. Princeton, N.J.: Applied Data Research Inc., RADC-TR-68-305, NTIS AD 676972, 1968"},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1137\/0202008","volume":"2","author":"J. R. Jump","year":"1973","unstructured":"Jump, J.R.; Thiagarajan, P.S.: On the Equivalence of Asynchronous Control Structures. SIAM Journal on Computing, 2, No.2, 67\u201387 (1973)","journal-title":"SIAM Journal on Computing"},{"key":"2_CR28","unstructured":"Kahn, G.; Plotkin, G.D.: Domains Concrets. IRIA Rapport de Recherche No. 336, Le Chesnay: IRIA, 1978"},{"key":"2_CR29","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16, pp. 83\u201394 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"2_CR30","volume-title":"Exakte Bedingungen der Lebendigkeit f\u00fcr eine Klasse von Petri-Netzen. Berichte der GMD 82","author":"K. Lautenbach","year":"1973","unstructured":"Lautenbach, K.: Exakte Bedingungen der Lebendigkeit f\u00fcr eine Klasse von Petri-Netzen. Berichte der GMD 82, St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung Bonn, 1973"},{"key":"2_CR31","volume-title":"Applied Computer Science","author":"K. Lautenbach","year":"1977","unstructured":"Lautenbach, K.: Ein kombinatorischer Ansatz zur Beschreibung und Erreichung von Fairness in Scheduling-Problemen. In Applied Computer Science 8, ed. M\u00fchlbacher, J., M\u00fcnchen, Wien: Verlag Carl Hanser, 1977"},{"key":"2_CR32","unstructured":"Lautenbach, K.; Schmid, H.A.: Use of Nets for Proving Correctness of Concurrent Process Systems. Proceedings of IFIP Congress 74, North Holland Publ. Comp., 1974"},{"key":"2_CR33","first-page":"416","volume-title":"Mathematical Foundations of Computer Science","author":"K Lautenbach","year":"1976","unstructured":"Lautenbach, K; Wedde, H.: Generating Control Mechanisms by Restrictions. In Mathematical Foundations of Computer Science, ed. Mazurkiewicz, A, Lecture Notes in Computer Science 45, pp. 416\u2013422, Berlin, Heidelberg, New York: Springer, 1976"},{"key":"2_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. New York, Heidelberg, Berlin: Springer, 1971"},{"issue":"2","key":"2_CR35","first-page":"123","volume":"19","author":"J. Meldman","year":"1978","unstructured":"Meldman, J.: A Petri-Net Representation of Civil Procedure. IDEA: The Journal of Law and Technology, 19, no. 2, pp.123\u2013148 (1978)","journal-title":"IDEA: The Journal of Law and Technology"},{"key":"2_CR36","unstructured":"Milne, G.J.: Modelling Distributed Database Protocolls by Synchronisation Processes (Draft Version, Nov. 1978), Department of Computer Science, Edinburgh University"},{"key":"2_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1977-1102","volume":"1","author":"G. Mirkowska","year":"1977","unstructured":"Mirkowska, G.: Algorithmic Logic and its Application in the Theory of Programs. Fundamenta Informaticae 1, pp: 1\u201317, 147\u2013165 (1977)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR38","volume-title":"The Formulation and Application of Evaluation Nets","author":"G. J. Nutt","year":"1972","unstructured":"Nutt, G.J.: The Formulation and Application of Evaluation Nets. Thesis, Computer Science Group, University of Washington, Seattle (1972)"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-08921-7_88","volume-title":"Mathematical Foundations of Computer Science","author":"R. Parikh","year":"1978","unstructured":"Parikh, R.: The Completeness of Propositional Dynamic Logic. In Mathematical Foundations of Computer Science, ed. Winkowski, J., Lecture Notes in Computer Science 64, pp. 403\u2013415, Berlin, Heidelberg, New York: Springer, 1978"},{"key":"2_CR40","volume-title":"A Decidability Result for a Second Order Process Logic. MIT\/LCS\/TM-112","author":"R. Parikh","year":"1978","unstructured":"Parikh, R.: A Decidability Result for a Second Order Process Logic. MIT\/LCS\/TM-112, Cambridge, Mas.: MIT Laboratory for Computer Science, 1978"},{"key":"2_CR41","unstructured":"Patil, S.S.: Coordination of Asynchronous Events. MIT, Project MAC, Technical Report 72, Cambridge, Mass., 1970"},{"key":"2_CR42","volume-title":"Synchronizers and Arbiters. Computation Structures Group Memo 91, Project MAC","author":"S. S. Patil","year":"1972","unstructured":"Patil, S.S.: Synchronizers and Arbiters. Computation Structures Group Memo 91, Project MAC, M.I.T., Cambridge, Mass., 1972"},{"key":"2_CR43","unstructured":"Petri, C.A.: Fundamentals of a Theory of Asynchronous Information Flow. In Proceedings of IFIP Congress 62, North-Holland Publ. Comp., Amsterdam"},{"key":"2_CR44","volume-title":"Kommunikation mit Automaten","author":"C. A. Petri","year":"1962","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Bonn: Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962"},{"key":"2_CR45","volume-title":"Grunds\u00e4tzliches zur Beschreibung diskreter Pozesse. 3. Colloguium \u00fcber Automathentheorie","author":"C. A. Petri","year":"1967","unstructured":"Petri, C.A.: Grunds\u00e4tzliches zur Beschreibung diskreter Pozesse. 3. Colloguium \u00fcber Automathentheorie, Basel: Birkh\u00e4user Verlag, 1967"},{"key":"2_CR46","unstructured":"Petri, C.A.: Concepts of Net Theory. Mathematical Foundations of Computer Science, Math. Institute of the Slovak Ac. of Sciences, 1973"},{"key":"2_CR47","series-title":"ISF-Report","volume-title":"Non-Sequential Processes","author":"C. A. Petri","year":"1975","unstructured":"Petri, C.A.: Non-Sequential Processes. ISF-Report 77.05, St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1975"},{"key":"2_CR48","series-title":"ISF-Report","volume-title":"Interpretations of Net Theory","author":"C. A. Petri","year":"1975","unstructured":"Petri, C.A.: Interpretations of Net Theory. ISF-Report 75.07, St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1975"},{"key":"2_CR49","unstructured":"Petri, C.A.: General Net Theory. Computing System Design: Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar, Sept. 1976 \/ Shaw, B. (Ed.), University of Newcastle upon Tyne (1977)"},{"key":"2_CR50","series-title":"ISF-Report","volume-title":"Concurrency as a Basis for System Thinking","author":"C. A. Petri","year":"1978","unstructured":"Petri, C.A.: Concurrency as a Basis for System Thinking. ISF-Report 78.06, St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1978"},{"key":"2_CR51","first-page":"46","volume":"48","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The Temporal logic of Programs. Proc. IEEE FOCS 48, pp. 46\u201357 (1977)","journal-title":"Proc. IEEE FOCS"},{"volume-title":"The Logic of Action and Decision","year":"1967","key":"2_CR52","unstructured":"Rescher, N. (ed.): The Logic of Action and Decision. Pittsburgh: The University of Pittsburgh Press, 1967"},{"key":"2_CR53","volume-title":"Behandlung eines Synchronisationsproblems mit gef\u00e4rbten Petri-Netzen","author":"M. Schiffers","year":"1977","unstructured":"Schiffers, M.: Behandlung eines Synchronisationsproblems mit gef\u00e4rbten Petri-Netzen. Universit\u00e4t Bonn, Diplomarbeit (1977)"},{"key":"2_CR54","volume-title":"Analyzing Program Solutions of Coordination Problems by CP-nets. Mathematical Foundations of Computer Science 1978","author":"M Schiffers","year":"1978","unstructured":"Schiffers, M; Wedde, H.: Analyzing Program Solutions of Coordination Problems by CP-nets. Mathematical Foundations of Computer Science 1978 \/ Winkowski, J. (Ed.), Berlin, Heidelberg, New York: Springer Verlag (1978)"},{"key":"2_CR55","first-page":"107","volume-title":"Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme","author":"R. M. Shapiro","year":"1979","unstructured":"Shapiro, R.M.: Towards a Design Methodology for Information Systems. In Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme, ed. Petri, C.A., Berichte der Gesellschaft f\u00fcr Mathematik und Datenverarbeitung 111, pp. 107\u2013118, M\u00fcnchen, Wien: R. Oldenbourg 1979"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Shapiro, R.M.; Saint, H.: The Representation of Algorithms. Applied Data Research, Inc., Final Techn. Report RADC-TR-69-313, Vol. 2, NTIS AD 697026, New York, 1969","DOI":"10.21236\/AD0697026"},{"key":"2_CR57","volume-title":"On the Maitenance of Distributed Copies of a Database","author":"R. M. Shapiro","year":"1978","unstructured":"Shapiro, R.M.; Thiagarajan, P.S.: On the Maitenance of Distributed Copies of a Database. St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung Bonn, Interner Benicht ISF-78-04 (1978)"},{"key":"2_CR58","series-title":"ISF-Report","volume-title":"Assignment Systems \u2014 A Model for Asynchronous Computations","author":"PS. Thiagarajan","year":"1976","unstructured":"Thiagarajan, PS.: Genrich, H.J.: Assignment Systems \u2014 A Model for Asynchronous Computations. ISF-Report 76.10, St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenvenarbeitung, 1976"},{"key":"2_CR59","series-title":"ISF-Report","volume-title":"The Petri Net Calculus of Predicte Logic","author":"G. Thieler-Mevissen","year":"1976","unstructured":"Thieler-Mevissen, G.: The Petri Net Calculus of Predicte Logic. ISF-Report 76.09, St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1976"},{"key":"2_CR60","series-title":"ISF-Report","volume-title":"Die Struktur der Violations eines Systems","author":"G. Thieler-Mevissen","year":"1978","unstructured":"Thieler-Mevissen, G.: Die Struktur der Violations eines Systems. ISF-Report 78.01, St. Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1978"},{"key":"2_CR61","volume-title":"Lose Kopplung von Systemkomponenten. Bericht der GMD 96","author":"H. Wedde","year":"1975","unstructured":"Wedde, H.: Lose Kopplung von Systemkomponenten. Bericht der GMD 96, St.Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1975"},{"key":"2_CR62","first-page":"293","volume":"18","author":"G. H. Wright von","year":"1965","unstructured":"von Wright, G.H.: And Next. Acta Philosophica Fennica 18, pp. 293\u2013304, Helsinki 1965","journal-title":"And Next. Acta Philosophica Fennica"}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T12:02:46Z","timestamp":1713614566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}