ca.uqac.lif.ecp.petrinet

Class AtomicPetriNetBuilder

java.lang.Object

ca.uqac.lif.ecp.petrinet.AtomicPetriNetBuilder

public class AtomicPetriNetBuilder
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AtomicPetriNetBuilder()

Method Summary

Modifier and Type	Method and Description
static PetriNet<AtomicEvent>	parseFromString(java.util.Scanner scanner) Defines the Petri net from a structured string.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AtomicPetriNetBuilder

public AtomicPetriNetBuilder()

Method Detail

parseFromString

public static PetriNet<AtomicEvent> parseFromString(java.util.Scanner scanner)
                                             throws java.text.ParseException

Defines the Petri net from a structured string. The string itself is just a succession of "words" separated by whitespace with the following structure:

T label₁ label₂

Defines an arrow from a transition named label₁ to a place named label₂

P label₁ label₂

Defines an arrow from a place named label₁ to a transition named label₂

M label₁ x

Defines an initial marking by putting x tokens into a place named label₁

For example, Petri net N shown on Wikipedia's entry would be represented as:

 T T1 p1
 P p1 T2
 T T2 p2
 P p2 T3
 M p1 0
 M p2 0
 

The order in which lines are input does not matter: transitions and places are created the first time their label is seen by the parser.

Caveat emptor: the parser assumes the string is well-formed but does not check it. A malformed string will likely cause a runtime error of some kind.

Parameters:

scanner - A scanner to an input string

Throws:

java.text.ParseException