Extensions

Class Transition

class Transition (snk.Transition) :

Method Transition.__init__

def __init__ (self, name, guard=None, **args) :

Method Transition.vars

def vars (self) :

Class PetriNet

class PetriNet (snk.PetriNet) :

Method PetriNet.__init__

def __init__ (self, name, **args) :

Method PetriNet.copy

def copy (self, name=None) :

Method PetriNet.add_place

def add_place (self, place, **args) :

Method PetriNet.add_transition

def add_transition (self, trans, **args) :