places: Places

View source: R/places.R

placesR Documentation

Places

Description

Extracts the places from a Petri Net

Usage

places(PN)

## S3 method for class 'petrinet'
places(PN)

## S3 method for class 'marked_petrinet'
places(PN)

Arguments

PN

petrinet or marked_petrinet

Methods (by class)

  • places(petrinet): Places of petrinet

  • places(marked_petrinet): Places of marked petrinet


bupaverse/petrinetR documentation built on April 23, 2023, 10:41 p.m.