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...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Tools for modeling and deploying hardware architectures
Conclusion
Article included in this offer
"Control and systems engineering"
(
143 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
![Écoutez notre podcast Cogitons Sciences : Clément Thivin, un ingénieur pas bateau [Des ingénieurs qui cassent la routine #3]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2022/04/visuel-Article-actu-Podcast-12-ok-2.png)
