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

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

2004

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.

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