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 $t$...