Abstract
The paper presents a development framework allowing the automatic generation of animated graphical user interface associated with specific embedded system controllers, and allowing the association of the characteristics of its behavioral model with specific characteristics of the graphical user interface through a set of dedicated rules. The behavioral model of the system is specified by means of an IOPT (Input-Output Place-Transition) Petri net model, which is represented using a PNML (Petri Net Markup Language) notation. Two main tools are described: the ”Animator”, and the ”Synoptic”. The first one is the development environment and allows the definition of the graphical characteristics of the synoptic, and their association with dynamic and static characteristics of the Petri net model (the ”Animator”); this tool also supports hierarchical structuring of the synoptic and definition of platform dependent code to link the physical world to the Petri net model signals and events. The second one is responsible for the execution part including embedded control and on-line animation of the graphical user interface (the ”Synoptic”). Current main usage of the tool is to support teaching of Petri nets and their application to automation and embedded systems design; yet, application as a SCADA (Supervisory, Control, and Data Acquisition) system is envisaged. The application of the tools to a Petri net model of a parking lot controller is briefly presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Nunes, R., Gomes, L., Barros, J.: A Graphical Editor for the Input-Output Place-Transition Petri Net Class. In: Proceedings of the 2007 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2007). IEEE, Los Alamitos (2007)
S N O O P Y ’ s home page: Data Structures and Software Dependability – Brandenburg University of Technology Cottbus (2007), http://www-dssz.informatik.tu-cottbus.de/software/snoopy.html
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)
PNML: Petri Net Markup Language (PNML) (2004), http://www.informatik.hu-berlin.de/top/pnml/about.html
Gomes, L., Barros, J., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: 5th IEEE International Conference on Industrial Informatics (INDIN 2007) (2007)
Gomes, L., Barros, J.P., Costa, A.: Petri Nets Tools and Embedded Systems Design. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) (2007)
FORDESIGN project: FORDESIGN project home page (2007), http://www.uninova.pt/fordesign
Westergaard, M., Lassen, K.B.: The BRITNeY Suite Animation Tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 431–440. Springer, Heidelberg (2006)
Westergaard, M.: BRITNeY suite website, http://wiki.daimi.au.dk/tincpn/
CPN-Tools: CPN Tools homepage, http://wiki.daimi.au.dk/cpntools/
Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Execution of UML models with CPN Tools for workflow requirements validation. In: Proceedings of Sixth CPN Workshop, DAIMI, vol. PB-576, pp. 231–250 (2005)
ExSpect tool: The ExSpect tool website, http://www.exspect.com/
Magee, J., Kramer, J.: Concurrency - State Models and Java Programs. John Wiley & Sons, Chichester (1999)
Kindler, E., Pales, C.: 3d-visualization of Petri net models: Concepts and visualization. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 464–473. Springer, Heidelberg (2004)
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
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lourenco, J., Gomes, L. (2008). Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. In: van Hee, K.M., Valk, R. (eds) Applications and Theory of Petri Nets. PETRI NETS 2008. Lecture Notes in Computer Science, vol 5062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68746-7_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-68746-7_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68745-0
Online ISBN: 978-3-540-68746-7
eBook Packages: Computer ScienceComputer Science (R0)