Package org.jbpt.petri.log

Class Summary

Class	Description
Log	Class to represent a log of a Petri net, i.e., a set of traces.
Trace	Simple data structure to represent a single trace of a Petri net.
TraceEntry