Uses of Class
org.jbpt.petri.unfolding.Event

Packages that use Event

Package	Description
org.jbpt.petri.querying
org.jbpt.petri.unfolding
org.jbpt.petri.untangling.pss

Uses of Event in org.jbpt.petri.querying

Constructor parameters in org.jbpt.petri.querying with type arguments of type Event

Constructor and Description
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)

Uses of Event in org.jbpt.petri.unfolding

Constructors in org.jbpt.petri.unfolding with parameters of type Event

Constructor and Description
Condition(Place place, Event event)

Constructor parameters in org.jbpt.petri.unfolding with type arguments of type Event

Constructor and Description
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
OccurrenceNet(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> unf)
OrderingRelationsGraph(IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> bp)

Uses of Event in org.jbpt.petri.untangling.pss

Constructor parameters in org.jbpt.petri.untangling.pss with type arguments of type Event

Constructor and Description
ProcessSetSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> pis)
ProcessSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> pi)