{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:41:23Z","timestamp":1742398883937},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_27","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"464-473","source":"Crossref","is-referenced-by-count":9,"title":["3D-Visualization of Petri Net Models: Concept and Realization"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[]},{"given":"Csaba","family":"P\u00e1les","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Bardohl, R., Ermel, C., Ribeiro, L.: Towards visual specification and animation of Petri net based models. In: Workshop on Graph Transformation Systems (GRATRA 2000), March 2000, pp. 22\u201331 (2000)"},{"key":"27_CR2","unstructured":"Bardohl, R., Ermel, C., Padberg, J.: Formal relationship between Petri nets and graph grammars as basis for animation views in GenGED. In: Integrated Design and Process Technology IDPT 2002, Society for Design and Process Science (June 2002)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"27_CR4","unstructured":"Design\/CPN (2004\/03\/12), \n                    \n                      http:\/\/www.daimi.au.dk\/designCPN\/"},{"key":"27_CR5","unstructured":"ISO\/IEC International Standard. Information technology \u2013 Computer graphics and image processing \u2013 The Virtual Reality Modeling Language (VRML) \u2013 Part 1: Functional specification and UTF-8 encoding. ISO\/IEC 14772-1 (1997)"},{"key":"27_CR6","unstructured":"Kater, M.: SimPEP: 3D-Visualisierung und Animation paralleler Prozesse. Masters thesis (in German), Universit\u00e4t Hildesheim (April 1998)"},{"key":"27_CR7","unstructured":"Kindler, E., P\u00e1les, C.: PNVis: Documentation of version 0.8.0. PNVis homepage [12] (March 2004) (evolving document)"},{"key":"27_CR8","first-page":"16","volume":"51","author":"E. Kindler","year":"1996","unstructured":"Kindler, E., Reisig, W.: Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter\u00a051, 16\u201331 (1996)","journal-title":"Petri Net Newsletter"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S0304-3975(00)00205-X","volume":"262","author":"E. Kindler","year":"2001","unstructured":"Kindler, E., V\u00f6lzer, H.: Algebraic nets with flexible arcs. Theoretical Computer Science\u00a0262, 285\u2013310 (2001)","journal-title":"Theoretical Computer Science"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-48068-4_18","volume-title":"Application and Theory of Petri Nets 2002","author":"L. Lorentsen","year":"2002","unstructured":"Lorentsen, L., Tuovinen, A.-P., Xu, J.: Modelling of features and feature interactions in Nokia mobile phones using coloured Petri nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 294\u2013313. Springer, Heidelberg (2002)"},{"key":"27_CR11","unstructured":"The PEP Tool (2004\/03\/12), \n                    \n                      http:\/\/parsys.informatik.uni-oldenburg.de\/~pep"},{"key":"27_CR12","unstructured":"PNVis homepage (2004\/03\/12), \n                    \n                      http:\/\/www.upb.de\/cs\/kindler\/research\/PNVis"},{"key":"27_CR13","volume-title":"Mimic\/CPN: A Graphical Animation Utility for Design\/CPN, Computer Science Department","author":"J.L. Rasmusen","year":"1995","unstructured":"Rasmusen, J.L., Singh, M.: Mimic\/CPN: A Graphical Animation Utility for Design\/CPN, Computer Science Department, December 1995. Aarhus University, Aarhus (1995)"},{"key":"27_CR14","unstructured":"Verbeek, E.: ExSpect 6.4x product infromation. In: Mortensen, K.H. (ed.) Petri Nets 2000: Tool Demonstrations, June 2000, pp. 39\u201341 (2000)"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-40022-6_6","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri Net Kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 109\u2013123. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:42Z","timestamp":1620012342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}