Package org.oristool.models

package org.oristool.models

Provides classes for the analysis of different models.

Related Packages

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn	Analysis of STPNs.
org.oristool.models.tpn	Analysis of TPNs.

Class	Description
Engine<M,S,R>	Common interface of analysis engines.
ValidationMessageCollector	A collector of error messages for the user.
ValidationMessageCollector.Level