{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:32Z","timestamp":1725488132103},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_17","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"306-325","source":"Crossref","is-referenced-by-count":2,"title":["M-net Calculus Based Semantics for Triggers"],"prefix":"10.1007","author":[{"given":"V\u00e9ronique","family":"Benzaken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Hugon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabeth","family":"Pelz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert-C.","family":"Riemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"17_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BFb0024428","volume-title":"Formal Systems Specification, The RPC-Memory Specification Case Study","author":"E. Best","year":"1996","unstructured":"E. Best. A Memory Module Specification using Composable High Level Petri Nets. Formal Systems Specification, The RPC-Memory Specification Case Study, LNCS Vol. 1169, 109\u2013160 (1996)."},{"key":"17_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 92","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J.G. Hall. The Box Calculus: a New Causal Algebra with Multilabel Communication. Advances in Petri Nets 92. LNCS Vol. 609, 21\u201369 (1992)."},{"key":"17_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-60029-9_36","volume-title":"ICPN\u201995","author":"E. Best","year":"1995","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. ICPN\u201995. LNCS Vol. 935, 103\u2013120 (1995)."},{"key":"17_CR4","unstructured":"E. Best, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. M-nets: An Algebra of High-level Petri Nets with an Application to the Semantics of Concurrent Programming Languages. To Appear in Acta Informatica."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. An M-Net Semantics of B(PN)2. STRICT\u201995 Proceedings. Springer, 85\u2013100 (1995).","DOI":"10.1007\/978-1-4471-3078-9_6"},{"key":"17_CR6","unstructured":"S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. Proc. 16. Int. Conf. on Very Large Data Bases, 566\u2013577, (1990)."},{"key":"17_CR7","unstructured":"S. Chakravarthy, V.K. E. Anwar, and A.K. Kim. Composite Events for Active Databases: Semantics, Contexts and Detection. Proc. 20. Int. Conf. on Very Large Data Bases, 606\u2013617, (1994)."},{"key":"17_CR8","unstructured":"C. Collet, T. Coupaye and T. Svensen. NAOS-Efficient and modular reactive capabilities in an Object-Oriented Database System. Proc. 20. Int. Conf. on Very Large Data Bases, 132\u2013143, (1994)."},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-60365-4_118","volume-title":"Denotational Semantics for Active Rule Execution Model","author":"T. Coupaye","year":"1995","unstructured":"T. Coupaye and C. Collet. Denotational Semantics for Active Rule Execution Model. LNCS Vol. 985, 36\u201350, (1995)."},{"key":"17_CR10","unstructured":"U. Dayal, E. Hanson, and J. Widom. Active Database Systems. Modern Database Systems, 434\u2013456, (1995)."},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BFb0058038","volume-title":"FSTTCS\u201997","author":"R. Devillers","year":"1997","unstructured":"R. Devillers, H. Klaudel and R.-C. Riemann. General Refinement for High Level Petri Nets. FSTTCS\u201997, LNCS Vol. 1346, 297\u2013311, (1997)."},{"key":"17_CR12","unstructured":"K.P. Eswaran. Specifications, Implementations and Interactions of a Trigger Subsystem in an Integrated Database System. IBM Research Laboratory, Report RJ 1820, (1976)."},{"issue":"4","key":"17_CR13","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1145\/219035.219042","volume":"20","author":"P. Fraternali","year":"1995","unstructured":"P. Fraternali and L. Tanca. A Structured Approach for the Definition of the Semantics of Active Databases. ACM Transactions on Database Systems, 20(4):414\u2013471, (1995).","journal-title":"ACM Transactions on Database Systems"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"S. Gatziu and K.R. Dittrich. Events in an Active Object-Oriented Database System. Proc. 1. Int. Workshop on Rules in Database Systems, 23\u201339, (1993).","DOI":"10.1007\/978-1-4471-3225-7_2"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"S. Gatziu and K.R. Dittrich. Detecting Composite Events in Active Database Systems Using Petri Nets. Proc. 4. Int. Workshop on Research Issues in Data Engineering, 1\u20138, (1994).","DOI":"10.1109\/RIDE.1994.282859"},{"key":"17_CR16","unstructured":"N.H. Gehani, H.V. Jagadish, and O. Shmueli. Composite Event Specification in Active Databases: Model and Implementation. Proc. 18. Int. Conf. on Very Large Data Bases, 327\u2013338, (1992)."},{"key":"17_CR17","series-title":"Lect Notes Comput Sci","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 Part I","author":"H. Genrich","year":"1987","unstructured":"H. Genrich. Predicate-Transition Nets. In Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986 Part I. LNCS Vol. 254, 207\u2013247 (1987)."},{"key":"17_CR18","series-title":"Lect Notes Comput Sci","first-page":"35","volume-title":"The PARK Semantics for Active Rules","author":"G. Gottlob","year":"1996","unstructured":"G. Gottlob, G. Moerkotte, and V.S. Subrahmaniam. The PARK Semantics for Active Rules. LNCS Vol. 1057, 35\u201355, (1996)."},{"key":"17_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/3-540-61042-1_58","volume-title":"TACAS\u201996","author":"B. Grahlmann","year":"1996","unstructured":"B. Grahlmann and E. Best. PEP-More than a Petri Net Tool. TACAS\u201996, LNCS Vol. 1055, 397\u2013401 (1996)."},{"key":"17_CR20","unstructured":"N. Hugon. Une S\u00e9mantique pour les Triggers. Memoire de DEA, Th\u00e9orie et Ing\u00e9nierie des Bases de Donn\u00e9es, Universities Paris I and Paris-Sud, (1996)."},{"key":"17_CR21","unstructured":"K. Jensen Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science, Vol. 1 Springer (1992)."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"J. Kiernan and C. de Maindreville and E. Simon. The Design and Implementation of an Extensible Deductive Database System. SIGMOD Records, (1989).","DOI":"10.1145\/71031.71040"},{"key":"17_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1007\/3-540-61626-8_87","volume-title":"EuroPar\u201996, Parallel Processing, Second Int. Euro-Par Conference","author":"J. Lilius","year":"1996","unstructured":"J. Lilius. OB(PN)2: An Object Based Petri Net Programming Notation. EuroPar\u201996, Parallel Processing, Second Int. Euro-Par Conference. LNCS Vol. 1123, 660\u2013663 (1996).."},{"key":"17_CR24","unstructured":"J. Lilius and E. Pelz. An M-net Semantics for B(PN)2 with Procedures. Proc. 11. Int. Symposium on Computer and System Science, 365\u2013374, (1996)."},{"key":"17_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/BFb0014143","volume-title":"Composite Events in Chimera","author":"R. Meo","year":"1996","unstructured":"R. Meo, G. Psaila, and S. Ceri. Composite Events in Chimera. LNCS Vol. 1057, 56\u201376, (1996)."},{"key":"17_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-57234-1_21","volume-title":"REFLEX Active Database Model: Application of Petri-Nets","author":"W. Naqvi","year":"1993","unstructured":"W. Naqvi and M.T. Ibrahim. REFLEX Active Database Model: Application of Petri-Nets. LNCS Vol. 720, 233\u2013240, (1993)."},{"issue":"1\u20134","key":"17_CR27","first-page":"6","volume":"15","author":"S.B. Navathe","year":"1992","unstructured":"S.B. Navathe, A.K. Tanaka, and S. Chakravarthy. Active Database Modeling and Design Tools: Issues, Approach, and Architecture. IEEE Bulletin of the Technical Commite on Data Engineering, 15(1\u20134):6\u20139, (1992).","journal-title":"IEEE Bulletin of the Technical Commite on Data Engineering"},{"key":"17_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-60029-9_31","volume-title":"ICPN\u201995","author":"K. Voss","year":"1995","unstructured":"K. Voss. Petri Nets for Information Systems Modelling. ICPN\u201995. LNCS Vol. 935, 23\u201324 (1995). Full Version as: Arbeitspapiere der GMD, Nr. 1004, June 1996."},{"key":"17_CR29","first-page":"1","volume":"15","author":"J. Widom","year":"1992","unstructured":"J. Widom. The Starburst Rule System. IEEE Data Engineering Bulletin, 15:1\u20134, 15\u201318, (1992).","journal-title":"IEEE Data Engineering Bulletin"},{"issue":"3","key":"17_CR30","first-page":"4","volume":"21","author":"J. Widom","year":"1992","unstructured":"J. Widom. A Denotational Semantics for the Starburst Production Rule Language, SIGMOD Record, 21:3, pages 4\u20139, (1992).","journal-title":"A Denotational Semantics for the Starburst Production Rule Language, SIGMOD Record"},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. A Unified Semantics for Active and Deductive Databases. Proc. 1. Int. Workshop on Rules in Database Systems, 271\u2013287, (1993).","DOI":"10.1007\/978-1-4471-3225-7_16"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:49:11Z","timestamp":1556740151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}