Uses of Class
org.jbpt.petri.unfolding.AbstractProperCompletePrefixUnfolding

Packages that use AbstractProperCompletePrefixUnfolding

Package	Description
org.jbpt.petri.unfolding

Uses of AbstractProperCompletePrefixUnfolding in org.jbpt.petri.unfolding

Subclasses of AbstractProperCompletePrefixUnfolding in org.jbpt.petri.unfolding

Modifier and Type	Class and Description
class	ProperCompletePrefixUnfolding
class	SoundUnfolding Unfolding for soundness checks Proof of concept - must be improved
class	SoundUnfoldingMSMS Unfolding for soundness checks (multi-source-multi-sink nets)