ca.uqac.lif.ecp.petrinet

Class Transition<T extends Event>

java.lang.Object

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

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

A transition in a Petri net is a graph node that is linked via incoming and outgoing arrows to places. A transition of a Petri net may fire whenever there are sufficient tokens in the places from all incoming arcs; when it fires, it consumes these tokens, and places tokens at the end of all output arcs.

Author:

Sylvain Hallé

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<Place<T>>	m_incoming
protected T	m_label
protected java.util.Set<Place<T>>	m_outgoing

Constructor Summary

Constructors

Constructor and Description
Transition()
Transition(T event)

Method Summary

Modifier and Type	Method and Description
void	addIncomingPlace(Place<T> p)
void	addOutgoingPlace(Place<T> p)
boolean	equals(java.lang.Object o)
boolean	equals(Transition<T> t)
void	fire()
int	hashCode()
boolean	isEnabled()

Methods inherited from class java.lang.Object

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

Field Detail

m_label

protected T extends Event m_label

m_incoming

protected java.util.Set<Place<T extends Event>> m_incoming

m_outgoing

protected java.util.Set<Place<T extends Event>> m_outgoing

Constructor Detail

Transition

public Transition()

Transition

public Transition(T event)

Method Detail

addIncomingPlace

public void addIncomingPlace(Place<T> p)

addOutgoingPlace

public void addOutgoingPlace(Place<T> p)

isEnabled

public boolean isEnabled()

fire

public void fire()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equals

public boolean equals(Transition<T> t)