Uses of Package
org.jbpt.petri

Packages that use org.jbpt.petri

Package	Description
org.jbpt.automaton
org.jbpt.petri
org.jbpt.petri.behavior
org.jbpt.petri.io
org.jbpt.petri.querying
org.jbpt.petri.structure
org.jbpt.petri.unfolding
org.jbpt.petri.unfolding.order
org.jbpt.petri.untangling
org.jbpt.petri.untangling.pss
org.jbpt.petri.wftree

Classes in org.jbpt.petri used by org.jbpt.automaton

Class and Description
Flow
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INetSystem
INode Interface to a Petri net node.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.
Marking
Node Implementation of a Petri net node.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri

Class and Description
AbstractFlow Implementation of a Petri net flow relation.
AbstractMarking Implementation of a Petri net marking.
AbstractNetSystem Implementation of a net system.
AbstractPetriNet An implementation of IPetriNet interface.
AbstractRun Implementation of a run of a net system.
AbstractStep Implementation of a step of a net system.
Flow
ICommand Interface to a state change.
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INetSystem
INode Interface to a Petri net node.
IPetriNet Interface to a Petri net.
IPlace Petri net place interface.
IRun Interface to a run (occurrence sequence) of an (INetSystem).
IStep Interface to a step in a net system.
ITransition Interface to a Petri net transition.
Marking
Node Implementation of a Petri net node.
PetriNet An implementation of IPetriNet interface.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.behavior

Class and Description
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INetSystem
INode Interface to a Petri net node.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.
NetSystem Implementation of a net system.
Node Implementation of a Petri net node.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.io

Class and Description
NetSystem Implementation of a net system.

Classes in org.jbpt.petri used by org.jbpt.petri.querying

Class and Description
Flow
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INetSystem
INode Interface to a Petri net node.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.
Marking
Node Implementation of a Petri net node.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.structure

Class and Description
IFlow Interface to a flow relation of a Petri net.
INode Interface to a Petri net node.
IPetriNet Interface to a Petri net.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.unfolding

Class and Description
AbstractPetriNet An implementation of IPetriNet interface.
Flow
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INetSystem
INode Interface to a Petri net node.
IPetriNet Interface to a Petri net.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.
Marking
Node Implementation of a Petri net node.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.unfolding.order

Class and Description
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INode Interface to a Petri net node.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.untangling

Class and Description
AbstractRun Implementation of a run of a net system.
Flow
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INetSystem
INode Interface to a Petri net node.
IPlace Petri net place interface.
IRun Interface to a run (occurrence sequence) of an (INetSystem).
IStep Interface to a step in a net system.
ITransition Interface to a Petri net transition.
Marking
Node Implementation of a Petri net node.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.untangling.pss

Class and Description
Flow
IFlow Interface to a flow relation of a Petri net.
IMarking Interface to a Petri net marking.
INetSystem
INode Interface to a Petri net node.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.
Marking
Node Implementation of a Petri net node.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.

Classes in org.jbpt.petri used by org.jbpt.petri.wftree

Class and Description
Flow
IFlow Interface to a flow relation of a Petri net.
INode Interface to a Petri net node.
IPetriNet Interface to a Petri net.
IPlace Petri net place interface.
ITransition Interface to a Petri net transition.
Node Implementation of a Petri net node.
Place Implementation of a Petri net place.
Transition Implementation of a Petri net transition.