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

Packages that use IntfPetriNetBase

br.uerj.petrinetanalyzer.common
br.uerj.petrinetanalyzer.common.interfaces
br.uerj.petrinetanalyzer.gui.objects

Uses of IntfPetriNetBase in br.uerj.petrinetanalyzer.common

Classes in br.uerj.petrinetanalyzer.common that implement IntfPetriNetBase

class

ImplPetriNetBase Classe base para definição de Redes de Petri.

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

Methods in br.uerj.petrinetanalyzer.common.interfaces with parameters of type IntfPetriNetBase

IntfPetriNetProperties

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

Uses of IntfPetriNetBase in br.uerj.petrinetanalyzer.gui.objects

Classes in br.uerj.petrinetanalyzer.gui.objects that implement IntfPetriNetBase

class

PetriNetGraph Esta classe é a classe base para definição de Redes de Petri.