6. Glossary
k-borné
A Petri net is k-bordered if all reachable tags in its reachability graph are k-bordered.
EMBEDPN
Software for embedding a Petri net on a microcontroller or FPGA.
ROMÉO
Software platform for Petri net modeling and analysis.
TINA
Software platform for Petri net modeling and analysis.
Accessibility graph
A graph whose arcs are transition crossings and whose vertices are the set of accessible markings.
P-Temporal Petri nets (P-TPN)
Time constraints are associated with places.
Vivacity
A Petri net is alive if, for any transition ...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Glossary
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)
