The library documents itself · Diagramming & graphs

stzPetriNet

21 own methods · 8 forms written with extensions, listed under their method · Also inherits from stzDiagram (244) · stzGraph (289)

the source: base/graph/stzPetriNet.ring(opens in a new tab) · All classes · The area reference: Diagramming & graphs

Under each method, its extensions (Q CS XT Z ZZ IB W U): bold and ticked, it exists; struck, it does not. The extensions and what they mean

Examples: 0 come from the library's tests; 1 were composed from each method's signature and run for this page, on a fresh object, for example o1 = new stzPetriNet("witness"). 20 methods have none yet. Examples run on 2026-10-03 12:54 inside the library at commit 0e72e2e2c.

Method

Explanation, as the source carries it

init

(no comment in the source: the name reads as a sentence) initno extension

AddPlace

the netQCSXTZZZIBWU

AddTransition

(no comment in the source: the name reads as a sentence) add transitionQCSXTZZZIBWU

AddNote

(no comment in the source: the name reads as a sentence) add noteQCSXTZZZIBWUXTT

Arc

Arc(from, to): a token path. Accepted between any two nodes of the net so the bipartite rule has something to report; refused only to a node that is not in the net at all.QCSXTZZZIBWU

Places

(no comment in the source: the name reads as a sentence) placesno extension

Transitions

(no comment in the source: the name reads as a sentence) transitionsno extension

Arcs

(no comment in the source: the name reads as a sentence) arcsno extension

Tokens

the token gameno extension

SetTokens

(no comment in the source: the name reads as a sentence) set tokensno extension

Marking

[ [ place, tokens ] ... ] in the order the places were addedno extension

InputsOf

the input arcs of a transition: [ [ place, weight ] ... ]no extension

OutputsOf

(no comment in the source: the name reads as a sentence) outputs ofno extension

WhyNotEnabled

why a transition cannot fire, or "" when it canno extension

IsEnabled

(no comment in the source: the name reads as a sentence) is enabledno extension

Enabled

(no comment in the source: the name reads as a sentence) enabledno extension

Fire

FIRE: take each input arc's weight from its place, give each output arc's weight to its place. Refused, by name and by number, when an input is short -- a net never goes negative.QCSXTZZZIBWU

AsRuleGraph

the projection the rules readno extension

GovernanceFindings

(no comment in the source: the name reads as a sentence) governance findingsalso written: CheckRulesno extension

GovernanceIsSound

SOUND IS NO ERROR, not no finding: this net's rules set their severity deliberately, and a warning says the picture may stand. StzFindingsAreSound is the house's one answer; GovernanceFindings() is still every finding, warnings included, for a caller who wants them.also written: RulesAreSound

composed example

o1 = new stzPetriNet("witness")
? o1.GovernanceIsSound()
#--> 1

composed from the signature, run for this page

no extension

RenderTokens

the drawing --------------------------------------------------------- what was drawn inside the places on the last render: [ place, count, x, y ]no extension