powered by
Extracts the places from a Petri Net
places(PN)# S3 method for petrinet places(PN)# S3 method for marked_petrinet places(PN)
# S3 method for petrinet places(PN)
# S3 method for marked_petrinet places(PN)
petrinet or marked_petrinet
petrinet
marked_petrinet
places(petrinet): Places of petrinet
places(petrinet)
places(marked_petrinet): Places of marked petrinet
places(marked_petrinet)