Petri nets-based automatic generation GUI tools for embedded systems

2008 Conference on Human System Interaction, HSI 2008

Volumn , Issue , 2008, Pages 269-274

  Gomes, Luís ^a,b   Lourenço, João ^c  

^a IEEE

^b UNINOVA   (Portugal)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Design Automation; Graphical User Interface; Model based development; Petri nets

Indexed keywords

ANIMATION; CODES (STANDARDS); CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; CONTROL SYSTEMS; DATA ACQUISITION; EMBEDDED SYSTEMS; FLOW INTERACTIONS; GRAPH THEORY; INFORMATION MANAGEMENT; INTEGRATED CIRCUITS; MARINE BIOLOGY; MARKUP LANGUAGES; PARKING; PETRI NETS; SCADA SYSTEMS; USER INTERFACES;

AUTOMATIC GENERATION; BEHAVIORAL MODELING; CODE GENERATORS; DESIGN AUTOMATION; DEVELOPMENT TOOLS; EMBEDDED CONTROLS; EXTENDED PETRI NETS; GRAPHICAL USER INTERFACE; GUI TOOLS; HUMAN-SYSTEM INTERACTION; INPUT-OUTPUT; MODEL-BASED; MODEL-BASED DEVELOPMENT; PETRI NET MARKUP LANGUAGE; PETRI NET MODELS; REAL TIME; STATIC AND DYNAMIC;

GRAPHICAL USER INTERFACES;

EID: 51849133573     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HSI.2008.4581447     Document Type: Conference Paper

References (18)

1. Wolfgang Reisig. Petri nets: an Introduction. 1985. ISBN 0-387-13723-8. Springer-Verlag New York, Inc.
2. Claude Girault and Rudiger Valk. Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer. ISBN 3-540-41217-4. 2003.
3. Luís Gomes, João Paulo Barros, Anikó Costa, and Ricardo Nunes. The Input-Output Place-Transition Petri Net Class and Associated Tools. INDIN'2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna, Austria.
4. Luís Gomes, João Paulo Barros, and Anikó Costa. Petri Nets Tools and Embedded Systems Design. PNSE'07 - International Workshop on Petri Nets and Software Engineering, Siedlce, Poland, June 25-26, 2007
5. FORDESIGN project website. http://www.uninova.pt/fordesign
6. Data Structures and Software Dependability Brandenburg University of Technology Cottbus. SNOOPY's home page. 2007. http://www-dssz.informatik.tu- cottbus.de/software/snoopy.html.
7. Ricardo Nunes, Luís Gomes and João Paulo Barros. A Graphical Editor for the Input-Output Place-Transition Petri Net Class. ETFA'2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation, September 25-28, 2007; Patras, Greece.
8. PNML, Petri Net Markup Language. 2004. http://www.informatik.hu-berlin. de/top/pnml/about.html.
9. th International Conference on Application and Theory of Petri Nets. W. van der Aalst and E. Best (eds.). 483-505. 2003. LNCS-2679.
10. Glenn E. Krasner and Stephen T. Pope, A cookbook for using the model-view-controller user interface paradigm in Smaltalk-80, Journal of Object-Oriented Programming, 1(3), pp. 26-49, August/September 1988
11. R. David and H. Alla. Petri Nets \& Grafcet; Tools for Modelling Discrete Event Systems. Prentice Hall International (UK) Ltd. 1992.
12. Manuel Silva. Las Redes de Petri: en la Automatica y la Informatica. Editorial AC, Madrid, 1985.
13. M. Rausch and H.-M. Hanisch. Net Condition/Event Systems with Multiple Condition Outputs. ETFA'95, Paris, Oct. 1995. Proceedings, Vol. 1, pp. 592-600.
14. P.H. Starke, H.-M. Hanisch. Analysis of signal/event nets. ETFA '97 - 6th International Conference on Emerging Technologies and Factory Automation Proceedings; Los Angeles, CA, USA; 9-12 Sep 1997. ISBN 0-7803-4192-9. pp. 253-257.
15. João Paulo Barros, Luís Gomes; Net Model Composition and Modification by Net Operations: a Pragmatic Approach. INDIN'2004 - 2nd IEEE International Conference on Industrial Informatics; 24-26 June 2004; Berlin, Germany.
16. João Paulo Barros, Luís Gomes. Operational PNML: Towards a PNML Support for Model Construction and Modification. In Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets; Satellite event at the International Conference on Application and Theory of Petri Nets 2004, Jun 2004, Bologna, Italy
17. Kurt Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use - Volume 1 Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag. Berlin, Germany. 1997. ISBN: 3-540-60943-1.
18. David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of computer Programming. 1987. vol. 8. 231-274.