FROM PETRI NETS TO EXECUTABLE SYSTEMS: AN ENVIRONMENT FOR CODE GENERATION AND ANALYSIS

João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias

Abstract

There is an increased awareness regarding the importance of executable system’s specifications, in particular, graphical specifications. Although most Petri nets variants are recognised as a versatile formalism, with an intuitive graphical specifications and a precise semantics, most Petri nets tools limit themselves to graphical editing and some type of simulation, system analysis, or both. This paper presents a new development environment based on Petri nets. This environment enables the use of ad-hoc Petri net classes as domain specific languages and allows the net models compositions and evolution through a set of orthogonal and generic modification operations. It also generates ANSI C code (easily extendable to other executable code) amenable to be implemented in general-purpose hardware platforms, without sophisticated resources available. Additionally, one major environment feature is the use of the same generated executable code, both for simulation and for analysis purposes.

References

  1. Barros, J. and Gomes, L. (2004a). Net model composition and modi cation by net operations: a pragmatic approach. In Proceedings of the 2th IEEE International Conference on Industrial Informatics (INDIN'04). (to appear).
  2. Barros, J. and Gomes, L. (2004b). On the use of coloured Petri nets for object oriented design. In Michelis, G., D. and Diaz, M., editors, Lecture Notes in Computer Science; , 25th International Conference on Application and Theory of Petri Nets 2004. Springer. (to appear).
  3. Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., and Weber, M. (2003). The Petri net markup language: Concepts, technology, and tools. In van der Aalst, W. and Best, E., editors, Proceeding of the 24th International Conference on Application and Theory of Petri Nets, volume 2679 of LNCS, pages 483-505, Eindhoven, Holland. Springer-Verlag.
  4. Desel, J. and Esparza, J. (1995). Free choice Petri nets. Cambridge University Press.
  5. Desel, J. and Reisig, W. (1998). Place/transition Petri nets. Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, 1491:122-173.
  6. Eclipse (2004). Eclipse.org. http://www.eclipse. org.
  7. GEF (2004). Graphical editing framework. http:// www.eclipse.org/gef/.
  8. Gomes, L. and Barros, J. (2003). On structuring mechanisms for Petri nets based system design. In Proceedings of the 2003 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2003), pages 431-438. IEEE Catalog Number: 03TH8696.
  9. Gomes, L., Barros, J., and Costa, A. (2002). Petri net model node structuring techniques for embedded system design. In Proceedings of the 5th Portuguese Conference on Automatic Control (CONTROLO'2002), Aveiro, Portugal. Associac¸ão Portuguesa de Controlo Automatico (APCA).
  10. Harel, D. (1992). Biting the silver bullet: Toward a brighter future for system development. Computer, 25(1):8- 20.
  11. Jüngel, M., Kindler, E., and Weber, M. (2000). The Petri net markup language. In Phillipi, S., editor, Workshop Algorithmen und Werkzeuge fr Petrinetze.
  12. OMG (1997-2003a). OMG Model Driven Architecture. http://www.omg.org/mda.
  13. OMG (1997-2003b). Presentations and papers. http:// www.omg.org/mda/presentations.htm.
  14. Petri nets Standard (2004). Petri nets standard. http://www.daimi.au.dk/PetriNets/ standardisation/.
  15. Petri Nets Tool Database (2004). Petri nets tool database. http://www.daimi.au.dk/PetriNets/ tools/db.html.
  16. Rozenberg, G. (1987). Behaviour of elementary net systems. In Advances in Petri nets 1986, part I on Petri nets: central models and their properties, pages 60- 94. Springer-Verlag.
Download


Paper Citation


in Harvard Style

Paulo Barros J., Gomes L., Pais R. and Dias R. (2004). FROM PETRI NETS TO EXECUTABLE SYSTEMS: AN ENVIRONMENT FOR CODE GENERATION AND ANALYSIS . In Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 972-8865-12-0, pages 464-467. DOI: 10.5220/0001142104640467


in Bibtex Style

@conference{icinco04,
author={João Paulo Barros and Luís Gomes and Rui Pais and Rui Dias},
title={FROM PETRI NETS TO EXECUTABLE SYSTEMS: AN ENVIRONMENT FOR CODE GENERATION AND ANALYSIS},
booktitle={Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2004},
pages={464-467},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001142104640467},
isbn={972-8865-12-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - FROM PETRI NETS TO EXECUTABLE SYSTEMS: AN ENVIRONMENT FOR CODE GENERATION AND ANALYSIS
SN - 972-8865-12-0
AU - Paulo Barros J.
AU - Gomes L.
AU - Pais R.
AU - Dias R.
PY - 2004
SP - 464
EP - 467
DO - 10.5220/0001142104640467