Package ca.uqac.lif.ecp.petrinet

Classes for manipulating specifications expressed as Petri nets.

See: Description

Class Summary

Class	Description
AtomicPetriNetBuilder
PetriNet<T extends Event>	Generates a trace of events based on the definition of a Petri net.
Place<T extends Event>	A place in a Petri net is a graph node that can contain zero or more tokens.
Transition<T extends Event>	A transition in a Petri net is a graph node that is linked via incoming and outgoing arrows to places.

Package ca.uqac.lif.ecp.petrinet Description

Classes for manipulating specifications expressed as Petri nets.

Author:

Sylvain Hallé