Petri nets tools framework supporting FPGA-based controller implementations

IECON Proceedings (Industrial Electronics Conference)

Volumn , Issue , 2008, Pages 2477-2482

  Costa, Anikó ^a,c   Gomes, Luís ^a,c   Barros, João Paulo ^b,c   Oliveira, João Fradinho ^a   Reis, Tiago ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b INSTITUTO POLITÉCNICO DE BEJA   (Portugal)

^c UNINOVA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; C (PROGRAMMING LANGUAGE); CONTROLLERS; EMBEDDED SYSTEMS; INDUSTRIAL ELECTRONICS; INTEGRATED CIRCUIT DESIGN; PETRI NETS; RECONFIGURABLE ARCHITECTURES;

AUTOMATIC CODE GENERATORS; DEVELOPMENT METHODOLOGY; DISTRIBUTED CONTROLLER; FPGA-BASED CONTROLLER; FPGA-BASED IMPLEMENTATION; IMPLEMENTATION PLATFORMS; MICROCONTROLLER ARCHITECTURE; RECONFIGURABLE PLAT-FORMS;

FIELD PROGRAMMABLE GATE ARRAYS (FPGA);

EID: 63149130729     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2008.4758345     Document Type: Conference Paper

References (18)

1. th IEEE International Conference on Industrial Informatics (INDIN'07), Jul 2007.
2. R. David and H. Alla. Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems. Prentice Hall International (UK) Ltd, 1992.
3. FORDESIGN project home page. http://www.uninova.pt/fordesign, 2007.
4. G. Frey and M. Minas. Editing, Visualizing, and Implementing Signal Interpreted Petri Nets. In Proceedings of the AWPN 2000, Koblenz, pages 57-62, Oct. 2000.
5. rd IEEE International Conference on Industrial Informatics (INDIN 2005)., Aug. 2005.
6. th IEEE International Conference on Industrial Informatics (INDIN'07), Jul 2007.
7. L. Gomes, J. P. Barros, and A. Costa. Structuring mechanisms in Petri net models: From specification to FPGA based implementations. In M. Adamski, A. Karatkevich, and M. Wegrzyn, editors, Design of embedded control systems, pages pp. 153-166. Springer, 2005.
8. L. Gomes, J. P. Barros, and A. Costa. Petri Nets Tools and Embedded Systems Design. In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), Jun 2007.
9. L. Gomes and J. Lourenco. Petri nets-based automatic generation gui tools for embedded systems. In HSI'2008 - Conference on Human System Interaction, Krakow, Poland, May 25-27 2008.
10. H.-M. Hanisch and A. Lüder. A Signal Extension for Petri Nets and its Use in Controller Design. Fundamenta Informaticae, 41(4):415-431, 2000.
11. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of computer Programming, 8:231-274, 1987.
12. ISO. ISO/JTC1/SC7/WG19. Software and Systems Engineering - High-level Petri Nets Part 2: Transfer Format. FCD 15909-2, v. 1.2.0, ISO/IEC, June 2007.
13. J. Lourenco and L. Gomes. Animated graphical user interface generator framework for input-output place-transition petri net models. In ICATPN'2008; 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Xi'an, China, June 23-27 2008. Springer. Lecture Notes in Computer Science.
14. Petri Net world home page. http://www.informatik.uni-hamburg.de/TGI/ PetriNets/,2008.
15. W. Reisig. Petri nets: an Introduction. Springer-Verlag New York, Inc., 1985.
16. M. Silva. Las Redes de Petri: en la Automática y la Informática. Editorial AC, Madrid, 1985.
17. SIPN Tool home page. http://www.eit.uni-kl.de/litz/ENGLISH/software/ SIPNEditor.htm, 2008.
18. SYROCO Tool home page. http://w3.univ-tlsel.fr/irit/soc/coo/, 2008.