{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T07:10:08Z","timestamp":1740899408763,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_18","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"363-382","source":"Crossref","is-referenced-by-count":3,"title":["The Electronic Tool Integration Platform (ETI) and the Petri Net Technology"],"prefix":"10.1007","author":[{"given":"Volker","family":"Braun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems, p. 368. MIT Press, Cambridge ISBN 0-262-01189-1","key":"18_CR1"},{"key":"18_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. Journal of Circuits, Systems and Computers\u00a08, 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"unstructured":"The Apache Project: http:\/\/www.apache.org","key":"18_CR3"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-46464-8_18","volume-title":"Theory and Application of Graph Transformations","author":"R. Bardohl","year":"2000","unstructured":"Bardohl, R., Ehrig, H.: Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 252\u2013266. Springer, Heidelberg (2000)"},{"unstructured":"Bardohl, R., Ehrig, H., Ermel, C.: Generic Description, Behavior and Animation of Visual Modeling Languages. In: Proc. IDPT 2000, Dallas, USA (June 2000)","key":"18_CR5"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-61052-9_40","volume-title":"Coordination Languages and Models","author":"J.A. Bergstra","year":"1996","unstructured":"Bergstra, J.A., Klint, P.: The ToolBus Coordination Architecture. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 75\u201388. Springer, Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Best, E., Koutny, M.: A Refined View of the Box Algebra. In: Application and Theory of Petri Nets 1995 (1995)","key":"18_CR7","DOI":"10.1007\/3-540-60029-9_29"},{"doi-asserted-by":"crossref","unstructured":"Braun, V., Margaria, T., Weise, C.: Integrating Tools in the ETI Platform, vol.\u00a050, pp. 31\u201348","key":"18_CR8","DOI":"10.1007\/s100090050004"},{"unstructured":"CGI: Common Gateway Interface, http:\/\/www.w3.org\/CGI\/","key":"18_CR9"},{"unstructured":"Cold Fusion, a cross-platform Web Application Server, http:\/\/www.allaire.com\/products\/coldfusion\/","key":"18_CR10"},{"issue":"3","key":"18_CR11","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems\u00a0E80-D(3), 315\u2013325 (1997)","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"8","key":"18_CR12","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers\u00a047(8), 859\u2013882 (1998)","journal-title":"IEEE Transactions on Computers"},{"unstructured":"David, T.: Server Side Includes (SSI) Tutorial, http:\/\/www.tdscripts.com\/ssi.html","key":"18_CR13"},{"unstructured":"Dehnert, J.: Four Systematic Steps Towards Sound Business Process Models. In: Proc. 2nd Intern. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Fraunhofer Gesellschaft ISST, Berlin, pp. 55\u201364 (2001)","key":"18_CR14"},{"doi-asserted-by":"crossref","unstructured":"Dehnert, J., Gajewsky, M., Lembke, S., Weber, H.: The \u201dPetri Net Baukasten\u201d: 2nd Installment. In: Proc. Uniform Approaches to Graphical Process Specification Techniques(UniGra), Satellite workshop to European Joint Conferences on Theory and Practice of Software (ETAPS), Genova, Italy. Electronic Notes in Theoretical Computer Science (ENTCS), vol.\u00a044(4) (2001)","key":"18_CR15","DOI":"10.1016\/S1571-0661(04)80948-4"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-46419-0_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L.A. Dennis","year":"2000","unstructured":"Dennis, L.A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., Gordon, M., Melham, T.: The PROSPER Toolkit. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 78\u201392. Springer, Heidelberg (2000)"},{"issue":"5","key":"18_CR17","first-page":"291","volume":"15","author":"J. Desel","year":"2000","unstructured":"Desel, J., Erwin, T.: Hybrid specifications: looking at workflows from a run-time perspective. International Journal of Computer System Science & Engineering\u00a015(5), 291\u2013302 (2000)","journal-title":"International Journal of Computer System Science & Engineering"},{"unstructured":"Design CPN Website: http:\/\/www.daimi.au.dk\/designCPN\/","key":"18_CR18"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-58786-1_72","volume-title":"Entity-Relationship Approach - ER \u201994. Business Modelling and Re-Engineering","author":"G. Dinkhoff","year":"1994","unstructured":"Dinkhoff, G., Gruhn, V., Saalmann, A., Zielonka, M.: Business Process Modeling in the Workflow Management Environment LEU. In: Loucopoulos, P. (ed.) ER 1994. LNCS, vol.\u00a0881, pp. 46\u201363. Springer, Heidelberg (1994)"},{"unstructured":"Downing, T.: Java RMI, Remote Method Invocation, IDG Books Worldwide Inc. (1998)","key":"18_CR20"},{"unstructured":"Formal Methods Europe, http:\/\/www.fmeurope.org","key":"18_CR21"},{"unstructured":"Heckel, R.: Open Petri Nets as Semantic Model for Business Process Integration. In: Proc. 2nd Intern. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Fraunhofer Gesellschaft ISST, Berlin, pp. 129\u2013134 (2001)","key":"18_CR22"},{"key":"18_CR23","volume-title":"Java Servlet Programming","author":"J. Hunter","year":"1998","unstructured":"Hunter, J., Crawford, W.: Java Servlet Programming. O\u2019Reilly, Sebastopol (1998)"},{"unstructured":"International Journal on Software Tools for Technology Transfer, http:\/\/sttt.cs.uni-dortmund.de","key":"18_CR24"},{"unstructured":"HyTech Home Page, http:\/\/www-cad.EECS.Berkeley.EDU\/~tah\/HyTech\/","key":"18_CR25"},{"unstructured":"JavaBeans: The only Component Architecture for Java Technology, http:\/\/java.sun.com\/products\/javabeans\/","key":"18_CR26"},{"unstructured":"Java Developer Connection, http:\/\/developer.ja.va.sun.com\/developer\/","key":"18_CR27"},{"unstructured":"Java Web Start, http:\/\/java.sun.com\/products\/javawebstart\/","key":"18_CR28"},{"key":"18_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BFb0035389","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: A Brief Introduction to Coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 203\u2013208. Springer, Heidelberg (1997)"},{"unstructured":"J\u00fcngel, M., Kindler, E., Weber, M.: Towards a Generic Interchange Format for Petri Nets. In: Bastide, R., Billington, J., Kindler, E., Kordon, F., Mortensen, K.H. (eds.) Meeting on XML\/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark. 21st ICATPN, pp. 1\u20135 (June 2000)","key":"18_CR30"},{"key":"18_CR31","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/s100090100055","volume":"3","author":"E. Kindler","year":"2001","unstructured":"Kindler, E., Weber, M.: The Petri Net Kernel - An Infrastructure for building Petri Net Tools. International Journal on Software Tools for Technology Transfer\u00a03, 486\u2013497 (2001)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"18_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BFb0014345","volume-title":"Algebraic Methodology and Software Technology","author":"P. Klint","year":"1996","unstructured":"Klint, P., Olivier, P.: The TOOLBUS Coordination Architecture: A Demonstration. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 575\u2013578. Springer, Heidelberg (1996)"},{"key":"18_CR33","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioner\u2019s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer\u00a02, 98\u2013132 (1998)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"18_CR34","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Petterson, P., Yi, W.: Uppaal in a nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01, 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"18_CR35","volume-title":"Programming Python","author":"M. Lutz","year":"2001","unstructured":"Lutz, M.: Programming Python. O\u2019Reilly, Sebastopol (2001)"},{"doi-asserted-by":"crossref","unstructured":"Margaria, T., Braun, V., Kreileder, J.: Interacting with ETI: A User Session, [50], pp. 49\u201363","key":"18_CR36","DOI":"10.1007\/s100090050005"},{"unstructured":"Margaria, T., Steffen, B.: Coarse-grain Component Based Software Development: The MetaFrame Approach. In: Proc. STJA 1997, Smalltalk und Java in Industrie und Ausbildung, Erfurt (D), September 10-11, pp. 29\u201334 (1997) ISBN 3-00-001828-X","key":"18_CR37"},{"unstructured":"OMG. The Common Object Request Broker: Architecture and Specification Revision 2.0, Technical Document ptc\/96-08-04","key":"18_CR38"},{"doi-asserted-by":"crossref","unstructured":"Padberg, J., Jansen, L., Ehrig, H., Schnieder, E., Heckel, R.: Cooperability in Train Control Systems: Specification of Scenarios using open Nets. In: SDPS (2000)","key":"18_CR39","DOI":"10.3233\/2001-jid5_02"},{"unstructured":"PEP Website: http:\/\/theoretica.informatik.uni-oldenburg.de\/~pep\/","key":"18_CR40"},{"unstructured":"Petrify Website: http:\/\/www.lsi.upc.es\/~jordic\/petrify\/","key":"18_CR41"},{"unstructured":"Petri Nets Tool Database, http:\/\/www.daimi.aau.dk\/PetriNets\/tools\/db.html","key":"18_CR42"},{"unstructured":"SMV guided tour, http:\/\/www.cs.cmu.edu\/~modelcheck\/tour.html","key":"18_CR43"},{"key":"18_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design, [50], pp. 9\u201330","key":"18_CR45","DOI":"10.1007\/s100090050003"},{"key":"18_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/3-540-61474-5_100","volume-title":"Computer Aided Verification","author":"B. Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: The MetaFrame 1995 Environment. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 450\u2013453. Springer, Heidelberg (1996)"},{"unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Kalt, N.: Hierarchical Service Definition, Annual Review of Communications. In: Int. Engineering Consortium (IEC), pp. 847\u2013856 (1997)","key":"18_CR47"},{"unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Reitenspie\u00df, M., Wendler, M.: Service Creation: Formal Verification and Abstract Views. In: 4th Int. Conf. on Intelligent Networks (ICIN 1996), pp. 96\u2013101 (1996)","key":"18_CR48"},{"unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction, Techn. Rep. MIP-9313, Fak. f\u00fcr Mathematik und Informatik. Universit\u00e4t Passau (Germany) (1993)","key":"18_CR49"},{"doi-asserted-by":"crossref","unstructured":"Special section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer\u00a01, Springer Verlag (November 1997)","key":"18_CR50","DOI":"10.1007\/s100090050003"},{"key":"18_CR51","volume-title":"Learning DCOM","author":"T. Thai","year":"1999","unstructured":"Thai, T.: Learning DCOM. O\u2019Reilly, Sebastopol (1999)"},{"key":"18_CR52","volume-title":"Programming Perl","author":"L. Wall","year":"2000","unstructured":"Wall, L., Christiansen, T., Orwant, J.: Programming Perl, 3rd edn. O\u2019Reilly, Sebastopol (2000)","edition":"3"}],"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_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T06:02:21Z","timestamp":1740895341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}