petri·Murata 1989 / ISO-IEC 15909·software, industrial·complexity 3/3·since v0.6.0

Petri net arc types

Petri net showing standard, inhibitor, read, reset, weighted arcs, capacity, and enabled-transition highlighting in one compact control example.

For the concurrency engineer

Open in Playground →

petri·§ —

↘ preview

100%

UTF-8 · LF · 21 lines · 345 chars✓ parsed·8.0 ms·6.7 KB SVG

Scenario

Petri nets become much more expressive once arc types carry semantics. This example shows a start transition that requires permission, is inhibited by a fault, consumes two buffer tokens, and can be reset from a fault state.

Annotation key

-- is a read arc: test without consuming.
-o is an inhibitor arc: enabled only when the place is empty.
=> is a reset arc: clear the source place when the transition fires.

Petri net syntax →