enabled {petrinetR}

Enabled transitions

Description

List the enabled transitions in a marked Petri Net. Silent transitions, i.e. starting with "inv_" or "tau" are assumed to be able to fire silently, thereby possible enabling other transitions.

Usage

enabled(PN)

Arguments

PN

A Petri Net