4. Tools for modeling and deploying hardware architectures
In this section, we present platforms for modeling and analyzing Petri nets, and a tool for deploying Petri nets on target architectures.
4.1 Modeling, simulation and analysis platforms
ROMÉO and TINA are toolboxes offering modeling, simulation, state-space abstraction generation and verification facilities for Petri and temporal networks. Both enable structural analysis, and include model-checkers (a fragment of TCTL for ROMÉO, SE-LTL and µcalculus for TINA). Both can interface with the C language. Differences include the ability to manipulate parameters with ROMEO and to compose Petri nets with TINA, as well as the use of priorities. ROMEO and TINA are free software programs under GPL license (CeCILL compatible for ROMEO). They both run on Windows, Linux...
The Ultimate Scientific and Technical Reference
This article is included in
Control and systems engineering
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Tools for modeling and deploying hardware architectures
Conclusion
Bibliography
The Ultimate Scientific and Technical Reference
