La bibliothèque se documente elle-même · Diagrammes et graphes

stzPetriNet

21 méthodes propres · 8 formes avec extensions, rangées sous leur méthode · Hérite aussi de stzDiagram (244) · stzGraph (289)

la source: base/graph/stzPetriNet.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Diagrammes et graphes

Sous chaque méthode, ses extensions (Q CS XT Z ZZ IB W U) : en gras et cochée, elle existe ; barrée, elle n'existe pas. Les extensions et leur sens

Exemples : 0 viennent des tests de la bibliothèque ; 1 ont été composés à partir de la signature de chaque méthode et exécutés pour cette page, sur un objet neuf, par exemple o1 = new stzPetriNet("witness"). 20 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 12:54 dans la bibliothèque au commit 0e72e2e2c.

Méthode

Explication, telle que la source la porte

init

(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension

AddPlace

the netQCSXTZZZIBWU

AddTransition

(sans commentaire dans la source : le nom se lit comme une phrase) add transitionQCSXTZZZIBWU

AddNote

(sans commentaire dans la source : le nom se lit comme une phrase) 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

(sans commentaire dans la source : le nom se lit comme une phrase) placesaucune extension

Transitions

(sans commentaire dans la source : le nom se lit comme une phrase) transitionsaucune extension

Arcs

(sans commentaire dans la source : le nom se lit comme une phrase) arcsaucune extension

Tokens

the token gameaucune extension

SetTokens

(sans commentaire dans la source : le nom se lit comme une phrase) set tokensaucune extension

Marking

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

InputsOf

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

OutputsOf

(sans commentaire dans la source : le nom se lit comme une phrase) outputs ofaucune extension

WhyNotEnabled

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

IsEnabled

(sans commentaire dans la source : le nom se lit comme une phrase) is enabledaucune extension

Enabled

(sans commentaire dans la source : le nom se lit comme une phrase) enabledaucune 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 readaucune extension

GovernanceFindings

(sans commentaire dans la source : le nom se lit comme une phrase) governance findingsaussi écrite: CheckRulesaucune 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.aussi écrite: RulesAreSound

exemple composé

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

composé à partir de la signature, exécuté pour cette page

aucune extension

RenderTokens

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