ClassPairs: Classifies the pairs to create a footprint

Description Usage Arguments

Description

Classifies each of the pairs as required to draw the Petri net and the footprint. Pairs are identified by rows in the dataframe, The first column is the preceding point and the second column is the following point. There are 4 values the pair can take:

  1. R or Right. The first value always precedes the second value. It is called Right because the process flows towards the right.

  2. L or Left. The first value always follows the second value. Similarly, the process flows to the left.

  3. # or unrelated. These two values never directly interact. One never directly follows the other.

  4. || or parallel. These two values are do not have an order between them and can happen in either order e.g. AB or BA

Usage

1
ClassPairs(L, traces)

Arguments

L

dataframe from the MakePairs function

traces

list of traces


kuhnrl30/AuditTools documentation built on May 20, 2019, 7:05 p.m.