{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:00:26Z","timestamp":1772024426736,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540205388","type":"print"},{"value":"9783540400226","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_16","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"321-351","source":"Crossref","is-referenced-by-count":44,"title":["Comparing Petri Net and Activity Diagram Variants for Workflow Modelling \u2013 A Quest for Reactive Petri Nets"],"prefix":"10.1007","author":[{"given":"Rik","family":"Eshuis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","year":"2000","unstructured":"van der Aalst, W., Desel, J., Oberweis, A. (eds.): Business Process Management. LNCS, vol.\u00a01806. Springer, Heidelberg (2000)"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: Aalst et al. [1], pp. 161\u2013183","DOI":"10.1007\/3-540-45594-9_11"},{"key":"16_CR4","unstructured":"van der Aalst, W.M.P.: Personal communication (2001)"},{"issue":"1-2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theor. Comp. Sci.\u00a0270(1-2), 125\u2013203 (2001)","journal-title":"Theor. Comp. Sci."},{"key":"16_CR6","unstructured":"van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling workflow management systems with high-level Petri nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Proc. 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pp. 31\u201350 (1994)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/10722620_2","volume-title":"Cooperative Information Systems","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Advanced workflow patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol.\u00a01901, pp. 18\u201329. Springer, Heidelberg (2000)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"G. Agha","year":"2001","unstructured":"Agha, G., Decindio, F., Rozenberg, G.: Concurrent Object-Oriented Programming and Petri Nets. LNCS, vol.\u00a02001. Springer, Heidelberg (2001)"},{"issue":"3-4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1008703327801","volume":"9","author":"A. Agostini","year":"2000","unstructured":"Agostini, A., de Michelis, G.: A light workflow management system using simple process models. Computer Supported Cooperative Work\u00a09(3-4), 335\u2013363 (2000)","journal-title":"Computer Supported Cooperative Work"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-44685-0_34","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional modeling of reactive systems using open nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 502\u2013518. Springer, Heidelberg (2001)"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. of Comp. Prog.\u00a019(2), 87\u2013152 (1992)","journal-title":"Sci. of Comp. Prog."},{"issue":"1-2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1006\/inco.1999.2819","volume":"156","author":"R. Bruni","year":"2000","unstructured":"Bruni, R., Montanari, U.: Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation\u00a0156(1-2), 46\u201389 (2000)","journal-title":"Information and Computation"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/328939.328996","volume":"24","author":"F. Casati","year":"1999","unstructured":"Casati, F., Ceri, S., Paraboschi, S., Pozzi, G.: Specification and implementation of exceptions in workflow management systems. ACM Transactions on Database Systems\u00a024(3), 405\u2013451 (1999)","journal-title":"ACM Transactions on Database Systems"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BFb0020545","volume-title":"OOER \u201995 Object-Oriented and Entity-Relationship Modeling","author":"F. Casati","year":"1995","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Conceptual Modeling of Workflows. In: Papazoglou, M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol.\u00a01021, pp. 341\u2013354. Springer, Heidelberg (1995)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri nets extended with channels for synchronous communication. Technical Report PB-390, Aarhus University (1992)","DOI":"10.7146\/dpb.v21i390.6625"},{"key":"16_CR16","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"16_CR17","unstructured":"Dehne, F., Wieringa, R., van de Zandschulp, H.: Toolkit for conceptual modeling (TCM) \u2014 user\u2019s guide and reference. Technical report, University of Twente (2000), Available at http:\/\/www.cs.utwente.nl\/~tcm"},{"issue":"1","key":"16_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008654224389","volume":"5","author":"W. Deiters","year":"1998","unstructured":"Deiters, W., Gruhn, V.: Process management in practice applying the FUNSOFT net approach to large-scale processes. Autom. Softw. Eng.\u00a05(1), 7\u201325 (1998)","journal-title":"Autom. Softw. Eng."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Desel, J., Erwin, T.: Modeling, simulation and analysis of business processes. In: Aalst et al. [1], pp. 129\u2013141","DOI":"10.1007\/3-540-45594-9_9"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45541-8_1","volume-title":"Unifying Petri Nets","author":"J. Desel","year":"2001","unstructured":"Desel, J., Juh\u00e1s, G.: What is a Petri net? Informal answers for the informed reader. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, pp. 1\u201327. Springer, Heidelberg (2001)"},{"key":"16_CR21","unstructured":"ebXML, http:\/\/www.ebxml.org"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Application and Theory of Petri Nets 1993","author":"C.A. Ellis","year":"1993","unstructured":"Ellis, C.A., Nutt, G.J.: Modelling and Enactment of Workflow Systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 1\u201316. Springer, Heidelberg (1993)"},{"key":"16_CR23","unstructured":"Emmerich, W., Gruhn, V.: Software process modelling with FUNSOFT nets. Technical Report 47, Dept. of Computer Science, University of Dortmund (1990)"},{"key":"16_CR24","volume-title":"Business Modeling With UML: Business Patterns at Work","author":"H.-E. Eriksson","year":"2000","unstructured":"Eriksson, H.-E., Penker, M.: Business Modeling With UML: Business Patterns at Work. Wiley Computer Publishing, Chichester (2000)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Verification support for workflow design with UML activity graphs. In: Proc. Int. Conf. on Software Eng., ICSE (2002) (to appear)","DOI":"10.1145\/581360.581362"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: A formal semantics for UML activity diagrams. Technical Report TR-CTIT-01-04, University of Twente (2001)","DOI":"10.1007\/3-540-45314-8_7"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45314-8_7","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Eshuis","year":"2001","unstructured":"Eshuis, R., Wieringa, R.: A real-time execution semantics for UML activity diagrams. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 76\u201390. Springer, Heidelberg (2001)"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-45441-1_5","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"R. Eshuis","year":"2001","unstructured":"Eshuis, R., Wieringa, R.: An execution algorithm for UML activity graphs. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 47\u201361. Springer, Heidelberg (2001)"},{"key":"16_CR29","doi-asserted-by":"crossref","first-page":"81","DOI":"10.3233\/FI-2000-43123405","volume":"43","author":"A. Foremniak","year":"2000","unstructured":"Foremniak, A., Starke, P.H.: Analyzing and reducing simultaneous firing in signal-event nets. Fundamenta Informaticae\u00a043, 81\u2013104 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR30","first-page":"489","volume-title":"Proc. PROCOMET 1994","author":"N. Francesco De","year":"1994","unstructured":"De Francesco, N., Montanari, U., Ristori, G.: Modelling concurrent accesses to shared data via Petri nets. In: Montanari, U., Olderog, E.R. (eds.) Proc. PROCOMET 1994, pp. 489\u2013508. North-Holland, Amsterdam (1994)"},{"key":"16_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-47919-2_9","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"H.J. Genrich","year":"1987","unstructured":"Genrich, H.J.: Predicate\/transition nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 207\u2013247. Springer, Heidelberg (1987)"},{"issue":"3","key":"16_CR32","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(84)90137-3","volume":"30","author":"H.J. Genrich","year":"1984","unstructured":"Genrich, H.J., Thiagarajan, P.S.: A theory of bipolar synchronization schemes. Theoretical Computer Science\u00a030(3), 241\u2013318 (1984)","journal-title":"Theoretical Computer Science"},{"issue":"3-4","key":"16_CR33","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0306-4379(98)00011-8","volume":"23","author":"A. Geppert","year":"1998","unstructured":"Geppert, A., Tombros, D., Dittrich, K.R.: Defining the semantics of reactive components in event-driven workflow execution with event histories. Information Systems\u00a023(3-4), 235\u2013252 (1998)","journal-title":"Information Systems"},{"issue":"1","key":"16_CR34","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0169-023X(97)00057-8","volume":"27","author":"P. Grefen","year":"1998","unstructured":"Grefen, P., Remmerts de Vries, R.: A reference architecture for workflow management systems. Journal of Data & Knowledge Engineering\u00a027(1), 31\u201357 (1998)","journal-title":"Journal of Data & Knowledge Engineering"},{"key":"16_CR35","first-page":"450","volume-title":"Proc. 19th Int. Conf. on Distributed Computing Systems (ICDCS 1999)","author":"C. Hagen","year":"1999","unstructured":"Hagen, C., Alonso, G.: Beyond the black box: Event-based inter-process communication in process support systems. In: Proc. 19th Int. Conf. on Distributed Computing Systems (ICDCS 1999), pp. 450\u2013457. IEEE, Los Alamitos (1999)"},{"issue":"4","key":"16_CR36","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","volume":"41","author":"H.-M. Hanisch","year":"2000","unstructured":"Hanisch, H.-M., L\u00fcder, A.: A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae\u00a041(4), 415\u2013431 (2000)","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"16_CR37","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"16_CR38","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, pp. 477\u2013498. Springer, Heidelberg (1985)"},{"key":"16_CR39","unstructured":"IBM. MQ Series Workflow (Websphere), http:\/\/www.ibm.com"},{"key":"16_CR40","series-title":"EATCS monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets. Basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer, Heidelberg (1992)"},{"key":"16_CR41","unstructured":"Joosten, S.: Trigger Modelling for Workflow Analysis. In: Chroust, G., Benczur, A. (eds.) Proceedings CON 1994, Vienna, pp. 236\u2013247 (October 1994)"},{"key":"16_CR42","first-page":"331","volume-title":"Proc. FMOODS 1999, IFIP TC6\/WG6.1","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) Proc. FMOODS 1999, IFIP TC6\/WG6.1, pp. 331\u2013347. Kluwer, Dordrecht (1999)"},{"issue":"9","key":"16_CR43","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.L. Leveson","year":"1994","unstructured":"Leveson, N.L., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Transactions on Software Engineering\u00a020(9), 684\u2013707 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR44","unstructured":"Software Ley. Cosa, http:\/\/www.cosa.de"},{"key":"16_CR45","volume-title":"Production Workflow \u2014 Concepts and Techniques","author":"F. Leymann","year":"2000","unstructured":"Leymann, F., Roller, D.: Production Workflow \u2014 Concepts and Techniques. Prentice Hall, Englewood Cliffs (2000)"},{"key":"16_CR46","unstructured":"L\u00f6we, M., Wikarski, D., Han, Y.: Higher-order object nets and their application to workflow modeling. Technical Report 95-34, Informatik, Technical University Berlin (1995)"},{"issue":"6","key":"16_CR47","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Inf.\u00a032(6), 545\u2013596 (1995)","journal-title":"Acta Inf."},{"issue":"4","key":"16_CR48","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis, and applications. Proc. of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. of the IEEE"},{"key":"16_CR49","first-page":"557","volume-title":"Wirtschaftsinformatik 1997","author":"A. Oberweis","year":"1997","unstructured":"Oberweis, A., Sch\u00e4tzle, R., Stucky, W., Weitz, W., Zimmermann, G.: INCOME\/ WF: A Petri net based approach to workflow management. In: Krallmann, H. (ed.) Wirtschaftsinformatik 1997, pp. 557\u2013580. Springer, Heidelberg (1997)"},{"key":"16_CR50","unstructured":"OMG. Workflow management facility specification. OMG Document Number formal\/00-05-02 (2000), Available at http:\/\/www.omg.org"},{"key":"16_CR51","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs (1981)"},{"key":"16_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Theoretical Aspects of Computer Software","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a step: On the semantics of statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 244\u2013265. Springer, Heidelberg (1991)"},{"key":"16_CR53","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"key":"16_CR54","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"issue":"3","key":"16_CR55","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/S0377-2217(00)00292-7","volume":"134","author":"K. Salimifard","year":"2001","unstructured":"Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: An overview. European Journal of Operational Research\u00a0134(3), 218\u2013230 (2001)","journal-title":"European Journal of Operational Research"},{"key":"16_CR56","unstructured":"UML Revision Taskforce. OMG UML Specification v. 1.4. Object Management Group (2001), Available at http:\/\/www.omg.org"},{"key":"16_CR57","volume-title":"Active Database Systems \u2013 Triggers and Rules For Advanced Database Processing","year":"1996","unstructured":"Widom, J., Ceri, S. (eds.): Active Database Systems \u2013 Triggers and Rules For Advanced Database Processing. Morgan Kaufmann Publishers, San Francisco (1996)"},{"key":"16_CR58","volume-title":"Design Methods for Software Systems: Yourdon, Statemate and the UML","author":"R.J. Wieringa","year":"2002","unstructured":"Wieringa, R.J.: Design Methods for Software Systems: Yourdon, Statemate and the UML. Morgan Kaufmann, San Francisco (2002) (to be published)"},{"key":"16_CR59","series-title":"Lecture Notes in Computer Science","volume-title":"Database Theory - ICDT \u201997","author":"D. Wodtke","year":"1996","unstructured":"Wodtke, D., Weikum, G.: A formal foundation for distributed workflow execution based on state charts. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, Springer, Heidelberg (1996)"},{"key":"16_CR60","unstructured":"Workflow Management Coalition. The workflow reference model, WFMC-TC- 1003 (1995), Available at http:\/\/www.wfmc.org"},{"key":"16_CR61","unstructured":"Workflow Management Coalition. Workflow management coalition specification \u2014 terminology & glossary (WFMC-TC-1011) (1999), Available at http:\/\/www.wfmc.org"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T02:14:33Z","timestamp":1592273673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}