ca.uqac.lif.ecp.petrinet

Class PetriNet<T extends Event>

java.lang.Object

ca.uqac.lif.ecp.petrinet.PetriNet<T>

public class PetriNet<T extends Event>
extends java.lang.Object

Generates a trace of events based on the definition of a Petri net. For more information about Petri nets, see Wikipedia's entry.

See parseFromString for a precise definition of the input format to specify the Petri net.

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.String,java.lang.Integer>	m_initialMarking The list of places that contain a token in the initial marking
protected java.util.List<Place<T>>	m_places The list of places in the Petri net
protected java.util.List<Transition<T>>	m_transitions The list of transitions in the Petri net

Constructor Summary

Constructors

Constructor and Description
PetriNet() Creates an empty Petri Net

Method Summary

Modifier and Type	Method and Description
boolean	fire(Transition<T> t) Attempts to fire a transition in the current state of the Petri net.
protected Place<T>	getPlace(java.lang.String label) Gets the place with given label
void	reset() Resets the Petri net to its initial markings
void	setInitialMarking(java.lang.String label, int value) Adds tokens to the initial marking of this Petri net.

Methods inherited from class java.lang.Object

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

Field Detail

m_places

protected java.util.List<Place<T extends Event>> m_places

The list of places in the Petri net

m_transitions

protected java.util.List<Transition<T extends Event>> m_transitions

The list of transitions in the Petri net

m_initialMarking

protected java.util.Map<java.lang.String,java.lang.Integer> m_initialMarking

The list of places that contain a token in the initial marking

Constructor Detail

PetriNet

public PetriNet()

Creates an empty Petri Net

Method Detail

reset

public void reset()

Resets the Petri net to its initial markings

getPlace

protected Place<T> getPlace(java.lang.String label)

Gets the place with given label

Parameters:

label - The label

Returns:

The place, or null if the place was not found

fire

public boolean fire(Transition<T> t)

Attempts to fire a transition in the current state of the Petri net.

Parameters:

t - The transition to fire

Returns:

true if the transition can fire, false otherwise. If the transition fires, the Petri net's state is updated accordingly.

setInitialMarking

public void setInitialMarking(java.lang.String label,
                              int value)

Adds tokens to the initial marking of this Petri net.

Parameters:

label - The label of the place where tokens should be added

value - The number of tokens to put there