modelverse/integration/code/pn_critical_section.mvc

PetriNets critical_section{
    Place crit_1{
        name = "CS1"
        tokens = 0
    }

    Place crit_2{
        name = "CS2"
        tokens = 0
    }

    Place available{
        name = "available"
        tokens = 1
    }
}