Esempi in Python per PetriNet.enabled_transitions

Esempio n. 1

File: test_petri_net.py Progetto: 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]

Esempio n. 2

File: test_petri_net.py Progetto: 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]