Advertisement

Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models

  • João Lourenco
  • Luís Gomes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5062)

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.

Keywords

Graphical User Interface Graphical Editor Interactive Graphical User Interface Animated Image Design Automation Tool 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    PNML: Petri Net Markup Language (PNML) (2004), http://www.informatik.hu-berlin.de/top/pnml/about.html
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    FORDESIGN project: FORDESIGN project home page (2007), http://www.uninova.pt/fordesign
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Westergaard, M.: BRITNeY suite website, http://wiki.daimi.au.dk/tincpn/
  10. 10.
    CPN-Tools: CPN Tools homepage, http://wiki.daimi.au.dk/cpntools/
  11. 11.
    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)Google Scholar
  12. 12.
    ExSpect tool: The ExSpect tool website, http://www.exspect.com/
  13. 13.
    Magee, J., Kramer, J.: Concurrency - State Models and Java Programs. John Wiley & Sons, Chichester (1999)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • João Lourenco
    • 1
  • Luís Gomes
    • 1
  1. 1.Universidade Nova de Lisboa / UNINOVAPortugal

Personalised recommendations