Uses of Interface
br.uerj.petrinetanalyzer.common.interfaces.IntfPetriNetProperties

Packages that use IntfPetriNetProperties

br.uerj.petrinetanalyzer.common.interfaces
br.uerj.petrinetanalyzer.engine

Uses of IntfPetriNetProperties in br.uerj.petrinetanalyzer.common.interfaces

Methods in br.uerj.petrinetanalyzer.common.interfaces that return IntfPetriNetProperties

IntfPetriNetProperties

IntfAnalyzer.verifyProperties(IntfPetriNetBase redePetri) Veriica as Propriedades da Rede de Petri

Uses of IntfPetriNetProperties in br.uerj.petrinetanalyzer.engine

Classes in br.uerj.petrinetanalyzer.engine that implement IntfPetriNetProperties

class

PetriNetProperties Possui métodos que retornam um conjunto de propriedades verificadas na Rede de Petri