{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:53:51Z","timestamp":1725634431647},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551829"},{"type":"electronic","value":"9783642773129"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77312-9_8","type":"book-chapter","created":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T06:35:35Z","timestamp":1321511735000},"page":"95-112","source":"Crossref","is-referenced-by-count":0,"title":["Modellierung von Abl\u00e4ufen in NF2-Datenbanken durch h\u00f6here Petri-Netze"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Oberweis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Sander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolffried","family":"Stucky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0022-0000(86)90058-9","volume":"33","author":"S Abiteboul","year":"1986","unstructured":"S. Abiteboul und N. Bidoit. Non first normal form relations: an algebra allowing data restructuring. Journal of Computer and Systems Sciences, 33: 361\u2013393, 1986.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"8_CR2","volume-title":"On the power of languages for the manipulation of complex objects","author":"S Abiteboul","year":"1988","unstructured":"S. Abiteboul und C. Beeri. On the power of languages for the manipulation of complex objects. Rapports de Recherche No. 846, INRIA, Rocquencourt, 1988."},{"key":"8_CR3","volume-title":"COL: a logic-based language for complex objects","author":"S Abiteboul","year":"1987","unstructured":"S. Abiteboul und S. Grumbach. COL: a logic-based language for complex objects. Rapports de Recherche No. 714, INRIA, Rocquencourt, 1987."},{"key":"8_CR4","first-page":"22","volume":"32","author":"K Albert","year":"1989","unstructured":"K. Albert, K. Jensen und R. Shapiro. DESIGN\/CPN. A tool package supporting the use of colored petri nets. Petri Net Newsletter, 32:22\u201336, 1989. Gesellschaft f\u00fcr Informatik.","journal-title":"Petri Net Newsletter"},{"key":"8_CR5","first-page":"1","volume-title":"Advances in Petri Nets 1988","author":"M Baldassari","year":"1989","unstructured":"M. Baldassari und G. Bruno. An environment for object-oriented conceptual programming based on PROT nets. In G. Rozenberg, Hrsg., Advances in Petri Nets 1988, S. 1\u201319, Springer-Verlag, Berlin, Heidelberg, New York, 1989."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1016\/0022-0000(89)90005-6","volume":"38","author":"F Bancilhon","year":"1989","unstructured":"F. Bancilhon und S. Koshafian. A calculus for complex objects. Journal of Computer and Systems Sciences, 38: 326\u2013340, 1989.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"8_CR7","first-page":"120","volume-title":"The many faces of query monotonicity","author":"C Beeri","year":"1990","unstructured":"C. Beeri und Y. Kornatzky. The many faces of query monotonicity. In Proc. Int. Conference on Extending Database Technology, S. 120\u2013135, Springer-Verlag, LNCS 416, Berlin, Heidelberg, New York, 1990."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/28659.28662","volume-title":"Proceedings PODS-87","author":"C Beeri","year":"1987","unstructured":"C. Beeri, S. Naqvi, R. Ramakrishnan, O. Shmueli und S. Tsur. Sets and negation in a logic database language (LDL 1). In Proceedings PODS-87, S. 21\u201337, 1987."},{"volume-title":"Advances in Petri Nets 1986, I, Petri Nets: Central Models and Their Properties","year":"1987","key":"8_CR9","unstructured":"W. Brauer, W. Reisig und G. Rozenberg, Hrsg. Advances in Petri Nets 1986, I, Petri Nets: Central Models and Their Properties, LNCS 254, Springer-Verlag, Berlin, Heidelberg, New York, 1987."},{"volume-title":"Advances in Petri Nets 1986, II, Petri Nets: Applications and Relationships to Other Models of Concurrency","year":"1987","key":"8_CR10","unstructured":"W. Brauer, W. Reisig und G. Rozenberg, Hrsg. Advances in Petri Nets 1986, II, Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255, Springer-Verlag, Berlin, Heidelberg, New York, 1987."},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/32.4651","volume":"14","author":"J Billington","year":"1990","unstructured":"J. Billington, G.R. Wheeler und M.C. Wilbur-Ham. PROTEAN: A high-level Petri net tool for the specification and verification of communication protocols. IEEE Transactions on Software Engineering, SE-14(3): 301\u2013316, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"8_CR12","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1016\/0306-4379(90)90029-O","volume":"15","author":"LS Colby","year":"1990","unstructured":"L.S. Colby. A recursive algebra for nested relations. Information Systems, 15 (5): 567\u2013582, 1990.","journal-title":"Information Systems"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BFb0046841","volume-title":"Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986","author":"HJ Genrich","year":"1987","unstructured":"H.J. Genrich. Predicate\/transition nets. In W. Brauer, W. Reisig und G. Rozenberg, Hrsg., Petri Nets: Central Models and Their Properties, Advances in Petri Nets\n                  1986, I, S. 207\u2013247, LNCS 254, Springer-Verlag, Berlin, Heidelberg, New York, 1987."},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"H.J. Genrich und K. Lautenbach. System modelling with high-level petri nets. Theoretical Computer Science, 13: 109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"key":"8_CR15","volume-title":"Programmierung einer Klasse von Multiprozessorsystemen mit h\u00f6heren Petri-Netzen","author":"C-G H\u00e4rtung","year":"1988","unstructured":"C.-G. H\u00e4rtung. Programmierung einer Klasse von Multiprozessorsystemen mit h\u00f6heren Petri-Netzen. Hochschultexte Informatik, H\u00fcthig-Verlag, Heidelberg, 1988."},{"key":"8_CR16","volume-title":"Datenbankentwurf auf der Grundlage von Systembeziehungen","author":"C-G Heuser","year":"1987","unstructured":"C.A. Heuser. Datenbankentwurf auf der Grundlage von Systembeziehungen. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, GMD-Bericht Nr. 165, St. Augustin, M\u00fcnchen, Wien, 1987."},{"key":"8_CR17","first-page":"27","volume-title":"On the relationship between conceptual schemata and integrity constraints on databases","author":"CA Heuser","year":"1986","unstructured":"C.A. Heuser und G. Richter. On the relationship between conceptual schemata and integrity constraints on databases. In T.B. Steel und R. Meersman, Hrsg., Proceedings of the IFIP WG2.6 Working Conference on Database Semantics (DS-1), S. 27\u201339, North-Holland Publ. Comp., Amsterdam, New York, Oxford, 1986."},{"key":"8_CR18","volume-title":"An approach to (office) information system design based on general net theory","author":"A Horndasch","year":"1985","unstructured":"A. Horndasch, R. Studer und R. Yasdi. An approach to (office) information system design based on general net theory. In Proceedings IFIP TC8.1 TFAIS85, North-Holland, Amsterdam, New York, 1985."},{"key":"8_CR19","volume-title":"A relational algebra for nested relations in Partitioned Normal Form","author":"G Hulin","year":"1989","unstructured":"G. Hulin. A relational algebra for nested relations in Partitioned Normal Form. Manuscript M 318, Philips Research Laboratory, 1989."},{"key":"8_CR20","volume-title":"Version 1.0","author":"INCOME\/Designer Benutzerhandbuch","year":"1991","unstructured":"INCOME\/Designer Benutzerhandbuch, Version 1.0, PROMATIS Informatik, Straubenhardt. 1991."},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/BFb0046842","volume-title":"Petri Nets: Central Models and Their Properties, Advances in Petri","author":"K Jensen","year":"1987","unstructured":"K. Jensen. Coloured petri nets. In W. Brauer, W. Reisig und G. Rozenberg, Hrsg., Petri Nets: Central Models and Their Properties, Advances in Petri Nets\n                  1986, I, S. 248\u2013299, LNCS 254, Springer-Verlag, Berlin, Heidelberg, New York, 1987."},{"key":"8_CR22","first-page":"212","volume-title":"Form operation by example \u2014A language for office information processing","author":"D Luo","year":"1981","unstructured":"D. Luo und S.B. Yao. Form operation by example - A language for office information processing. In Y.E. Lien, Hrsg., Proc. Int. Conference on Management of Data, ACM - SIGMOD, Ann Arbor\/Michigan, S. 212\u2013223, 1981."},{"key":"8_CR23","first-page":"447","volume-title":"A consideration on normal form of not-necessarily-normalized relations in the relational data model","author":"A Makinouchi","year":"1977","unstructured":"A. Makinouchi. A consideration on normal form of not-necessarily-normalized relations in the relational data model. In Proceedings Int. Conference on VLDB, Tokyo, S. 447\u2013453, 1977."},{"key":"8_CR24","unstructured":"S. Niehuis und F. Victor. Modellierung und Simulation von Pr\/T-Netzen in Prolog. Arbeitspapiere der GMD 231, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Sankt Augustin, Oktober 1986."},{"key":"8_CR25","unstructured":"A. Oberweis, J. Seib und G. Lausen. PASIPP: Ein Hilfsmittel zur Analyse und Simulation von Prolog-beschrifteten Pr\u00e4dikate\/Transitionen-Netzen. \u201cWirtschaftsinformatik\u201d, 33. Jahrgang, Heft 3, Juni 1991."},{"key":"8_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69956-6","volume-title":"The Structure of the Relational Database Model","author":"J Paradaens","year":"1989","unstructured":"J. Paradaens, P. DeBra, M. Gyssens und D. VanGucht. The Structure of the Relational Database Model Springer-Verlag, Berlin, Heidelberg, New York, 1989."},{"key":"8_CR27","first-page":"335","volume-title":"Information System Design Methodologies: A Comparative Review","author":"G Richter","year":"1982","unstructured":"G. Richter und R. Durchholz. IML inscribed high-level Petri nets. In T.W. Olle, H.G. Sol und A.A. Verrijn-Stuart, Hrsg., Information System Design Methodologies: A Comparative Review, S. 335\u2013368, North-Holland Publ. Comp., Amsterdam, New York, Oxford, 1982."},{"issue":"4","key":"8_CR28","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/49346.49347","volume":"13","author":"MA Roth","year":"1988","unstructured":"M.A. Roth, H.F. Korth und A. Silberschatz. Extended algebra and calculus for nested relational databases. ACM Transactions on Database Systems, 13 (4): 389\u2013417, December 1988.","journal-title":"ACM Transactions on Database Systems"},{"key":"8_CR29","volume-title":"Specifying operations for nested relations by rules and partial orders","author":"P Sander","year":"1991","unstructured":"P. Sander. Specifying operations for nested relations by rules and partial orders. In B. Thalheim, J. Demetrovics und H.-D. Gerhardt, Hrsg., Proc. Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS), Rostock, Springer-Verlag, LNCS 495, Berlin, Heidelberg, New York, 1991."},{"key":"8_CR30","volume-title":"High level petri nets with data structure","author":"C Sibertin-Blanc","year":"1986","unstructured":"C. Sibertin-Blanc. High level petri nets with data structure. In \n                    Proceedings of the 6th\n                  \n                  Workshop on Petri Nets, Espoo\/Finland, 1986."},{"key":"8_CR31","first-page":"55","volume":"27","author":"SPECS-Project","year":"1987","unstructured":"SPECS-Project. A graphical petri net tool for the design and prototyping of distributed systems. GI Petri Net Newsletter, 27: 55\u201357, August 1987.","journal-title":"GI Petri Net Newsletter"},{"issue":"2","key":"8_CR32","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H-J Schek","year":"1986","unstructured":"H.-J. Schek und M.H. Scholl. The relational model with relation-valued attributes. Information Systems, 11 (2): 137\u2013147, 1986.","journal-title":"Information Systems"},{"key":"8_CR33","first-page":"1","volume-title":"High level petri nets with data structure","author":"MM Zloof","year":"1975","unstructured":"M.M. Zloof. Query-By-Example: The invocation and definition of tables and forms. In D.S. Kerr, Hrsg., Proc. Int. Conference on Very Large Data Bases, Framing- ham\/Massachusetts, S. 1\u201324, 1975."},{"issue":"3","key":"8_CR34","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1147\/sj.213.0272","volume":"21","author":"MM Zloof","year":"1982","unstructured":"M.M. Zloof. Office-By-Example: A business language that unifies data and word processing and electronic mail. IBM Systems Journal, 21 (3): 272\u2013304, 1982.","journal-title":"IBM Systems Journal"}],"container-title":["Informatik-Fachberichte","Informationssysteme und K\u00fcnstliche Intelligenz: Modellierung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77312-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:25:02Z","timestamp":1606411502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77312-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551829","9783642773129"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77312-9_8","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1992]]}}}