modelverse/integration/code/pn_critical_section.mvc

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

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

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