Exemplos de PetriNet.enabled_transitions em Python

Exemplo n.º 1

Arquivo: test_petri_net.py Projeto: bivab/pytri

def test_net():
    t1 = Transition([0], [1])
    t2 = Transition([1], [0])
    p = PetriNet([t1, t2])
    state = State([0, 1], p)
    p.enabled_transitions(state) == [t2]

Exemplo n.º 2

Arquivo: test_petri_net.py Projeto: bivab/pytri

def test_petri_net_enabled_transitions():
    t1 = Transition([0], [])
    t2 = Transition([1], [2])
    p = PetriNet([t1,t2])
    assert p.enabled_transitions(State([1, 0, 0])) == [t1]