{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:57Z","timestamp":1725543657553},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_25","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:38:34Z","timestamp":1150799914000},"page":"421-430","source":"Crossref","is-referenced-by-count":0,"title":["Geist3D, a Simulation Tool for Geometry-Driven Petri Nets"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Stier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Jahnke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hausi","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Jackson, D., Rinard, M.: Software analysis: a Roadmap. In: Proceedings of the Conference on The Future of Software Engineering, pp. 133\u2013145 (2000)","DOI":"10.1145\/336512.336545"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Williams, D., Finke, D., Medeiros, D.J., Traband, M.: Discrete simulation development for a proposed shipyard steel processing facility. In: Proceedings of the 33nd conference on Winter simulation, vol.\u00a01, pp. 882\u2013887 (2001)","DOI":"10.1109\/WSC.2001.977388"},{"key":"25_CR3","first-page":"41","volume":"1","author":"J. Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The Vision of Autonomic Computing. Computer Journal\u00a01, 41\u201350 (2003)","journal-title":"Computer Journal"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Kibira, D., McLean, C.: Manufacturing modeling methods: virtual reality simulation of a mechanical assembly production line. In: Proceedings of the Winter Simulation Conference, pp. 1130\u20131137 (2002)","DOI":"10.1109\/WSC.2002.1166368"},{"key":"25_CR5","first-page":"9","volume":"1","author":"P. Maes","year":"1994","unstructured":"Maes, P.: Pattie Maes: Modeling adaptive autonomous agents. Artificial Life\u00a01, 9 (1994)","journal-title":"Artificial Life"},{"key":"25_CR6","unstructured":"Michel, O.: Fundamentals of a Theory of Asynchronous Information Flow. In: Proc. of IFIP Congress, vol.\u00a062, pp. 386\u2013390 (1963)"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/3-540-68686-X_24","volume-title":"Virtual Worlds","author":"O. Michel","year":"1998","unstructured":"Michel, O.: Webots: Symbiosis Between Virtual and Real Mobile Robots. In: Heudin, J.-C. (ed.) VW 1998. LNCS, vol.\u00a01434, pp. 254\u2013263. Springer, Heidelberg (1998)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Koenig, N., Howard, A.: Design and Use Paradigms for Gazebo, An Open-Source Multi-Robot Simulator. In: International Conference on Intelligent Robots and Systems, pp. 2149\u20132154 (2004)","DOI":"10.1109\/IROS.2004.1389727"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A.V. Ratzer","year":"2003","unstructured":"Ratzer, A.V., Wells, L., Michael Lassen, H., Laursen, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"key":"25_CR10","first-page":"1023","volume":"32","author":"P. Antsaklis","year":"1985","unstructured":"Antsaklis, P., Koutsoukos, X., Zaytoon, J.: On hybrid control of complex systems: A survey. European Journal of Automation\u00a032, 1023\u20131045 (1985)","journal-title":"European Journal of Automation"},{"key":"25_CR11","volume-title":"The Design and Analysis of Computer Algorithms","author":"A. Aho","year":"1974","unstructured":"Aho, A., Hopcroft, J.: The Design and Analysis of Computer Algorithms. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1974)"},{"key":"25_CR12","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri Nets. Massachusetts Institute of Technology (1974)"},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K.: Coloured Petri Nets and the Invariant Method. Theoretical Computer Science\u00a014, 317\u2013336 (1981)","journal-title":"Theoretical Computer Science"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Grzeszczuk, R., Terzopoulos, D., Hinton, G.: NeuroAnimator: fast neural network emulation and control of physics-based models. In: SIGGRAPH 1998: Proceedings of the 25th annual conference on Computer graphics and interactive techniques, pp. 9\u201320 (1998)","DOI":"10.1145\/280814.280816"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/0022-5193(68)90079-9","volume":"18","author":"A. Lindenmayer","year":"1968","unstructured":"Lindenmayer, A.: Mathematical model for cellular interaction in development, Parts I and II. Journal of Theoretical Biology\u00a018, 280\u2013315 (1968)","journal-title":"Journal of Theoretical Biology"},{"key":"25_CR16","unstructured":"Kaminka, G.A., Veloso, M.M., Schaffer, S., Sollitto, C., Adobbati, R., Marshal, A.N., Scholer, A., Tejada, S.: GameBots: The ever-challenging multi-agent research test-bed. ACM Transactions on Computer Graphics, 280\u2013315 (2002)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Petri Nets 1990","author":"W. Brauer","year":"1991","unstructured":"Brauer, W., Gold, R., Vogler, W.: A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 1\u201346. Springer, Heidelberg (1991)"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1080\/00207540010004278","volume":"483","author":"F. Balduzzi","year":"2001","unstructured":"Balduzzi, F., Giua, A., Seatzu, C.: Modeling and simulation of manufacturing systems with first-order hybrid Petri Nets. International Journal of Production Research\u00a0483, 255\u2013282 (2001)","journal-title":"International Journal of Production Research"},{"key":"25_CR19","unstructured":"Janneck, J., Esser, R.: Higher-order Petri net modeling\u2014 techniques and applications. In: Workshop on Software Engineering and Formal Methods (2001)"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Kindler, E., Pales, C.: 3D-Visualization of Petri Net models: Concept and Realization. In: Application and Theory of Petri Nets, ATPN 2004, pp. 464\u2013473 (2004)","DOI":"10.1007\/978-3-540-27793-4_27"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Baldini, F., Bucci, G., Vicario, E.: A Tool Set for Modeling and Simulation of Robotic Workcells. In: Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, pp. 106\u2013114 (2005)","DOI":"10.1109\/FIRB-PERF.2005.5"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:11:28Z","timestamp":1619493088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11767589_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}