Authors:
João Paulo Barros
1
;
Luís Gomes
2
;
Rui Pais
1
and
Rui Dias
2
Affiliations:
1
Universidade Nova de Lisboa / UNINOVA; Instituto Politécnico de Beja, Escola Superior de Tecnologia e Gestão, Portugal
;
2
Universidade Nova de Lisboa / UNINOVA, Portugal
Keyword(s):
Petri nets, modularisation, code generation, executable models, verification, domain specific languages.
Related
Ontology
Subjects/Areas/Topics:
Formal Methods
;
Informatics in Control, Automation and Robotics
;
Modeling, Simulation and Architectures
;
Petri Nets
;
Robotics and Automation
;
Simulation and Modeling
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.