Before FRA
Petri Net Canvas
100%
Mode: Smart
Enabled transitions: none
Canvas controls
| Left mouse button on a node | Select or move a node |
| Left mouse button and drag a group | Move all selected nodes |
| Left mouse button on empty canvas | Pan the view |
| Right or middle mouse button and drag | Pan the view, including over a node |
| Space and left mouse button | Force panning from any location |
| Scroll | Zoom in or out |
| Ctrl + A | Select all |
| Delete / Backspace | Delete the selected element |
| Double-click a node | Edit label, tokens or angle |
| Double-click an arc | Add a bend point |
| Center button | Center net |
| 🔍 / Alt | Magnifier; right-click the icon or use Alt+Scroll to change zoom |
Editing modes
| Select | Select or move a node |
| Place | Click the canvas to add a place |
| Transition | Click the canvas to add a transition |
| Arc | Click the source and then the target (P↔T) |
Hypergraph Drawing
Selection mode. Add hypervertices and hyperedges.
Selection hypergraph comparison
Before and after FRA reduction.
After FRA
Hypergraph editor controls
| Hypervertex | Click an empty canvas location |
| Hyperedge | Click hypervertices and confirm with the button |
| Select | Click an element or drag a hypervertex |
| Double-click | Change an element label |
| Right or middle mouse button | Pan the view |
| Scroll | Zoom in or out |
r-exact analysis has not been run yet.
Structural classification has not been run yet.
c-exact spectrum has not been run yet.
XT structural conditions have not been checked yet.
No hypergraph analysis results.
Tools Panel: Edit
Decomposition View
100%
No decomposition data. Compute p-invariants or an SFC model.
Decomposition view controls
| Left mouse button on a node and drag | Move a node |
| Left mouse button on empty canvas | Pan the view |
| Right or middle mouse button and drag | Pan the view, including over a node |
| Shift and left mouse button and drag | Force panning |
| Scroll | Zoom in or out |
| 🔍 / Alt | Magnifier; right-click the icon or use Alt+Scroll to change zoom |
View mode
| Transversal | Subnets from the transversal solution |
| Selection hypergraph | All correct automata subnets |
| All p-invariants | All computed P-invariants |
| Source positions | Nodes at positions from the original net |
| Auto | Automatic layered layout |
No visualization details.
Benchmark Results
Benchmark module ready.
No active benchmark.
No benchmark results.
No LaTeX code.