Uses of Class
org.oristool.petrinet.Marking

Packages that use Marking
Package
Description
Analysis of GSPNs.
Reachability analysis in GSPNs.
Analysis of Petri nets.
Analysis of STPNs.
Analysis of MRPs under enabling restriction.
Steady-state analysis of MRPs.
Transient analysis of MRPs and GSMPs.
Calculus of stochastic state classes.
Analysis of TPNs.
Petri net representation.
Simulator framework.
Provides classes for the simulation of STPNs.