Abstract
We present a simple concept for the 3D-visualization of systems that are modelled as a Petri net. To this end, the Petri net is equipped with some information on the physical objects corresponding to the tokens on the places. Moreover, we discuss a prototype of a tool implementing this concept: PNVis version 0.8.0.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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–31 (2000)
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)
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. 2679, pp. 483–505. Springer, Heidelberg (2003)
Design/CPN (2004/03/12), http://www.daimi.au.dk/designCPN/
ISO/IEC International Standard. Information technology – Computer graphics and image processing – The Virtual Reality Modeling Language (VRML) – Part 1: Functional specification and UTF-8 encoding. ISO/IEC 14772-1 (1997)
Kater, M.: SimPEP: 3D-Visualisierung und Animation paralleler Prozesse. Masters thesis (in German), Universität Hildesheim (April 1998)
Kindler, E., Páles, C.: PNVis: Documentation of version 0.8.0. PNVis homepage [12] (March 2004) (evolving document)
Kindler, E., Reisig, W.: Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter 51, 16–31 (1996)
Kindler, E., Völzer, H.: Algebraic nets with flexible arcs. Theoretical Computer Science 262, 285–310 (2001)
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. 2360, pp. 294–313. Springer, Heidelberg (2002)
The PEP Tool (2004/03/12), http://parsys.informatik.uni-oldenburg.de/~pep
PNVis homepage (2004/03/12), http://www.upb.de/cs/kindler/research/PNVis
Rasmusen, J.L., Singh, M.: Mimic/CPN: A Graphical Animation Utility for Design/CPN, Computer Science Department, December 1995. Aarhus University, Aarhus (1995)
Verbeek, E.: ExSpect 6.4x product infromation. In: Mortensen, K.H. (ed.) Petri Nets 2000: Tool Demonstrations, June 2000, pp. 39–41 (2000)
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. 2472, pp. 109–123. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kindler, E., Páles, C. (2004). 3D-Visualization of Petri Net Models: Concept and Realization. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-27793-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22236-1
Online ISBN: 978-3-540-27793-4
eBook Packages: Springer Book Archive