├── .gitignore ├── .travis.yml ├── AUTHORS ├── LICENSE ├── README.md ├── appveyor.yml ├── apt.sh ├── authors.sh ├── checkstyle.xml ├── checkstyle_suppress.xml ├── doc ├── APT.pdf ├── benchmarking.md ├── extending.md ├── file_format.md ├── internals.md ├── json.md ├── logo.png ├── obtaining.md └── using.md ├── header_java.txt ├── ivy.xml ├── lib ├── antlr-4.5.1 │ ├── LICENSE.txt │ ├── antlr-4.5.1-complete.jar │ └── antlr-runtime-4.5.1.jar ├── asm-4.1 │ ├── LICENSE.txt │ └── asm-4.1.jar ├── checkstyle-6.1.1 │ ├── LICENSE │ ├── LICENSE.apache20 │ ├── README-Eclipse.txt │ ├── README.md │ ├── RIGHTS.antlr │ └── checkstyle-6.1.1-all.jar ├── commons-collections4-4.0 │ ├── LICENSE.txt │ ├── NOTICE.txt │ ├── README.txt │ ├── RELEASE-NOTES.txt │ ├── commons-collections4-4.0-javadoc.jar │ └── commons-collections4-4.0.jar ├── commons-io-2.4 │ ├── LICENSE.txt │ ├── NOTICE.txt │ ├── RELEASE-NOTES.txt │ ├── commons-io-2.4-javadoc.jar │ └── commons-io-2.4.jar ├── hamcrest-1.3 │ ├── LICENSE.txt │ ├── hamcrest-core-1.3-javadoc.jar │ ├── hamcrest-core-1.3.jar │ ├── hamcrest-library-1.3-javadoc.jar │ └── hamcrest-library-1.3.jar ├── json-20160810 │ ├── LICENSE.txt │ └── json.jar ├── mockito-1.9.5-rc1 │ ├── LICENSE │ ├── NOTICE │ ├── mockito-all-1.9.5-rc1-javadoc.jar │ └── mockito-core-1.9.5-rc1.jar ├── objenesis-1.2 │ ├── LICENSE │ ├── NOTICE │ ├── objenesis-1.2-javadoc.jar │ └── objenesis-1.2.jar ├── sat4j-2.3.2 │ ├── LICENSE.txt │ └── org.sat4j.core.jar ├── smtinterpol-2.1-335-g4c543a5 │ ├── LICENSE │ └── smtinterpol.jar ├── stringtemplate-4.0.8 │ ├── LICENSE.txt │ └── ST-4.0.8.jar └── testng-6.9.9 │ ├── LICENSE.txt │ ├── jcommander-1.48.jar │ ├── testng-6.9.9-javadoc.jar │ └── testng-6.9.9.jar ├── nets ├── EB-PhD-Fundamenta.apt ├── crashkurs-cc1-aut.apt ├── crashkurs-cc1-net.apt ├── crashkurs-cc10-net.apt ├── crashkurs-cc11-net.apt ├── crashkurs-cc12-net.apt ├── crashkurs-cc13-net.apt ├── crashkurs-cc14-net.apt ├── crashkurs-cc2-aut.apt ├── crashkurs-cc2-net.apt ├── crashkurs-cc2-net.lola.pnml ├── crashkurs-cc2-net.pipe.pnml ├── crashkurs-cc2inf-net.apt ├── crashkurs-cc3-aut.apt ├── crashkurs-cc3-net.apt ├── crashkurs-cc4-net.apt ├── crashkurs-cc5-net.apt ├── crashkurs-cc6-net.apt ├── crashkurs-cc7-net.apt ├── crashkurs-cc8-net.apt ├── crashkurs-cc9-net.apt ├── cycles │ ├── CyclesWithDisjunktParikhVector-aut.apt │ ├── CyclesWithSameParikhVector-aut.apt │ ├── CyclesWithSameParikhVector1-aut.apt │ ├── FullyConnected-aut.apt │ ├── NoCycle-aut.apt │ ├── OneCycle-aut.apt │ ├── OneCycle1-aut.apt │ ├── TwoCycles-aut.apt │ └── TwoIntersectingCycles-aut.apt ├── doubleMarking.apt ├── eb-nets │ ├── aeq-iso-bisim │ │ ├── 1a-lts.apt │ │ ├── 1a-net.apt │ │ ├── 1b-lts.apt │ │ ├── 1b-net.apt │ │ ├── 2a-lts-Dec1.pdf │ │ ├── 2a-lts.apt │ │ ├── 2a-net.apt │ │ ├── 2b-lts.apt │ │ ├── 2b-net.apt │ │ ├── 3a-lts.apt │ │ ├── 3a-net.apt │ │ ├── 3b-lts.apt │ │ ├── 3b-net.apt │ │ ├── 4a-lts.apt │ │ ├── 4a-net.apt │ │ ├── 4b-lts-Dec1.pdf │ │ ├── 4b-lts.apt │ │ └── 4b-net.apt │ ├── basic │ │ ├── eb1-net.apt │ │ ├── eb2-net.apt │ │ ├── eb3-net.apt │ │ ├── eb3a-net.apt │ │ ├── eb4-net.apt │ │ ├── pn1a-net.apt │ │ ├── pn1b-net.apt │ │ ├── pn2-net.apt │ │ └── pn3-net.apt │ ├── cover │ │ ├── cover1-net.apt │ │ └── cover2-net.apt │ ├── distr │ │ ├── distr-fig12-net.apt │ │ ├── distr-fig13-net.apt │ │ ├── distr-fig14-net.apt │ │ ├── distr-fig19a-net.apt │ │ ├── distr-fig19b-net.apt │ │ ├── parikh-non-1-alt-lts.apt │ │ ├── parikh-non-1-alt-net.apt │ │ ├── parikh-non-1-lts.apt │ │ └── parikh-non-1-net.apt │ ├── fc │ │ ├── fc1a-net.apt │ │ ├── fc1b-net.apt │ │ ├── no-homestate-1-net.apt │ │ └── tnet1-net.apt │ ├── more │ │ ├── 3-2-net.apt │ │ ├── aabbcc-lts.apt │ │ ├── aabbcc-net.apt │ │ ├── aabbcc-synet-net.apt │ │ ├── aabbcc-synet-save-net.apt │ │ ├── aabbcc-synet-save.net │ │ ├── aabbcc.aut │ │ └── bd-net.apt │ ├── pers │ │ ├── parikh-non-1-net.apt │ │ ├── parikh-non-1-nonpers-net.apt │ │ ├── pers-fig1-net.apt │ │ ├── pers-fig2-net.apt │ │ ├── pers-fig4-net.apt │ │ └── pers-fig5-net.apt │ ├── sep │ │ ├── sep-basic1-net.apt │ │ ├── sep-basic2-net.apt │ │ ├── sep-basic3-net.apt │ │ ├── sep-basic3a-net.apt │ │ ├── sep-basic3b-net.apt │ │ ├── sep-basic3c-net.apt │ │ ├── sep-basic3d-net.apt │ │ ├── sep-basic3e-net.apt │ │ ├── sep-basic4-net.apt │ │ ├── sep-basic5-net.apt │ │ ├── sep-fc-net.apt │ │ ├── sep-fi-fig8a-auseinandergezogen-net.apt │ │ ├── sep-fi-fig8a-net.apt │ │ ├── sep-fi-fig9-net.apt │ │ ├── sep-red-k-1-net.apt │ │ ├── sep-simple-k1-shuffle-k1.apt │ │ ├── sep-simple-k1.apt │ │ ├── sep-simple-k2.apt │ │ └── sep-weak-but-not-strong-net.apt │ └── trap-siphon-linalg │ │ ├── no-sinv-cover-net.apt │ │ ├── traps-siphons-1-net.apt │ │ ├── traps-siphons-2-net.apt │ │ └── traps-siphons-3-net.apt ├── empty-net.pnml ├── genet-nets │ ├── aufgabe1-net.g │ └── aufgabe1.g ├── isolated-and-sideconditions-nets │ ├── isolated-elements-net.apt │ ├── nonsimplesideconditions-net.apt │ ├── pure-net.apt │ └── simplesideconditions-net.apt ├── isomorphism-nets │ ├── iso-net-1A-aut.apt │ ├── iso-net-1A.apt │ ├── iso-net-1B-aut.apt │ ├── iso-net-1B.apt │ ├── iso-net-2A-aut.apt │ ├── iso-net-2A.apt │ ├── iso-net-2B-aut.apt │ ├── iso-net-2B.apt │ ├── iso-net-3A-aut.apt │ ├── iso-net-3A.apt │ ├── iso-net-3B-aut.apt │ ├── iso-net-3B.apt │ ├── iso-net-4A-aut.apt │ ├── iso-net-4A.apt │ ├── iso-net-4B-aut.apt │ └── iso-net-4B.apt ├── ksysT-net-aut-net.apt ├── lola │ ├── phils3.llnet │ └── phils5.llnet ├── not-parsable-test-nets │ ├── doubleInitialstate.apt_unparsable │ ├── doubleNodes-aut.apt_unparsable │ ├── doubleNodes-net.apt_unparsable │ ├── phils-hl.lola_unparsable │ ├── testPN-net.apt_unparsable │ └── unknown-attribute.apt_unparsable ├── one-transition-net.apt ├── persistent.apt ├── petrify-nets │ ├── pn.g │ └── state_graph.g ├── pnml-iso │ ├── G-PPP-1-1.pnml │ ├── G-PPP-1-10.pnml │ ├── G-PPP-1-100.pnml │ ├── G-PPP-1-1000.pnml │ ├── G-PPP-1-10000.pnml │ ├── G-PPP-1-100000.pnml │ ├── G-PPP-10-10.pnml │ ├── G-PPP-10-100.pnml │ ├── G-PPP-10-1000000000.pnml │ ├── G-PPP-100-10.pnml │ ├── G-PPP-100-100.pnml │ ├── G-PPP-100-1000.pnml │ ├── G-PPP-100-10000.pnml │ ├── G-PPP-100-100000.pnml │ ├── G-PPP-1000-10.pnml │ ├── G-PPP-1000-100.pnml │ ├── G-PPP-1000-1000.pnml │ ├── Piscine.pnml │ ├── Token-ring.pnml │ ├── Vasy2003.pnml │ ├── philo.pnml │ └── readme.txt_unparsable ├── readerWriter-net.apt ├── sep-praesentation-net1.apt ├── siphon-and-trap-nets │ ├── duality-test-net1.apt │ ├── duality-test-net2.apt │ ├── isolated-element-net.apt │ ├── non-fc-net.apt │ ├── not-connected-net.apt │ ├── siphon-and-trap-net.apt │ ├── siphon-test-net.apt │ ├── totally-connected-net.apt │ └── trap-test-net.apt ├── st-nets │ ├── empty-net.apt │ ├── k-net-T-sys.apt │ ├── s-inv-16.apt │ ├── s-inv-2.apt │ ├── s-inv-2b.apt │ ├── s-inv-32.apt │ ├── s-inv-4.apt │ ├── s-inv-64.apt │ ├── s-inv-8.apt │ ├── t-inv-1.apt │ └── t-inv-2.apt ├── structurally-ambiguous-coverability1-net.apt ├── structurally-ambiguous-coverability2-net.apt ├── synet-nets │ ├── mar17-12-groessere-testdatei.aut │ ├── synet-apt1-redmine-docs.aut │ ├── synet-docu-example.net │ └── synet.apt ├── testCoverability-net.apt ├── testLts-aut.apt └── testPN-net.apt ├── publish-api-doc.sh ├── src ├── ant │ └── uniol │ │ └── apt │ │ └── tasks │ │ ├── FailureException.java │ │ ├── IntegrationTestTask.java │ │ ├── ModuleParameterVerifyTask.java │ │ ├── ParsableTask.java │ │ ├── ServiceVerifyTask.java │ │ ├── WriteTestsXML.java │ │ ├── modules │ │ ├── ModuleParameterVerifyClassVisitor.java │ │ └── ModuleParameterVerifyMethodVisitor.java │ │ └── parsers │ │ ├── AbstractParserTester.java │ │ └── ParserTester.java ├── compiler │ ├── META-INF │ │ └── services │ │ │ └── javax.annotation.processing.Processor │ └── uniol │ │ └── apt │ │ └── compiler │ │ ├── AbstractAptServiceProcessor.java │ │ ├── AbstractSPIServiceProcessor.java │ │ ├── AbstractServiceProcessor.java │ │ ├── ModuleProcessor.java │ │ ├── MyTypes.java │ │ ├── ParameterTransformationProcessor.java │ │ ├── ParserProcessor.java │ │ ├── RendererProcessor.java │ │ └── ReturnValueTransformationProcessor.java ├── glue │ └── uniol │ │ └── apt │ │ ├── io │ │ ├── parser │ │ │ ├── AptParser.java │ │ │ ├── ParseException.java │ │ │ └── Parser.java │ │ └── renderer │ │ │ ├── AptRenderer.java │ │ │ ├── RenderException.java │ │ │ └── Renderer.java │ │ ├── module │ │ ├── AptModule.java │ │ ├── Category.java │ │ ├── Module.java │ │ ├── ModuleInput.java │ │ ├── ModuleInputSpec.java │ │ ├── ModuleOutput.java │ │ ├── ModuleOutputSpec.java │ │ ├── exception │ │ │ └── ModuleException.java │ │ └── package-info.java │ │ └── ui │ │ ├── AptParameterTransformation.java │ │ ├── AptReturnValueTransformation.java │ │ ├── DescribedParameterTransformation.java │ │ ├── ParameterTransformation.java │ │ └── ReturnValueTransformation.java ├── io │ └── uniol │ │ └── apt │ │ └── io │ │ ├── parser │ │ ├── AbstractParsers.java │ │ ├── LTSParsers.java │ │ ├── PNParsers.java │ │ ├── ParserNotFoundException.java │ │ ├── Parsers.java │ │ └── impl │ │ │ ├── AbstractParser.java │ │ │ ├── AptLTSFormat.g4 │ │ │ ├── AptLTSParser.java │ │ │ ├── AptPNFormat.g4 │ │ │ ├── AptPNParser.java │ │ │ ├── GenetPNParser.java │ │ │ ├── LoLAPNFormat.g4 │ │ │ ├── LoLAPNParser.java │ │ │ ├── MarkingHashMap.java │ │ │ ├── ParseRuntimeException.java │ │ │ ├── PetrifyLTSFormatLexer.g4 │ │ │ ├── PetrifyLTSFormatParser.g4 │ │ │ ├── PetrifyLTSParser.java │ │ │ ├── PetrifyPNFormatLexer.g4 │ │ │ ├── PetrifyPNFormatParser.g4 │ │ │ ├── PetrifyPNParser.java │ │ │ ├── PnmlPNParser.java │ │ │ ├── RegexFormatLexer.g4 │ │ │ ├── RegexFormatParser.g4 │ │ │ ├── RegexParser.java │ │ │ ├── SynetLTSFormat.g4 │ │ │ ├── SynetLTSParser.java │ │ │ ├── SynetPNFormat.g4 │ │ │ ├── SynetPNParser.java │ │ │ └── ThrowingErrorListener.java │ │ └── renderer │ │ ├── AbstractRenderers.java │ │ ├── LTSRenderers.java │ │ ├── PNRenderers.java │ │ ├── RendererNotFoundException.java │ │ ├── Renderers.java │ │ └── impl │ │ ├── AbstractRenderer.java │ │ ├── AbstractSTRenderer.java │ │ ├── AptLTS.stg │ │ ├── AptLTSRenderer.java │ │ ├── AptPN.stg │ │ ├── AptPNRenderer.java │ │ ├── BagginsPN.stg │ │ ├── BagginsPNRenderer.java │ │ ├── DotLTS.stg │ │ ├── DotLTSRenderer.java │ │ ├── DotPN.stg │ │ ├── DotPNRenderer.java │ │ ├── GenetPN.stg │ │ ├── GenetPNRenderer.java │ │ ├── LoLAPN.stg │ │ ├── LoLAPNRenderer.java │ │ ├── PetrifyLTSRenderer.java │ │ ├── PetrifyPNRenderer.java │ │ ├── PnmlPNRenderer.java │ │ ├── SynetLTSRenderer.java │ │ ├── SynetPN.stg │ │ ├── SynetPNRenderer.java │ │ ├── ThrowingErrorListener.java │ │ ├── Tikz.stg │ │ ├── TikzLTS.stg │ │ ├── TikzLTSRenderer.java │ │ ├── TikzPN.stg │ │ └── TikzPNRenderer.java ├── json │ └── uniol │ │ └── apt │ │ └── json │ │ ├── JSONExecutor.java │ │ ├── JSONUtilities.java │ │ └── Main.java ├── lib │ └── uniol │ │ └── apt │ │ ├── adt │ │ ├── AbstractGraph.java │ │ ├── CollectionToUnmodifiableSetAdapter.java │ │ ├── Edge.java │ │ ├── EdgeKey.java │ │ ├── IEdge.java │ │ ├── IGraph.java │ │ ├── IGraphListener.java │ │ ├── INode.java │ │ ├── Node.java │ │ ├── SoftMap.java │ │ ├── StructuralExtensionRemover.java │ │ ├── automaton │ │ │ ├── AutomatonToRegularExpression.java │ │ │ ├── DFAState.java │ │ │ ├── DeterministicFiniteAutomaton.java │ │ │ ├── FiniteAutomaton.java │ │ │ ├── FiniteAutomatonUtility.java │ │ │ ├── State.java │ │ │ └── Symbol.java │ │ ├── exception │ │ │ ├── ArcExistsException.java │ │ │ ├── DatastructureException.java │ │ │ ├── FlowExistsException.java │ │ │ ├── IllegalFlowException.java │ │ │ ├── NoSuchEdgeException.java │ │ │ ├── NoSuchEventException.java │ │ │ ├── NoSuchNodeException.java │ │ │ ├── NodeExistsException.java │ │ │ ├── StructureException.java │ │ │ └── TransitionFireException.java │ │ ├── extension │ │ │ ├── Extensible.java │ │ │ ├── ExtensionProperty.java │ │ │ └── IExtensible.java │ │ ├── package-info.java │ │ ├── pn │ │ │ ├── Flow.java │ │ │ ├── Marking.java │ │ │ ├── Node.java │ │ │ ├── PetriNet.java │ │ │ ├── Place.java │ │ │ ├── Token.java │ │ │ ├── Transition.java │ │ │ └── package-info.java │ │ ├── subgraph │ │ │ ├── SubEdge.java │ │ │ ├── SubGraph.java │ │ │ └── SubNode.java │ │ └── ts │ │ │ ├── Arc.java │ │ │ ├── ArcKey.java │ │ │ ├── Event.java │ │ │ ├── ParikhVector.java │ │ │ ├── State.java │ │ │ ├── TransitionSystem.java │ │ │ └── package-info.java │ │ └── util │ │ ├── AbstractEquivalenceRelation.java │ │ ├── DebugUtil.java │ │ ├── DifferentPairsIterable.java │ │ ├── DomainEquivalenceRelation.java │ │ ├── EquivalenceRelation.java │ │ ├── IEquivalenceRelation.java │ │ ├── MathTools.java │ │ ├── Pair.java │ │ ├── PowerSet.java │ │ ├── SpanningTree.java │ │ ├── StringComparator.java │ │ ├── equations │ │ ├── EquationSystem.java │ │ ├── InequalitySystem.java │ │ └── InequalitySystemSolver.java │ │ ├── interrupt │ │ ├── ChainedInterrupter.java │ │ ├── Interrupter.java │ │ ├── InterrupterRegistry.java │ │ ├── NoOpInterrupter.java │ │ ├── ThreadStatusInterrupter.java │ │ ├── TimeoutInterrupter.java │ │ └── UncheckedInterruptedException.java │ │ └── package-info.java ├── main │ └── uniol │ │ └── apt │ │ ├── APT.java │ │ ├── CloseableCollection.java │ │ └── ui │ │ ├── ParametersParser.java │ │ ├── ParametersTransformer.java │ │ ├── ReturnValueTransformationWithOptions.java │ │ ├── ReturnValuesTransformer.java │ │ ├── StreamParameterTransformation.java │ │ ├── StreamWithOptionsParameterTransformation.java │ │ └── impl │ │ ├── AptParametersTransformer.java │ │ ├── AptReturnValuesTransformer.java │ │ ├── DrawModule.java │ │ ├── HelpModule.java │ │ ├── ParametersTransformerImpl.java │ │ ├── ReturnValuesTransformerImpl.java │ │ ├── SimpleParametersParser.java │ │ ├── UIUtils.java │ │ ├── parameter │ │ ├── AbstractMapParameterTransformation.java │ │ ├── AbstractParserParameterTransformation.java │ │ ├── AbstractParsersParameterTransformation.java │ │ ├── AptLTSParserParameterTransformation.java │ │ ├── AptPNParserParameterTransformation.java │ │ ├── BooleanParameterTransformation.java │ │ ├── ExtendModeParameterTransformation.java │ │ ├── FileBackedStringParameterTransformation.java │ │ ├── FiniteAutomatonParameterTransformation.java │ │ ├── GraphParameterTransformation.java │ │ ├── IntegerParameterTransformation.java │ │ ├── InvariantAlgorithmParameterTransformation.java │ │ ├── InvariantKindParameterTransformation.java │ │ ├── MatrixFileFormatParameterTransformation.java │ │ ├── NetOrTSParameterTransformation.java │ │ ├── StringParameterTransformation.java │ │ ├── WordListParameterTransformation.java │ │ └── WordParameterTransformation.java │ │ └── returns │ │ ├── AbstractRenderersReturnValueTransformation.java │ │ ├── BooleanReturnValueTransformation.java │ │ ├── ComponentsReturnValueTransformation.java │ │ ├── INodeCollectionReturnValueTransformation.java │ │ ├── INodeReturnValueTransformation.java │ │ ├── IsomorphismReturnValueTransformation.java │ │ ├── MarkingReturnValueTransformation.java │ │ ├── NetReturnValueTransformation.java │ │ ├── NonBisimilarPathReturnValueTransformation.java │ │ ├── SNetResultReturnValueTransformation.java │ │ ├── StringArrayArrayReturnValueTransformation.java │ │ ├── TNetResultReturnValueTransformation.java │ │ ├── TSReturnValueTransformation.java │ │ └── TrapsSiphonsListReturnValueTransformation.java ├── module │ └── uniol │ │ └── apt │ │ ├── adt │ │ └── PetriNetOrTransitionSystem.java │ │ ├── analysis │ │ ├── ExamineLTSModule.java │ │ ├── ExaminePNModule.java │ │ ├── FireSequenceModule.java │ │ ├── GenerateStepNet.java │ │ ├── GenerateStepNetModule.java │ │ ├── RegularLanguageToLTSModule.java │ │ ├── ac │ │ │ ├── AsymmetricChoice.java │ │ │ └── AsymmetricChoiceModule.java │ │ ├── algebra │ │ │ ├── Matrix.java │ │ │ ├── MatrixFileFormat.java │ │ │ └── MatrixModule.java │ │ ├── bcf │ │ │ ├── BCF.java │ │ │ └── BCFModule.java │ │ ├── bicf │ │ │ ├── BiCF.java │ │ │ └── BiCFModule.java │ │ ├── bisimulation │ │ │ ├── Bisimulation.java │ │ │ ├── BisimulationModule.java │ │ │ └── NonBisimilarPath.java │ │ ├── bounded │ │ │ ├── Bounded.java │ │ │ ├── BoundedModule.java │ │ │ ├── BoundedResult.java │ │ │ ├── KBoundedModule.java │ │ │ └── SafeModule.java │ │ ├── cf │ │ │ ├── ConflictFree.java │ │ │ └── ConflictFreeModule.java │ │ ├── connectivity │ │ │ ├── Component.java │ │ │ ├── Components.java │ │ │ ├── Connectivity.java │ │ │ ├── IsolatedElementsModule.java │ │ │ ├── StrongComponentsModule.java │ │ │ ├── StrongConnectivityModule.java │ │ │ ├── WeakComponentsModule.java │ │ │ └── WeakConnectivityModule.java │ │ ├── conpres │ │ │ ├── ConcurrencyPreserving.java │ │ │ └── ConcurrencyPreservingModule.java │ │ ├── coverability │ │ │ ├── CoverabilityGraph.java │ │ │ ├── CoverabilityGraphEdge.java │ │ │ ├── CoverabilityGraphEdgesIterator.java │ │ │ ├── CoverabilityGraphNode.java │ │ │ ├── CoverabilityModule.java │ │ │ └── ReachabilityModule.java │ │ ├── cycles │ │ │ ├── CheckAllCyclePropertiesModule.java │ │ │ ├── CycleCallback.java │ │ │ ├── CycleSearch.java │ │ │ ├── CycleSearchViaChords.java │ │ │ └── lts │ │ │ │ ├── ComputeSmallestCycles.java │ │ │ │ ├── Cycle.java │ │ │ │ ├── CycleCounterExample.java │ │ │ │ ├── CyclePV.java │ │ │ │ ├── CyclesHaveSameOrMutallyDisjointPVModule.java │ │ │ │ ├── CyclesHaveSamePVModule.java │ │ │ │ ├── PVsOfSmallestCyclesModule.java │ │ │ │ ├── PrimeCycleProperty.java │ │ │ │ └── PrimeCyclePropertyModule.java │ │ ├── deterministic │ │ │ ├── BackwardDeterministicModule.java │ │ │ ├── Deterministic.java │ │ │ └── DeterministicModule.java │ │ ├── exception │ │ │ ├── MustLeadToSameStateException.java │ │ │ ├── NoFiniteExtensionPossibleException.java │ │ │ ├── NoSuchTransitionException.java │ │ │ ├── NonDeterministicException.java │ │ │ ├── NonDisjointCyclesException.java │ │ │ ├── PreconditionFailedException.java │ │ │ └── UnboundedException.java │ │ ├── factorization │ │ │ ├── Factorization.java │ │ │ ├── FactorizationModule.java │ │ │ ├── GeneralDiamond.java │ │ │ ├── GeneralDiamondModule.java │ │ │ ├── GeneralDiamondResult.java │ │ │ ├── LabelSeparation.java │ │ │ ├── LabelSeparationModule.java │ │ │ ├── LabelSeparationResult.java │ │ │ ├── SynthesisFactorisation.java │ │ │ └── TransitionSystemFilter.java │ │ ├── fairness │ │ │ ├── Fairness.java │ │ │ ├── FairnessModule.java │ │ │ └── FairnessResult.java │ │ ├── fc │ │ │ ├── FCModule.java │ │ │ ├── FreeChoice.java │ │ │ ├── WFCModule.java │ │ │ └── WeightedFreeChoice.java │ │ ├── fcnet │ │ │ ├── FCNet.java │ │ │ └── FCNetModule.java │ │ ├── homogeneous │ │ │ ├── Homogeneous.java │ │ │ └── HomogeneousModule.java │ │ ├── invariants │ │ │ ├── ComputeMinSemiPosInvariantsModule.java │ │ │ ├── CoveredByInvariantModule.java │ │ │ ├── InvariantCalculator.java │ │ │ ├── InvariantKind.java │ │ │ ├── Matrix.java │ │ │ └── Vector.java │ │ ├── isolated │ │ │ ├── Isolated.java │ │ │ └── IsolatedModule.java │ │ ├── isomorphism │ │ │ ├── Isomorphism.java │ │ │ ├── IsomorphismLogic.java │ │ │ ├── IsomorphismLogicComplex.java │ │ │ └── IsomorphismModule.java │ │ ├── language │ │ │ ├── FiringSequence.java │ │ │ ├── LanguageEquivalence.java │ │ │ ├── LanguageEquivalenceModule.java │ │ │ ├── ToRegularExpressionModule.java │ │ │ ├── Word.java │ │ │ ├── WordInLanguage.java │ │ │ ├── WordInLanguageModule.java │ │ │ └── WordList.java │ │ ├── live │ │ │ ├── AbstractLiveModule.java │ │ │ ├── Live.java │ │ │ ├── SimplyLiveModule.java │ │ │ ├── StronglyLiveModule.java │ │ │ └── WeaklyLiveModule.java │ │ ├── lts │ │ │ └── extension │ │ │ │ ├── ExtendDeterministicPersistent.java │ │ │ │ ├── ExtendDeterministicPersistentModule.java │ │ │ │ └── ExtendTransitionSystem.java │ │ ├── mf │ │ │ ├── MergeFree.java │ │ │ └── MergeFreeModule.java │ │ ├── on │ │ │ ├── OutputNonBranching.java │ │ │ └── OutputNonBranchingModule.java │ │ ├── persistent │ │ │ ├── BackwardPersistentModule.java │ │ │ ├── PersistentModule.java │ │ │ ├── PersistentNet.java │ │ │ └── PersistentTS.java │ │ ├── petrify │ │ │ ├── PetrifyLTSSynthesize.java │ │ │ └── PetrifySynthesizeModule.java │ │ ├── plain │ │ │ ├── Plain.java │ │ │ └── PlainModule.java │ │ ├── presynthesis │ │ │ └── pps │ │ │ │ ├── DfsPathIterable.java │ │ │ │ ├── Path.java │ │ │ │ ├── PpsPresynthesisModule.java │ │ │ │ ├── PpsPropertyChecker.java │ │ │ │ └── PpsPropertyResult.java │ │ ├── processmining │ │ │ ├── CreateLTS.java │ │ │ ├── CreateLTSModule.java │ │ │ ├── InvariantsMapper.java │ │ │ └── algebra │ │ │ │ ├── AbstractMatrix.java │ │ │ │ ├── ArrayMatrix.java │ │ │ │ ├── Matrix.java │ │ │ │ ├── MatrixMultiplication.java │ │ │ │ ├── MatrixOperation.java │ │ │ │ ├── MatrixOperationAddMultipleOf.java │ │ │ │ ├── MatrixOperationInvert.java │ │ │ │ ├── MatrixOperationSwap.java │ │ │ │ ├── SmithNormalForm.java │ │ │ │ └── TransposedMatrix.java │ │ ├── product │ │ │ ├── Product.java │ │ │ ├── ProductAsyncModule.java │ │ │ └── ProductSyncModule.java │ │ ├── reversible │ │ │ ├── ReversibleModule.java │ │ │ ├── ReversibleNet.java │ │ │ └── ReversibleTS.java │ │ ├── separation │ │ │ ├── FirableSequences.java │ │ │ ├── LargestK.java │ │ │ ├── LargestKModule.java │ │ │ ├── Separation.java │ │ │ ├── SeparationLogic.java │ │ │ ├── SeparationResult.java │ │ │ ├── SeparationSingleResult.java │ │ │ ├── StrongSeparationLengthModule.java │ │ │ ├── StrongSeparationModule.java │ │ │ ├── WeakSeparationLengthModule.java │ │ │ └── WeakSeparationModule.java │ │ ├── sideconditions │ │ │ ├── CheckSideConditions.java │ │ │ ├── CheckSideConditionsModule.java │ │ │ ├── NonPure.java │ │ │ ├── NonPureModule.java │ │ │ ├── Pure.java │ │ │ ├── PureModule.java │ │ │ ├── SideCondition.java │ │ │ └── SideConditions.java │ │ ├── snet │ │ │ ├── SNet.java │ │ │ ├── SNetModule.java │ │ │ └── SNetResult.java │ │ ├── sum │ │ │ ├── LabelMismatchException.java │ │ │ ├── Sum.java │ │ │ ├── SumAsyncModule.java │ │ │ └── SumSyncModule.java │ │ ├── synet │ │ │ ├── SynetSynthesizeDistributedLTS.java │ │ │ └── SynthesizeDistributedLTSModule.java │ │ ├── synthesize │ │ │ ├── AbstractSynthesizeModule.java │ │ │ ├── FindWords.java │ │ │ ├── FindWordsModule.java │ │ │ ├── InvalidRegionException.java │ │ │ ├── LimitedUnfolding.java │ │ │ ├── LimitedUnfoldingModule.java │ │ │ ├── MinimizePN.java │ │ │ ├── MissingLocationException.java │ │ │ ├── OverapproximatePN.java │ │ │ ├── PNProperties.java │ │ │ ├── Region.java │ │ │ ├── RegionUtility.java │ │ │ ├── SynthesizeExtendModule.java │ │ │ ├── SynthesizeModule.java │ │ │ ├── SynthesizeOverapproximateModule.java │ │ │ ├── SynthesizePN.java │ │ │ ├── SynthesizeUtils.java │ │ │ ├── SynthesizeWordModule.java │ │ │ ├── UnreachableException.java │ │ │ └── separation │ │ │ │ ├── BasicImpureSeparation.java │ │ │ │ ├── BasicPureSeparation.java │ │ │ │ ├── ElementarySeparation.java │ │ │ │ ├── FactorisationSynthesizer.java │ │ │ │ ├── InequalitySystemSeparation.java │ │ │ │ ├── KBoundedSeparation.java │ │ │ │ ├── MarkedGraphSeparation.java │ │ │ │ ├── OutputNonbranchingSeparation.java │ │ │ │ ├── PlainPureSeparation.java │ │ │ │ ├── SMTInterpolHelper.java │ │ │ │ ├── Separation.java │ │ │ │ ├── SeparationSynthesizer.java │ │ │ │ ├── SeparationUtility.java │ │ │ │ ├── Synthesizer.java │ │ │ │ └── UnsupportedPNPropertiesException.java │ │ ├── tnet │ │ │ ├── TNet.java │ │ │ ├── TNetModule.java │ │ │ └── TNetResult.java │ │ ├── totallyreachable │ │ │ ├── TotallyReachable.java │ │ │ └── TotallyReachableModule.java │ │ └── trapsAndSiphons │ │ │ ├── SiphonModule.java │ │ │ ├── TrapsAndSiphonsLogic.java │ │ │ ├── TrapsModule.java │ │ │ └── TrapsSiphonsList.java │ │ ├── check │ │ ├── AttributeFormatException.java │ │ ├── ChanceGenerator.java │ │ ├── Check.java │ │ ├── CheckAttributes.java │ │ ├── CheckGenerator.java │ │ ├── CheckModule.java │ │ ├── CheckParameters.java │ │ ├── SmartChanceGenerator.java │ │ ├── UnsupportedAttributeException.java │ │ └── UnsupportedGeneratorException.java │ │ ├── extension │ │ ├── ExtendMode.java │ │ ├── ExtendStateFile.java │ │ └── ExtendTSModule.java │ │ ├── generator │ │ ├── AbstractPetriNetIterableWrapper.java │ │ ├── GeneratorUtils.java │ │ ├── NetGenerator.java │ │ ├── bitnet │ │ │ ├── AbstractBitNetGenerator.java │ │ │ ├── Bit.java │ │ │ ├── BitNetGenerator.java │ │ │ ├── ConnectedBitNetGenerator.java │ │ │ └── SimpleBitNetGenerator.java │ │ ├── cycle │ │ │ └── CycleGenerator.java │ │ ├── inverse │ │ │ └── InverseNetGenerator.java │ │ ├── isolated │ │ │ ├── IsolatedTransitionsGenerator.java │ │ │ └── IsolatedTransitionsIterable.java │ │ ├── marking │ │ │ ├── MarkingIterable.java │ │ │ └── MarkingNetGenerator.java │ │ ├── module │ │ │ ├── AbstractGeneratorModule.java │ │ │ ├── BistatePhilNetGeneratorModule.java │ │ │ ├── BitNetGeneratorModule.java │ │ │ ├── ConnectedBitNetGeneratorModule.java │ │ │ ├── CycleNetGeneratorModule.java │ │ │ ├── GenerateReverseArcModule.java │ │ │ ├── InverseNetGeneratorModule.java │ │ │ ├── QuadstatePhilNetGeneratorModule.java │ │ │ ├── TNetGeneratorModule.java │ │ │ └── TristatePhilNetGeneratorModule.java │ │ ├── package-info.java │ │ ├── philnet │ │ │ ├── AbstractPhilNetGenerator.java │ │ │ ├── BistatePhilNetGenerator.java │ │ │ ├── PhilNetGenerator.java │ │ │ ├── Philosopher.java │ │ │ ├── QuadstatePhilNetGenerator.java │ │ │ └── TristatePhilNetGenerator.java │ │ └── tnet │ │ │ ├── PlacePresetListIterator.java │ │ │ ├── TNetGenerator.java │ │ │ ├── TNetIterator.java │ │ │ └── TransitionPresetSizeListIterator.java │ │ ├── io │ │ └── converter │ │ │ ├── AbstractConvertModule.java │ │ │ ├── FileBackedString.java │ │ │ ├── LTSConvertModule.java │ │ │ └── PNConvertModule.java │ │ ├── module │ │ ├── AbstractInterruptibleModule.java │ │ ├── AbstractModule.java │ │ ├── AbstractModuleRegistry.java │ │ ├── AptModuleRegistry.java │ │ ├── InterruptibleModule.java │ │ ├── ModuleExitStatusChecker.java │ │ ├── ModulePreconditionsChecker.java │ │ ├── ModuleRegistry.java │ │ ├── PropertyModuleExitStatusChecker.java │ │ ├── exception │ │ │ ├── FalseParameterException.java │ │ │ ├── ModuleInvocationException.java │ │ │ ├── NoSuchTransformationException.java │ │ │ ├── PetrifyNotFoundException.java │ │ │ └── SynetNotFoundException.java │ │ └── impl │ │ │ ├── ExitStatus.java │ │ │ ├── ModuleInputImpl.java │ │ │ ├── ModuleInputSpecImpl.java │ │ │ ├── ModuleInvoker.java │ │ │ ├── ModuleOutputImpl.java │ │ │ ├── ModuleOutputSpecImpl.java │ │ │ ├── ModuleUtils.java │ │ │ ├── OptionalParameter.java │ │ │ ├── Parameter.java │ │ │ ├── ReturnValue.java │ │ │ └── SimpleModulePreconditionsChecker.java │ │ └── pnanalysis │ │ ├── CycleTNetIterator.java │ │ ├── PnAnalysis.java │ │ ├── PnAnalysisModule.java │ │ ├── RandomTNetGenerator.java │ │ └── RandomTNetGeneratorModule.java └── test │ ├── integration │ ├── README.txt │ ├── bounded-cc2-fail.args.txt │ ├── bounded-cc2-fail.exit.txt │ ├── bounded-cc2-fail.out.txt │ ├── bounded-cc2.args.txt │ ├── bounded-cc2.out.txt │ ├── examine_pn-cc2.args.txt │ ├── examine_pn-cc2.out.txt │ ├── too_few_arguments.args.txt │ ├── too_few_arguments.err.txt │ └── too_few_arguments.exit.txt │ └── uniol │ ├── apt │ ├── BestNetCollection.java │ ├── CrashCourseNets.java │ ├── TestNetCollection.java │ ├── TestNetsForIsomorphism.java │ ├── TestNetsForSeparation.java │ ├── TestNetsForSiphonsAndTraps.java │ ├── TestTSCollection.java │ ├── TestTSForBisimulation.java │ ├── adt │ │ ├── automaton │ │ │ ├── AutomatonToRegularExpressionTest.java │ │ │ ├── FiniteAutomatonUtilityTest.java │ │ │ └── SymbolTest.java │ │ ├── extension │ │ │ └── ExtensibleTest.java │ │ ├── matcher │ │ │ ├── ArcThatConnectsMatcher.java │ │ │ ├── ArcWithLabelMatcher.java │ │ │ ├── CoverNodeMarkingThatMatcher.java │ │ │ ├── EdgeCoverNodesThatMatcher.java │ │ │ ├── FlowThatConnectsMatcher.java │ │ │ ├── MarkingThatIsMatcher.java │ │ │ ├── Matchers.java │ │ │ ├── NetWithInitialMarkingThatMatcher.java │ │ │ ├── NetWithSameStructureAsMatcher.java │ │ │ ├── NodeMarkingThatMatcher.java │ │ │ ├── NodeWithIDMatcher.java │ │ │ ├── PlaceWithInitialTokenMatcher.java │ │ │ └── SubEdgeThatConnectsMatcher.java │ │ ├── pn │ │ │ ├── AbstractTransitionTest.java │ │ │ ├── MarkingIntegrationTest.java │ │ │ ├── MarkingTest.java │ │ │ ├── PetriNetTest.java │ │ │ └── RemovePNElementsTest.java │ │ ├── subgraph │ │ │ └── SubGraphTest.java │ │ └── ts │ │ │ ├── ParikhVectorTest.java │ │ │ ├── RemoveTSElementsTest.java │ │ │ └── TransitionSystemTest.java │ ├── analysis │ │ ├── GenerateStepNetTest.java │ │ ├── ac │ │ │ └── AsymmetricChoiceTest.java │ │ ├── bcf │ │ │ └── BCFTest.java │ │ ├── bicf │ │ │ └── BiCFTest.java │ │ ├── bisimulation │ │ │ └── BisimulationTest.java │ │ ├── bounded │ │ │ └── BoundedTest.java │ │ ├── cf │ │ │ └── ConflictFreeTest.java │ │ ├── connectivity │ │ │ └── ConnectivityTest.java │ │ ├── coverability │ │ │ ├── CoverabilityGraphTest.java │ │ │ └── CoverabilityTest.java │ │ ├── cycles │ │ │ ├── CycleSearchTest.java │ │ │ ├── CycleSearchViaChordsTest.java │ │ │ └── lts │ │ │ │ ├── ComputeSmallestCyclesTest.java │ │ │ │ └── PrimeCyclePropertyTest.java │ │ ├── deterministic │ │ │ └── DeterministicTest.java │ │ ├── factorization │ │ │ ├── FactorizationTest.java │ │ │ ├── GeneralDiamondResultMatcher.java │ │ │ ├── GeneralDiamondTest.java │ │ │ ├── LabelSeparationResultMatcher.java │ │ │ ├── LabelSeparationTest.java │ │ │ └── SynthesisFactorisationTest.java │ │ ├── fairness │ │ │ └── FairnessTest.java │ │ ├── fc │ │ │ ├── FreeChoiceTest.java │ │ │ └── WeightedFreeChoiceTest.java │ │ ├── fcnet │ │ │ └── FCNetTest.java │ │ ├── homogeneous │ │ │ └── HomogeneousTest.java │ │ ├── invariants │ │ │ └── InvariantCalculatorTest.java │ │ ├── isolated │ │ │ └── IsolatedTest.java │ │ ├── isomorphism │ │ │ ├── AbstractIsomorphismTest.java │ │ │ ├── IsomorphismLogicComplexTest.java │ │ │ └── IsomorphismLogicTest.java │ │ ├── language │ │ │ └── WordInLanguageTest.java │ │ ├── live │ │ │ └── LiveTest.java │ │ ├── lts │ │ │ └── extension │ │ │ │ ├── ExtendDeterministicPersistentTest.java │ │ │ │ └── ExtendTransitionSystemTest.java │ │ ├── mf │ │ │ └── MergeFreeTest.java │ │ ├── on │ │ │ └── OutputNonBranchingTest.java │ │ ├── persistent │ │ │ └── PersistentTSTest.java │ │ ├── petrify │ │ │ └── PetrifyLTSSynthesizeTest.java │ │ ├── plain │ │ │ └── PlainTest.java │ │ ├── presynthesis │ │ │ └── pps │ │ │ │ └── PpsPropertyCheckerTest.java │ │ ├── processmining │ │ │ ├── CreateLTSTest.java │ │ │ ├── InvariantsMapperTest.java │ │ │ └── algebra │ │ │ │ ├── AbstractMatrixTest.java │ │ │ │ ├── ArrayMatrixTest.java │ │ │ │ ├── MatrixMultiplicationTest.java │ │ │ │ ├── SmithNormalFormTest.java │ │ │ │ └── TransposedMatrixTest.java │ │ ├── product │ │ │ └── ProductTest.java │ │ ├── reversible │ │ │ └── ReversibleTSTest.java │ │ ├── separation │ │ │ ├── ComputeGreatestCommonDivisorTest.java │ │ │ ├── LargestKTest.java │ │ │ ├── SeparationStrongTest.java │ │ │ └── SeparationWeakTest.java │ │ ├── sideconditions │ │ │ ├── NonPureTest.java │ │ │ ├── PureTest.java │ │ │ └── SideconditionsTest.java │ │ ├── snet │ │ │ └── SNetTest.java │ │ ├── sum │ │ │ └── SumTest.java │ │ ├── synet │ │ │ └── SynetTest.java │ │ ├── synthesize │ │ │ ├── AbstractSynthesizeModuleTest.java │ │ │ ├── FindWordsTest.java │ │ │ ├── LimitedUnfoldingTest.java │ │ │ ├── MinimizePNTest.java │ │ │ ├── OverapproximatePNTest.java │ │ │ ├── PNPropertiesTest.java │ │ │ ├── RegionTest.java │ │ │ ├── RegionUtilityTest.java │ │ │ ├── SynthesizePNTest.java │ │ │ ├── SynthesizeUtilsTest.java │ │ │ ├── matcher │ │ │ │ ├── ImpureRegionWithWeightThatMatcher.java │ │ │ │ ├── Matchers.java │ │ │ │ ├── PlainRegionMatcher.java │ │ │ │ ├── PureRegionMatcher.java │ │ │ │ ├── PureRegionWithWeightThatMatcher.java │ │ │ │ └── RegionWithInitialMarkingThatMatcher.java │ │ │ └── separation │ │ │ │ ├── BasicImpureSeparationTest.java │ │ │ │ ├── BasicPureSeparationTest.java │ │ │ │ ├── FactorisationSynthesizerTest.java │ │ │ │ ├── InequalitySystemSeparationTest.java │ │ │ │ ├── KBoundedSeparationTest.java │ │ │ │ ├── MarkedGraphSeparationTest.java │ │ │ │ ├── PlainPureSeparationTest.java │ │ │ │ ├── SeparationTestHelper.java │ │ │ │ └── SeparationUtilityTest.java │ │ ├── tnet │ │ │ └── TNetTest.java │ │ ├── totallyreachable │ │ │ └── TotallyReachableTest.java │ │ └── trapsAndSiphons │ │ │ └── TrapsAndSiphonsTest.java │ ├── check │ │ ├── CheckTest.java │ │ ├── check_test.sh │ │ ├── exampleLog1 │ │ │ ├── check_test_log_2013-14-13_22-34-50.html │ │ │ ├── check_test_net_2013-14-13_22-34-50_1.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_10.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_11.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_12.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_13.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_14.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_15.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_2.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_3.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_4.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_5.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_6.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_7.apt │ │ │ ├── check_test_net_2013-14-13_22-34-50_8.apt │ │ │ └── check_test_net_2013-14-13_22-34-50_9.apt │ │ └── exampleLog2 │ │ │ ├── check_test_log_2013-16-13_13-35-37.html │ │ │ ├── check_test_net_2013-16-13_13-35-37_1.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_10.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_11.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_12.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_13.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_14.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_2.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_3.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_4.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_5.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_6.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_7.apt │ │ │ ├── check_test_net_2013-16-13_13-35-37_8.apt │ │ │ └── check_test_net_2013-16-13_13-35-37_9.apt │ ├── generator │ │ ├── inverse │ │ │ └── InverseNetGeneratorTest.java │ │ ├── isolated │ │ │ └── IsolatedTransitionsGeneratorTest.java │ │ ├── marking │ │ │ ├── MarkingIterableTest.java │ │ │ └── MarkingNetGeneratorTest.java │ │ ├── philnet │ │ │ ├── BistatePhilNetGeneratorTest.java │ │ │ ├── QuadstatePhilNetGeneratorTest.java │ │ │ └── TristatePhilNetGeneratorTest.java │ │ └── tnet │ │ │ ├── PlacePresetListIteratorTest.java │ │ │ └── TransitionPresetSizeListIteratorTest.java │ ├── io │ │ ├── matcher │ │ │ └── StringEqualsIgnoringLineEndings.java │ │ ├── parser │ │ │ ├── ParserSkipException.java │ │ │ ├── ParserTestUtils.java │ │ │ └── impl │ │ │ │ ├── AptLTSParserTest.java │ │ │ │ ├── AptPNParserTest.java │ │ │ │ ├── LoLAPNParserTest.java │ │ │ │ ├── PetrifyLTSParserTest.java │ │ │ │ ├── PetrifyPNParserTest.java │ │ │ │ ├── PnmlPNParserTest.java │ │ │ │ ├── RegexParserTest.java │ │ │ │ ├── SynetLTSParserTest.java │ │ │ │ └── SynetPNParserTest.java │ │ └── renderer │ │ │ └── impl │ │ │ ├── AptPNRendererTest.java │ │ │ ├── GenetPNRendererTest.java │ │ │ ├── LoLAPNRendererTest.java │ │ │ ├── PetrifyPNRendererTest.java │ │ │ └── RendererTestUtils.java │ ├── json │ │ ├── JSONExecutorTest.java │ │ ├── JSONUtilitiesTest.java │ │ ├── MainTest.java │ │ └── TestModuleRegistry.java │ ├── module │ │ ├── ModuleRegistryTest.java │ │ ├── PropertyModuleExitStatusCheckerTest.java │ │ └── impl │ │ │ ├── AdditionalOptionalParameterModule.java │ │ │ ├── ExampleModule.java │ │ │ ├── ModuleInvokerTest.java │ │ │ ├── OptionalParameterModule.java │ │ │ ├── RealWorldModule.java │ │ │ ├── ReflectionTestModule1.java │ │ │ ├── ReflectionTestModule2.java │ │ │ ├── SimpleModulePreconditionsCheckerTest.java │ │ │ ├── TestParameterModule.java │ │ │ └── TestReturnValuesModule.java │ ├── pnanalysis │ │ └── PnAnalysisTest.java │ ├── ui │ │ └── impl │ │ │ ├── SimpleArgumentsParserTest.java │ │ │ └── parameter │ │ │ └── WordParameterTransformationTest.java │ └── util │ │ ├── AbstractEquivalenceRelationTest.java │ │ ├── DifferentPairsIterableTest.java │ │ ├── DomainEquivalenceRelationTest.java │ │ ├── EquivalenceRelationTest.java │ │ ├── MathToolsTest.java │ │ ├── PairTest.java │ │ ├── PowerSetTest.java │ │ ├── SpanningTreeTest.java │ │ ├── equations │ │ ├── EquationSystemTest.java │ │ ├── InequalitySystemSolverTest.java │ │ └── InequalitySystemTest.java │ │ ├── interrupt │ │ └── InterrupterRegistryTest.java │ │ └── matcher │ │ ├── ContainsRotatedMatcher.java │ │ ├── ContainsRotatedMatcherTest.java │ │ ├── Matchers.java │ │ └── PairWithMatcher.java │ └── tests │ └── dataprovider │ ├── IntRangeDataProvider.java │ └── annotations │ └── IntRangeParameter.java ├── testng.single-class.xml └── testng.single-method.xml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/.travis.yml -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/AUTHORS -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/README.md -------------------------------------------------------------------------------- /appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/appveyor.yml -------------------------------------------------------------------------------- /apt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/apt.sh -------------------------------------------------------------------------------- /authors.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/authors.sh -------------------------------------------------------------------------------- /checkstyle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/checkstyle.xml -------------------------------------------------------------------------------- /checkstyle_suppress.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/checkstyle_suppress.xml -------------------------------------------------------------------------------- /doc/APT.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/APT.pdf -------------------------------------------------------------------------------- /doc/benchmarking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/benchmarking.md -------------------------------------------------------------------------------- /doc/extending.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/extending.md -------------------------------------------------------------------------------- /doc/file_format.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/file_format.md -------------------------------------------------------------------------------- /doc/internals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/internals.md -------------------------------------------------------------------------------- /doc/json.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/json.md -------------------------------------------------------------------------------- /doc/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/logo.png -------------------------------------------------------------------------------- /doc/obtaining.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/obtaining.md -------------------------------------------------------------------------------- /doc/using.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/doc/using.md -------------------------------------------------------------------------------- /header_java.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/header_java.txt -------------------------------------------------------------------------------- /ivy.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/ivy.xml -------------------------------------------------------------------------------- /lib/antlr-4.5.1/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/antlr-4.5.1/LICENSE.txt -------------------------------------------------------------------------------- /lib/antlr-4.5.1/antlr-4.5.1-complete.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/antlr-4.5.1/antlr-4.5.1-complete.jar -------------------------------------------------------------------------------- /lib/antlr-4.5.1/antlr-runtime-4.5.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/antlr-4.5.1/antlr-runtime-4.5.1.jar -------------------------------------------------------------------------------- /lib/asm-4.1/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/asm-4.1/LICENSE.txt -------------------------------------------------------------------------------- /lib/asm-4.1/asm-4.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/asm-4.1/asm-4.1.jar -------------------------------------------------------------------------------- /lib/checkstyle-6.1.1/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/checkstyle-6.1.1/LICENSE -------------------------------------------------------------------------------- /lib/checkstyle-6.1.1/LICENSE.apache20: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/checkstyle-6.1.1/LICENSE.apache20 -------------------------------------------------------------------------------- /lib/checkstyle-6.1.1/README-Eclipse.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/checkstyle-6.1.1/README-Eclipse.txt -------------------------------------------------------------------------------- /lib/checkstyle-6.1.1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/checkstyle-6.1.1/README.md -------------------------------------------------------------------------------- /lib/checkstyle-6.1.1/RIGHTS.antlr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/checkstyle-6.1.1/RIGHTS.antlr -------------------------------------------------------------------------------- /lib/checkstyle-6.1.1/checkstyle-6.1.1-all.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/checkstyle-6.1.1/checkstyle-6.1.1-all.jar -------------------------------------------------------------------------------- /lib/commons-collections4-4.0/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-collections4-4.0/LICENSE.txt -------------------------------------------------------------------------------- /lib/commons-collections4-4.0/NOTICE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-collections4-4.0/NOTICE.txt -------------------------------------------------------------------------------- /lib/commons-collections4-4.0/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-collections4-4.0/README.txt -------------------------------------------------------------------------------- /lib/commons-collections4-4.0/RELEASE-NOTES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-collections4-4.0/RELEASE-NOTES.txt -------------------------------------------------------------------------------- /lib/commons-collections4-4.0/commons-collections4-4.0-javadoc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-collections4-4.0/commons-collections4-4.0-javadoc.jar -------------------------------------------------------------------------------- /lib/commons-collections4-4.0/commons-collections4-4.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-collections4-4.0/commons-collections4-4.0.jar -------------------------------------------------------------------------------- /lib/commons-io-2.4/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-io-2.4/LICENSE.txt -------------------------------------------------------------------------------- /lib/commons-io-2.4/NOTICE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-io-2.4/NOTICE.txt -------------------------------------------------------------------------------- /lib/commons-io-2.4/RELEASE-NOTES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-io-2.4/RELEASE-NOTES.txt -------------------------------------------------------------------------------- /lib/commons-io-2.4/commons-io-2.4-javadoc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-io-2.4/commons-io-2.4-javadoc.jar -------------------------------------------------------------------------------- /lib/commons-io-2.4/commons-io-2.4.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/commons-io-2.4/commons-io-2.4.jar -------------------------------------------------------------------------------- /lib/hamcrest-1.3/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/hamcrest-1.3/LICENSE.txt -------------------------------------------------------------------------------- /lib/hamcrest-1.3/hamcrest-core-1.3-javadoc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/hamcrest-1.3/hamcrest-core-1.3-javadoc.jar -------------------------------------------------------------------------------- /lib/hamcrest-1.3/hamcrest-core-1.3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/hamcrest-1.3/hamcrest-core-1.3.jar -------------------------------------------------------------------------------- /lib/hamcrest-1.3/hamcrest-library-1.3-javadoc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/hamcrest-1.3/hamcrest-library-1.3-javadoc.jar -------------------------------------------------------------------------------- /lib/hamcrest-1.3/hamcrest-library-1.3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/hamcrest-1.3/hamcrest-library-1.3.jar -------------------------------------------------------------------------------- /lib/json-20160810/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/json-20160810/LICENSE.txt -------------------------------------------------------------------------------- /lib/json-20160810/json.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/json-20160810/json.jar -------------------------------------------------------------------------------- /lib/mockito-1.9.5-rc1/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/mockito-1.9.5-rc1/LICENSE -------------------------------------------------------------------------------- /lib/mockito-1.9.5-rc1/NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/mockito-1.9.5-rc1/NOTICE -------------------------------------------------------------------------------- /lib/mockito-1.9.5-rc1/mockito-all-1.9.5-rc1-javadoc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/mockito-1.9.5-rc1/mockito-all-1.9.5-rc1-javadoc.jar -------------------------------------------------------------------------------- /lib/mockito-1.9.5-rc1/mockito-core-1.9.5-rc1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/mockito-1.9.5-rc1/mockito-core-1.9.5-rc1.jar -------------------------------------------------------------------------------- /lib/objenesis-1.2/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/objenesis-1.2/LICENSE -------------------------------------------------------------------------------- /lib/objenesis-1.2/NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/objenesis-1.2/NOTICE -------------------------------------------------------------------------------- /lib/objenesis-1.2/objenesis-1.2-javadoc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/objenesis-1.2/objenesis-1.2-javadoc.jar -------------------------------------------------------------------------------- /lib/objenesis-1.2/objenesis-1.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/objenesis-1.2/objenesis-1.2.jar -------------------------------------------------------------------------------- /lib/sat4j-2.3.2/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/sat4j-2.3.2/LICENSE.txt -------------------------------------------------------------------------------- /lib/sat4j-2.3.2/org.sat4j.core.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/sat4j-2.3.2/org.sat4j.core.jar -------------------------------------------------------------------------------- /lib/smtinterpol-2.1-335-g4c543a5/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/smtinterpol-2.1-335-g4c543a5/LICENSE -------------------------------------------------------------------------------- /lib/smtinterpol-2.1-335-g4c543a5/smtinterpol.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/smtinterpol-2.1-335-g4c543a5/smtinterpol.jar -------------------------------------------------------------------------------- /lib/stringtemplate-4.0.8/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/stringtemplate-4.0.8/LICENSE.txt -------------------------------------------------------------------------------- /lib/stringtemplate-4.0.8/ST-4.0.8.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/stringtemplate-4.0.8/ST-4.0.8.jar -------------------------------------------------------------------------------- /lib/testng-6.9.9/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/testng-6.9.9/LICENSE.txt -------------------------------------------------------------------------------- /lib/testng-6.9.9/jcommander-1.48.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/testng-6.9.9/jcommander-1.48.jar -------------------------------------------------------------------------------- /lib/testng-6.9.9/testng-6.9.9-javadoc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/testng-6.9.9/testng-6.9.9-javadoc.jar -------------------------------------------------------------------------------- /lib/testng-6.9.9/testng-6.9.9.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/lib/testng-6.9.9/testng-6.9.9.jar -------------------------------------------------------------------------------- /nets/EB-PhD-Fundamenta.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/EB-PhD-Fundamenta.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc1-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc1-aut.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc1-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc10-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc10-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc11-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc11-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc12-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc12-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc13-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc13-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc14-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc14-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc2-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc2-aut.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc2-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc2-net.lola.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc2-net.lola.pnml -------------------------------------------------------------------------------- /nets/crashkurs-cc2-net.pipe.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc2-net.pipe.pnml -------------------------------------------------------------------------------- /nets/crashkurs-cc2inf-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc2inf-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc3-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc3-aut.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc3-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc3-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc4-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc4-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc5-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc5-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc6-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc6-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc7-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc7-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc8-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc8-net.apt -------------------------------------------------------------------------------- /nets/crashkurs-cc9-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/crashkurs-cc9-net.apt -------------------------------------------------------------------------------- /nets/cycles/CyclesWithDisjunktParikhVector-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/CyclesWithDisjunktParikhVector-aut.apt -------------------------------------------------------------------------------- /nets/cycles/CyclesWithSameParikhVector-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/CyclesWithSameParikhVector-aut.apt -------------------------------------------------------------------------------- /nets/cycles/CyclesWithSameParikhVector1-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/CyclesWithSameParikhVector1-aut.apt -------------------------------------------------------------------------------- /nets/cycles/FullyConnected-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/FullyConnected-aut.apt -------------------------------------------------------------------------------- /nets/cycles/NoCycle-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/NoCycle-aut.apt -------------------------------------------------------------------------------- /nets/cycles/OneCycle-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/OneCycle-aut.apt -------------------------------------------------------------------------------- /nets/cycles/OneCycle1-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/OneCycle1-aut.apt -------------------------------------------------------------------------------- /nets/cycles/TwoCycles-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/TwoCycles-aut.apt -------------------------------------------------------------------------------- /nets/cycles/TwoIntersectingCycles-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/cycles/TwoIntersectingCycles-aut.apt -------------------------------------------------------------------------------- /nets/doubleMarking.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/doubleMarking.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/1a-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/1a-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/1a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/1a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/1b-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/1b-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/1b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/1b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/2a-lts-Dec1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/2a-lts-Dec1.pdf -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/2a-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/2a-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/2a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/2a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/2b-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/2b-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/2b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/2b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/3a-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/3a-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/3a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/3a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/3b-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/3b-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/3b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/3b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/4a-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/4a-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/4a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/4a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/4b-lts-Dec1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/4b-lts-Dec1.pdf -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/4b-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/4b-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/aeq-iso-bisim/4b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/aeq-iso-bisim/4b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/eb1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/eb1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/eb2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/eb2-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/eb3-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/eb3-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/eb3a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/eb3a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/eb4-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/eb4-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/pn1a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/pn1a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/pn1b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/pn1b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/pn2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/pn2-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/basic/pn3-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/basic/pn3-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/cover/cover1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/cover/cover1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/cover/cover2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/cover/cover2-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/distr-fig12-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/distr-fig12-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/distr-fig13-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/distr-fig13-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/distr-fig14-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/distr-fig14-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/distr-fig19a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/distr-fig19a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/distr-fig19b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/distr-fig19b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/parikh-non-1-alt-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/parikh-non-1-alt-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/parikh-non-1-alt-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/parikh-non-1-alt-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/parikh-non-1-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/parikh-non-1-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/distr/parikh-non-1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/distr/parikh-non-1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/fc/fc1a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/fc/fc1a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/fc/fc1b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/fc/fc1b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/fc/no-homestate-1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/fc/no-homestate-1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/fc/tnet1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/fc/tnet1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/more/3-2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/3-2-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/more/aabbcc-lts.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/aabbcc-lts.apt -------------------------------------------------------------------------------- /nets/eb-nets/more/aabbcc-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/aabbcc-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/more/aabbcc-synet-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/aabbcc-synet-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/more/aabbcc-synet-save-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/aabbcc-synet-save-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/more/aabbcc-synet-save.net: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/aabbcc-synet-save.net -------------------------------------------------------------------------------- /nets/eb-nets/more/aabbcc.aut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/aabbcc.aut -------------------------------------------------------------------------------- /nets/eb-nets/more/bd-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/more/bd-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/pers/parikh-non-1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/pers/parikh-non-1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/pers/parikh-non-1-nonpers-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/pers/parikh-non-1-nonpers-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/pers/pers-fig1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/pers/pers-fig1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/pers/pers-fig2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/pers/pers-fig2-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/pers/pers-fig4-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/pers/pers-fig4-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/pers/pers-fig5-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/pers/pers-fig5-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic2-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic3-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic3-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic3a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic3a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic3b-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic3b-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic3c-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic3c-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic3d-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic3d-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic3e-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic3e-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic4-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic4-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-basic5-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-basic5-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-fc-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-fc-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-fi-fig8a-auseinandergezogen-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-fi-fig8a-auseinandergezogen-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-fi-fig8a-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-fi-fig8a-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-fi-fig9-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-fi-fig9-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-red-k-1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-red-k-1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-simple-k1-shuffle-k1.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-simple-k1-shuffle-k1.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-simple-k1.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-simple-k1.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-simple-k2.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-simple-k2.apt -------------------------------------------------------------------------------- /nets/eb-nets/sep/sep-weak-but-not-strong-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/sep/sep-weak-but-not-strong-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/trap-siphon-linalg/no-sinv-cover-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/trap-siphon-linalg/no-sinv-cover-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/trap-siphon-linalg/traps-siphons-1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/trap-siphon-linalg/traps-siphons-1-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/trap-siphon-linalg/traps-siphons-2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/trap-siphon-linalg/traps-siphons-2-net.apt -------------------------------------------------------------------------------- /nets/eb-nets/trap-siphon-linalg/traps-siphons-3-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/eb-nets/trap-siphon-linalg/traps-siphons-3-net.apt -------------------------------------------------------------------------------- /nets/empty-net.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/empty-net.pnml -------------------------------------------------------------------------------- /nets/genet-nets/aufgabe1-net.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/genet-nets/aufgabe1-net.g -------------------------------------------------------------------------------- /nets/genet-nets/aufgabe1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/genet-nets/aufgabe1.g -------------------------------------------------------------------------------- /nets/isolated-and-sideconditions-nets/isolated-elements-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isolated-and-sideconditions-nets/isolated-elements-net.apt -------------------------------------------------------------------------------- /nets/isolated-and-sideconditions-nets/pure-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isolated-and-sideconditions-nets/pure-net.apt -------------------------------------------------------------------------------- /nets/isolated-and-sideconditions-nets/simplesideconditions-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isolated-and-sideconditions-nets/simplesideconditions-net.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-1A-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-1A-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-1A.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-1A.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-1B-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-1B-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-1B.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-1B.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-2A-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-2A-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-2A.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-2A.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-2B-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-2B-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-2B.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-2B.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-3A-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-3A-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-3A.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-3A.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-3B-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-3B-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-3B.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-3B.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-4A-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-4A-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-4A.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-4A.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-4B-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-4B-aut.apt -------------------------------------------------------------------------------- /nets/isomorphism-nets/iso-net-4B.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/isomorphism-nets/iso-net-4B.apt -------------------------------------------------------------------------------- /nets/ksysT-net-aut-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/ksysT-net-aut-net.apt -------------------------------------------------------------------------------- /nets/lola/phils3.llnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/lola/phils3.llnet -------------------------------------------------------------------------------- /nets/lola/phils5.llnet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/lola/phils5.llnet -------------------------------------------------------------------------------- /nets/not-parsable-test-nets/doubleInitialstate.apt_unparsable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/not-parsable-test-nets/doubleInitialstate.apt_unparsable -------------------------------------------------------------------------------- /nets/not-parsable-test-nets/doubleNodes-aut.apt_unparsable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/not-parsable-test-nets/doubleNodes-aut.apt_unparsable -------------------------------------------------------------------------------- /nets/not-parsable-test-nets/doubleNodes-net.apt_unparsable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/not-parsable-test-nets/doubleNodes-net.apt_unparsable -------------------------------------------------------------------------------- /nets/not-parsable-test-nets/phils-hl.lola_unparsable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/not-parsable-test-nets/phils-hl.lola_unparsable -------------------------------------------------------------------------------- /nets/not-parsable-test-nets/testPN-net.apt_unparsable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/not-parsable-test-nets/testPN-net.apt_unparsable -------------------------------------------------------------------------------- /nets/not-parsable-test-nets/unknown-attribute.apt_unparsable: -------------------------------------------------------------------------------- 1 | .unknown something 2 | -------------------------------------------------------------------------------- /nets/one-transition-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/one-transition-net.apt -------------------------------------------------------------------------------- /nets/persistent.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/persistent.apt -------------------------------------------------------------------------------- /nets/petrify-nets/pn.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/petrify-nets/pn.g -------------------------------------------------------------------------------- /nets/petrify-nets/state_graph.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/petrify-nets/state_graph.g -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1-1.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1-1.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1-10.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1-10.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1-100.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1-100.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1-1000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1-1000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1-10000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1-10000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1-100000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1-100000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-10-10.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-10-10.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-10-100.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-10-100.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-10-1000000000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-10-1000000000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-100-10.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-100-10.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-100-100.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-100-100.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-100-1000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-100-1000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-100-10000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-100-10000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-100-100000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-100-100000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1000-10.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1000-10.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1000-100.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1000-100.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/G-PPP-1000-1000.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/G-PPP-1000-1000.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/Piscine.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/Piscine.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/Token-ring.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/Token-ring.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/Vasy2003.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/Vasy2003.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/philo.pnml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/philo.pnml -------------------------------------------------------------------------------- /nets/pnml-iso/readme.txt_unparsable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/pnml-iso/readme.txt_unparsable -------------------------------------------------------------------------------- /nets/readerWriter-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/readerWriter-net.apt -------------------------------------------------------------------------------- /nets/sep-praesentation-net1.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/sep-praesentation-net1.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/duality-test-net1.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/duality-test-net1.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/duality-test-net2.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/duality-test-net2.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/isolated-element-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/isolated-element-net.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/non-fc-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/non-fc-net.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/not-connected-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/not-connected-net.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/siphon-and-trap-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/siphon-and-trap-net.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/siphon-test-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/siphon-test-net.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/totally-connected-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/totally-connected-net.apt -------------------------------------------------------------------------------- /nets/siphon-and-trap-nets/trap-test-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/siphon-and-trap-nets/trap-test-net.apt -------------------------------------------------------------------------------- /nets/st-nets/empty-net.apt: -------------------------------------------------------------------------------- 1 | .type LPN 2 | -------------------------------------------------------------------------------- /nets/st-nets/k-net-T-sys.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/k-net-T-sys.apt -------------------------------------------------------------------------------- /nets/st-nets/s-inv-16.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/s-inv-16.apt -------------------------------------------------------------------------------- /nets/st-nets/s-inv-2.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/s-inv-2.apt -------------------------------------------------------------------------------- /nets/st-nets/s-inv-2b.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/s-inv-2b.apt -------------------------------------------------------------------------------- /nets/st-nets/s-inv-32.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/s-inv-32.apt -------------------------------------------------------------------------------- /nets/st-nets/s-inv-4.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/s-inv-4.apt -------------------------------------------------------------------------------- /nets/st-nets/s-inv-64.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/s-inv-64.apt -------------------------------------------------------------------------------- /nets/st-nets/s-inv-8.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/s-inv-8.apt -------------------------------------------------------------------------------- /nets/st-nets/t-inv-1.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/t-inv-1.apt -------------------------------------------------------------------------------- /nets/st-nets/t-inv-2.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/st-nets/t-inv-2.apt -------------------------------------------------------------------------------- /nets/structurally-ambiguous-coverability1-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/structurally-ambiguous-coverability1-net.apt -------------------------------------------------------------------------------- /nets/structurally-ambiguous-coverability2-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/structurally-ambiguous-coverability2-net.apt -------------------------------------------------------------------------------- /nets/synet-nets/mar17-12-groessere-testdatei.aut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/synet-nets/mar17-12-groessere-testdatei.aut -------------------------------------------------------------------------------- /nets/synet-nets/synet-apt1-redmine-docs.aut: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/synet-nets/synet-apt1-redmine-docs.aut -------------------------------------------------------------------------------- /nets/synet-nets/synet-docu-example.net: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/synet-nets/synet-docu-example.net -------------------------------------------------------------------------------- /nets/synet-nets/synet.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/synet-nets/synet.apt -------------------------------------------------------------------------------- /nets/testCoverability-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/testCoverability-net.apt -------------------------------------------------------------------------------- /nets/testLts-aut.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/testLts-aut.apt -------------------------------------------------------------------------------- /nets/testPN-net.apt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/nets/testPN-net.apt -------------------------------------------------------------------------------- /publish-api-doc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/publish-api-doc.sh -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/FailureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/FailureException.java -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/IntegrationTestTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/IntegrationTestTask.java -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/ModuleParameterVerifyTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/ModuleParameterVerifyTask.java -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/ParsableTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/ParsableTask.java -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/ServiceVerifyTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/ServiceVerifyTask.java -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/WriteTestsXML.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/WriteTestsXML.java -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/parsers/AbstractParserTester.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/parsers/AbstractParserTester.java -------------------------------------------------------------------------------- /src/ant/uniol/apt/tasks/parsers/ParserTester.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/ant/uniol/apt/tasks/parsers/ParserTester.java -------------------------------------------------------------------------------- /src/compiler/uniol/apt/compiler/AbstractAptServiceProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/compiler/uniol/apt/compiler/AbstractAptServiceProcessor.java -------------------------------------------------------------------------------- /src/compiler/uniol/apt/compiler/AbstractSPIServiceProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/compiler/uniol/apt/compiler/AbstractSPIServiceProcessor.java -------------------------------------------------------------------------------- /src/compiler/uniol/apt/compiler/AbstractServiceProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/compiler/uniol/apt/compiler/AbstractServiceProcessor.java -------------------------------------------------------------------------------- /src/compiler/uniol/apt/compiler/ModuleProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/compiler/uniol/apt/compiler/ModuleProcessor.java -------------------------------------------------------------------------------- /src/compiler/uniol/apt/compiler/MyTypes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/compiler/uniol/apt/compiler/MyTypes.java -------------------------------------------------------------------------------- /src/compiler/uniol/apt/compiler/ParserProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/compiler/uniol/apt/compiler/ParserProcessor.java -------------------------------------------------------------------------------- /src/compiler/uniol/apt/compiler/RendererProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/compiler/uniol/apt/compiler/RendererProcessor.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/io/parser/AptParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/io/parser/AptParser.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/io/parser/ParseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/io/parser/ParseException.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/io/parser/Parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/io/parser/Parser.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/io/renderer/AptRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/io/renderer/AptRenderer.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/io/renderer/RenderException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/io/renderer/RenderException.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/io/renderer/Renderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/io/renderer/Renderer.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/AptModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/AptModule.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/Category.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/Category.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/Module.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/Module.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/ModuleInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/ModuleInput.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/ModuleInputSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/ModuleInputSpec.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/ModuleOutput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/ModuleOutput.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/ModuleOutputSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/ModuleOutputSpec.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/exception/ModuleException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/exception/ModuleException.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/module/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/module/package-info.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/ui/AptParameterTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/ui/AptParameterTransformation.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/ui/AptReturnValueTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/ui/AptReturnValueTransformation.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/ui/DescribedParameterTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/ui/DescribedParameterTransformation.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/ui/ParameterTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/ui/ParameterTransformation.java -------------------------------------------------------------------------------- /src/glue/uniol/apt/ui/ReturnValueTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/glue/uniol/apt/ui/ReturnValueTransformation.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/AbstractParsers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/AbstractParsers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/LTSParsers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/LTSParsers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/PNParsers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/PNParsers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/ParserNotFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/ParserNotFoundException.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/Parsers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/Parsers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/AbstractParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/AbstractParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/AptLTSFormat.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/AptLTSFormat.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/AptLTSParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/AptLTSParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/AptPNFormat.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/AptPNFormat.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/AptPNParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/AptPNParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/GenetPNParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/GenetPNParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/LoLAPNFormat.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/LoLAPNFormat.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/LoLAPNParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/LoLAPNParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/MarkingHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/MarkingHashMap.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/ParseRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/ParseRuntimeException.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/PetrifyLTSFormatLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/PetrifyLTSFormatLexer.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/PetrifyLTSFormatParser.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/PetrifyLTSFormatParser.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/PetrifyLTSParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/PetrifyLTSParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/PetrifyPNFormatLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/PetrifyPNFormatLexer.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/PetrifyPNFormatParser.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/PetrifyPNFormatParser.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/PetrifyPNParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/PetrifyPNParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/PnmlPNParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/PnmlPNParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/RegexFormatLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/RegexFormatLexer.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/RegexFormatParser.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/RegexFormatParser.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/RegexParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/RegexParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/SynetLTSFormat.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/SynetLTSFormat.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/SynetLTSParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/SynetLTSParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/SynetPNFormat.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/SynetPNFormat.g4 -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/SynetPNParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/SynetPNParser.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/parser/impl/ThrowingErrorListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/parser/impl/ThrowingErrorListener.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/AbstractRenderers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/AbstractRenderers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/LTSRenderers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/LTSRenderers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/PNRenderers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/PNRenderers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/RendererNotFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/RendererNotFoundException.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/Renderers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/Renderers.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/AbstractRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/AbstractRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/AbstractSTRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/AbstractSTRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/AptLTS.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/AptLTS.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/AptLTSRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/AptLTSRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/AptPN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/AptPN.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/AptPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/AptPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/BagginsPN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/BagginsPN.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/BagginsPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/BagginsPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/DotLTS.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/DotLTS.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/DotLTSRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/DotLTSRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/DotPN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/DotPN.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/DotPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/DotPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/GenetPN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/GenetPN.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/GenetPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/GenetPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/LoLAPN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/LoLAPN.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/LoLAPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/LoLAPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/PetrifyLTSRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/PetrifyLTSRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/PetrifyPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/PetrifyPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/PnmlPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/PnmlPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/SynetLTSRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/SynetLTSRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/SynetPN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/SynetPN.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/SynetPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/SynetPNRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/ThrowingErrorListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/ThrowingErrorListener.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/Tikz.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/Tikz.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/TikzLTS.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/TikzLTS.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/TikzLTSRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/TikzLTSRenderer.java -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/TikzPN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/TikzPN.stg -------------------------------------------------------------------------------- /src/io/uniol/apt/io/renderer/impl/TikzPNRenderer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/io/uniol/apt/io/renderer/impl/TikzPNRenderer.java -------------------------------------------------------------------------------- /src/json/uniol/apt/json/JSONExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/json/uniol/apt/json/JSONExecutor.java -------------------------------------------------------------------------------- /src/json/uniol/apt/json/JSONUtilities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/json/uniol/apt/json/JSONUtilities.java -------------------------------------------------------------------------------- /src/json/uniol/apt/json/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/json/uniol/apt/json/Main.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/AbstractGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/AbstractGraph.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/CollectionToUnmodifiableSetAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/CollectionToUnmodifiableSetAdapter.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/Edge.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/EdgeKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/EdgeKey.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/IEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/IEdge.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/IGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/IGraph.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/IGraphListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/IGraphListener.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/INode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/INode.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/Node.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/SoftMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/SoftMap.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/StructuralExtensionRemover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/StructuralExtensionRemover.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/automaton/AutomatonToRegularExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/automaton/AutomatonToRegularExpression.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/automaton/DFAState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/automaton/DFAState.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/automaton/DeterministicFiniteAutomaton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/automaton/DeterministicFiniteAutomaton.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/automaton/FiniteAutomaton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/automaton/FiniteAutomaton.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/automaton/FiniteAutomatonUtility.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/automaton/FiniteAutomatonUtility.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/automaton/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/automaton/State.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/automaton/Symbol.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/automaton/Symbol.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/ArcExistsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/ArcExistsException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/DatastructureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/DatastructureException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/FlowExistsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/FlowExistsException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/IllegalFlowException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/IllegalFlowException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/NoSuchEdgeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/NoSuchEdgeException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/NoSuchEventException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/NoSuchEventException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/NoSuchNodeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/NoSuchNodeException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/NodeExistsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/NodeExistsException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/StructureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/StructureException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/exception/TransitionFireException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/exception/TransitionFireException.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/extension/Extensible.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/extension/Extensible.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/extension/ExtensionProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/extension/ExtensionProperty.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/extension/IExtensible.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/extension/IExtensible.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/package-info.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/Flow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/Flow.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/Marking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/Marking.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/Node.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/PetriNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/PetriNet.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/Place.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/Place.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/Token.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/Token.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/Transition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/Transition.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/pn/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/pn/package-info.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/subgraph/SubEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/subgraph/SubEdge.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/subgraph/SubGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/subgraph/SubGraph.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/subgraph/SubNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/subgraph/SubNode.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/ts/Arc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/ts/Arc.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/ts/ArcKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/ts/ArcKey.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/ts/Event.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/ts/Event.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/ts/ParikhVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/ts/ParikhVector.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/ts/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/ts/State.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/ts/TransitionSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/ts/TransitionSystem.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/adt/ts/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/adt/ts/package-info.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/AbstractEquivalenceRelation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/AbstractEquivalenceRelation.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/DebugUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/DebugUtil.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/DifferentPairsIterable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/DifferentPairsIterable.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/DomainEquivalenceRelation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/DomainEquivalenceRelation.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/EquivalenceRelation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/EquivalenceRelation.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/IEquivalenceRelation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/IEquivalenceRelation.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/MathTools.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/MathTools.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/Pair.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/PowerSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/PowerSet.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/SpanningTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/SpanningTree.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/StringComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/StringComparator.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/equations/EquationSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/equations/EquationSystem.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/equations/InequalitySystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/equations/InequalitySystem.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/equations/InequalitySystemSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/equations/InequalitySystemSolver.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/interrupt/ChainedInterrupter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/interrupt/ChainedInterrupter.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/interrupt/Interrupter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/interrupt/Interrupter.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/interrupt/InterrupterRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/interrupt/InterrupterRegistry.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/interrupt/NoOpInterrupter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/interrupt/NoOpInterrupter.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/interrupt/ThreadStatusInterrupter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/interrupt/ThreadStatusInterrupter.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/interrupt/TimeoutInterrupter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/interrupt/TimeoutInterrupter.java -------------------------------------------------------------------------------- /src/lib/uniol/apt/util/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/lib/uniol/apt/util/package-info.java -------------------------------------------------------------------------------- /src/main/uniol/apt/APT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/APT.java -------------------------------------------------------------------------------- /src/main/uniol/apt/CloseableCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/CloseableCollection.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/ParametersParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/ParametersParser.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/ParametersTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/ParametersTransformer.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/ReturnValueTransformationWithOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/ReturnValueTransformationWithOptions.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/ReturnValuesTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/ReturnValuesTransformer.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/StreamParameterTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/StreamParameterTransformation.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/AptParametersTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/AptParametersTransformer.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/AptReturnValuesTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/AptReturnValuesTransformer.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/DrawModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/DrawModule.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/HelpModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/HelpModule.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/ParametersTransformerImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/ParametersTransformerImpl.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/ReturnValuesTransformerImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/ReturnValuesTransformerImpl.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/SimpleParametersParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/SimpleParametersParser.java -------------------------------------------------------------------------------- /src/main/uniol/apt/ui/impl/UIUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/main/uniol/apt/ui/impl/UIUtils.java -------------------------------------------------------------------------------- /src/module/uniol/apt/adt/PetriNetOrTransitionSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/adt/PetriNetOrTransitionSystem.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/ExamineLTSModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/ExamineLTSModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/ExaminePNModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/ExaminePNModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/FireSequenceModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/FireSequenceModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/GenerateStepNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/GenerateStepNet.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/GenerateStepNetModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/GenerateStepNetModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/RegularLanguageToLTSModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/RegularLanguageToLTSModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/ac/AsymmetricChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/ac/AsymmetricChoice.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/ac/AsymmetricChoiceModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/ac/AsymmetricChoiceModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/algebra/Matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/algebra/Matrix.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/algebra/MatrixFileFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/algebra/MatrixFileFormat.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/algebra/MatrixModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/algebra/MatrixModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bcf/BCF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bcf/BCF.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bcf/BCFModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bcf/BCFModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bicf/BiCF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bicf/BiCF.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bicf/BiCFModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bicf/BiCFModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bisimulation/Bisimulation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bisimulation/Bisimulation.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bisimulation/BisimulationModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bisimulation/BisimulationModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bisimulation/NonBisimilarPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bisimulation/NonBisimilarPath.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bounded/Bounded.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bounded/Bounded.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bounded/BoundedModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bounded/BoundedModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bounded/BoundedResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bounded/BoundedResult.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bounded/KBoundedModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bounded/KBoundedModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/bounded/SafeModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/bounded/SafeModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cf/ConflictFree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cf/ConflictFree.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cf/ConflictFreeModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cf/ConflictFreeModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/connectivity/Component.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/connectivity/Component.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/connectivity/Components.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/connectivity/Components.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/connectivity/Connectivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/connectivity/Connectivity.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/conpres/ConcurrencyPreserving.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/conpres/ConcurrencyPreserving.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/coverability/CoverabilityGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/coverability/CoverabilityGraph.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/coverability/CoverabilityModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/coverability/CoverabilityModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/coverability/ReachabilityModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/coverability/ReachabilityModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cycles/CycleCallback.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cycles/CycleCallback.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cycles/CycleSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cycles/CycleSearch.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cycles/CycleSearchViaChords.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cycles/CycleSearchViaChords.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cycles/lts/Cycle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cycles/lts/Cycle.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cycles/lts/CycleCounterExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cycles/lts/CycleCounterExample.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cycles/lts/CyclePV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cycles/lts/CyclePV.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/cycles/lts/PrimeCycleProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/cycles/lts/PrimeCycleProperty.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/deterministic/Deterministic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/deterministic/Deterministic.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/exception/UnboundedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/exception/UnboundedException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/factorization/Factorization.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/factorization/Factorization.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/factorization/GeneralDiamond.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/factorization/GeneralDiamond.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/factorization/LabelSeparation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/factorization/LabelSeparation.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fairness/Fairness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fairness/Fairness.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fairness/FairnessModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fairness/FairnessModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fairness/FairnessResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fairness/FairnessResult.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fc/FCModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fc/FCModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fc/FreeChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fc/FreeChoice.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fc/WFCModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fc/WFCModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fc/WeightedFreeChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fc/WeightedFreeChoice.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fcnet/FCNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fcnet/FCNet.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/fcnet/FCNetModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/fcnet/FCNetModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/homogeneous/Homogeneous.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/homogeneous/Homogeneous.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/homogeneous/HomogeneousModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/homogeneous/HomogeneousModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/invariants/InvariantCalculator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/invariants/InvariantCalculator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/invariants/InvariantKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/invariants/InvariantKind.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/invariants/Matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/invariants/Matrix.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/invariants/Vector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/invariants/Vector.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/isolated/Isolated.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/isolated/Isolated.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/isolated/IsolatedModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/isolated/IsolatedModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/isomorphism/Isomorphism.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/isomorphism/Isomorphism.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/isomorphism/IsomorphismLogic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/isomorphism/IsomorphismLogic.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/isomorphism/IsomorphismModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/isomorphism/IsomorphismModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/language/FiringSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/language/FiringSequence.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/language/LanguageEquivalence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/language/LanguageEquivalence.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/language/Word.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/language/Word.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/language/WordInLanguage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/language/WordInLanguage.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/language/WordInLanguageModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/language/WordInLanguageModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/language/WordList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/language/WordList.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/live/AbstractLiveModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/live/AbstractLiveModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/live/Live.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/live/Live.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/live/SimplyLiveModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/live/SimplyLiveModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/live/StronglyLiveModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/live/StronglyLiveModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/live/WeaklyLiveModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/live/WeaklyLiveModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/mf/MergeFree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/mf/MergeFree.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/mf/MergeFreeModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/mf/MergeFreeModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/on/OutputNonBranching.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/on/OutputNonBranching.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/on/OutputNonBranchingModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/on/OutputNonBranchingModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/persistent/PersistentModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/persistent/PersistentModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/persistent/PersistentNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/persistent/PersistentNet.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/persistent/PersistentTS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/persistent/PersistentTS.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/petrify/PetrifyLTSSynthesize.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/petrify/PetrifyLTSSynthesize.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/petrify/PetrifySynthesizeModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/petrify/PetrifySynthesizeModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/plain/Plain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/plain/Plain.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/plain/PlainModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/plain/PlainModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/presynthesis/pps/Path.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/presynthesis/pps/Path.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/processmining/CreateLTS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/processmining/CreateLTS.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/processmining/CreateLTSModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/processmining/CreateLTSModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/processmining/InvariantsMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/processmining/InvariantsMapper.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/processmining/algebra/Matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/processmining/algebra/Matrix.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/product/Product.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/product/Product.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/product/ProductAsyncModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/product/ProductAsyncModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/product/ProductSyncModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/product/ProductSyncModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/reversible/ReversibleModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/reversible/ReversibleModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/reversible/ReversibleNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/reversible/ReversibleNet.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/reversible/ReversibleTS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/reversible/ReversibleTS.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/separation/FirableSequences.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/separation/FirableSequences.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/separation/LargestK.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/separation/LargestK.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/separation/LargestKModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/separation/LargestKModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/separation/Separation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/separation/Separation.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/separation/SeparationLogic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/separation/SeparationLogic.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/separation/SeparationResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/separation/SeparationResult.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/separation/WeakSeparationModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/separation/WeakSeparationModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sideconditions/NonPure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sideconditions/NonPure.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sideconditions/NonPureModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sideconditions/NonPureModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sideconditions/Pure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sideconditions/Pure.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sideconditions/PureModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sideconditions/PureModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sideconditions/SideCondition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sideconditions/SideCondition.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sideconditions/SideConditions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sideconditions/SideConditions.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/snet/SNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/snet/SNet.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/snet/SNetModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/snet/SNetModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/snet/SNetResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/snet/SNetResult.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sum/LabelMismatchException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sum/LabelMismatchException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sum/Sum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sum/Sum.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sum/SumAsyncModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sum/SumAsyncModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/sum/SumSyncModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/sum/SumSyncModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/FindWords.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/FindWords.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/FindWordsModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/FindWordsModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/LimitedUnfolding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/LimitedUnfolding.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/MinimizePN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/MinimizePN.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/OverapproximatePN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/OverapproximatePN.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/PNProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/PNProperties.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/Region.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/Region.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/RegionUtility.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/RegionUtility.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/SynthesizeModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/SynthesizeModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/SynthesizePN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/SynthesizePN.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/SynthesizeUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/SynthesizeUtils.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/SynthesizeWordModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/SynthesizeWordModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/synthesize/UnreachableException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/synthesize/UnreachableException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/tnet/TNet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/tnet/TNet.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/tnet/TNetModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/tnet/TNetModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/tnet/TNetResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/tnet/TNetResult.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/trapsAndSiphons/SiphonModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/trapsAndSiphons/SiphonModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/analysis/trapsAndSiphons/TrapsModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/analysis/trapsAndSiphons/TrapsModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/AttributeFormatException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/AttributeFormatException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/ChanceGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/ChanceGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/Check.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/Check.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/CheckAttributes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/CheckAttributes.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/CheckGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/CheckGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/CheckModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/CheckModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/CheckParameters.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/CheckParameters.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/SmartChanceGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/SmartChanceGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/UnsupportedAttributeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/UnsupportedAttributeException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/check/UnsupportedGeneratorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/check/UnsupportedGeneratorException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/extension/ExtendMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/extension/ExtendMode.java -------------------------------------------------------------------------------- /src/module/uniol/apt/extension/ExtendStateFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/extension/ExtendStateFile.java -------------------------------------------------------------------------------- /src/module/uniol/apt/extension/ExtendTSModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/extension/ExtendTSModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/GeneratorUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/GeneratorUtils.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/NetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/NetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/bitnet/AbstractBitNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/bitnet/AbstractBitNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/bitnet/Bit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/bitnet/Bit.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/bitnet/BitNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/bitnet/BitNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/bitnet/SimpleBitNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/bitnet/SimpleBitNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/cycle/CycleGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/cycle/CycleGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/inverse/InverseNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/inverse/InverseNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/marking/MarkingIterable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/marking/MarkingIterable.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/marking/MarkingNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/marking/MarkingNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/module/AbstractGeneratorModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/module/AbstractGeneratorModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/module/BitNetGeneratorModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/module/BitNetGeneratorModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/module/CycleNetGeneratorModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/module/CycleNetGeneratorModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/module/TNetGeneratorModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/module/TNetGeneratorModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/package-info.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/philnet/PhilNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/philnet/PhilNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/philnet/Philosopher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/philnet/Philosopher.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/tnet/PlacePresetListIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/tnet/PlacePresetListIterator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/tnet/TNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/tnet/TNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/generator/tnet/TNetIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/generator/tnet/TNetIterator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/io/converter/AbstractConvertModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/io/converter/AbstractConvertModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/io/converter/FileBackedString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/io/converter/FileBackedString.java -------------------------------------------------------------------------------- /src/module/uniol/apt/io/converter/LTSConvertModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/io/converter/LTSConvertModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/io/converter/PNConvertModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/io/converter/PNConvertModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/AbstractInterruptibleModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/AbstractInterruptibleModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/AbstractModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/AbstractModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/AbstractModuleRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/AbstractModuleRegistry.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/AptModuleRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/AptModuleRegistry.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/InterruptibleModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/InterruptibleModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/ModuleExitStatusChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/ModuleExitStatusChecker.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/ModulePreconditionsChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/ModulePreconditionsChecker.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/ModuleRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/ModuleRegistry.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/PropertyModuleExitStatusChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/PropertyModuleExitStatusChecker.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/exception/FalseParameterException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/exception/FalseParameterException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/exception/SynetNotFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/exception/SynetNotFoundException.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ExitStatus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ExitStatus.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ModuleInputImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ModuleInputImpl.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ModuleInputSpecImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ModuleInputSpecImpl.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ModuleInvoker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ModuleInvoker.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ModuleOutputImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ModuleOutputImpl.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ModuleOutputSpecImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ModuleOutputSpecImpl.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ModuleUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ModuleUtils.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/OptionalParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/OptionalParameter.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/Parameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/Parameter.java -------------------------------------------------------------------------------- /src/module/uniol/apt/module/impl/ReturnValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/module/impl/ReturnValue.java -------------------------------------------------------------------------------- /src/module/uniol/apt/pnanalysis/CycleTNetIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/pnanalysis/CycleTNetIterator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/pnanalysis/PnAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/pnanalysis/PnAnalysis.java -------------------------------------------------------------------------------- /src/module/uniol/apt/pnanalysis/PnAnalysisModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/pnanalysis/PnAnalysisModule.java -------------------------------------------------------------------------------- /src/module/uniol/apt/pnanalysis/RandomTNetGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/pnanalysis/RandomTNetGenerator.java -------------------------------------------------------------------------------- /src/module/uniol/apt/pnanalysis/RandomTNetGeneratorModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/module/uniol/apt/pnanalysis/RandomTNetGeneratorModule.java -------------------------------------------------------------------------------- /src/test/integration/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/integration/README.txt -------------------------------------------------------------------------------- /src/test/integration/bounded-cc2-fail.args.txt: -------------------------------------------------------------------------------- 1 | bounded nets/crashkurs-cc2-net.apt 2 2 | -------------------------------------------------------------------------------- /src/test/integration/bounded-cc2-fail.exit.txt: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /src/test/integration/bounded-cc2-fail.out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/integration/bounded-cc2-fail.out.txt -------------------------------------------------------------------------------- /src/test/integration/bounded-cc2.args.txt: -------------------------------------------------------------------------------- 1 | bounded nets/crashkurs-cc2-net.apt 2 | -------------------------------------------------------------------------------- /src/test/integration/bounded-cc2.out.txt: -------------------------------------------------------------------------------- 1 | bounded: Yes 2 | smallest_K: 4 3 | -------------------------------------------------------------------------------- /src/test/integration/examine_pn-cc2.args.txt: -------------------------------------------------------------------------------- 1 | examine_pn nets/crashkurs-cc2-net.apt 2 | -------------------------------------------------------------------------------- /src/test/integration/examine_pn-cc2.out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/integration/examine_pn-cc2.out.txt -------------------------------------------------------------------------------- /src/test/integration/too_few_arguments.args.txt: -------------------------------------------------------------------------------- 1 | determini 2 | -------------------------------------------------------------------------------- /src/test/integration/too_few_arguments.err.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/integration/too_few_arguments.err.txt -------------------------------------------------------------------------------- /src/test/integration/too_few_arguments.exit.txt: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /src/test/uniol/apt/BestNetCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/BestNetCollection.java -------------------------------------------------------------------------------- /src/test/uniol/apt/CrashCourseNets.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/CrashCourseNets.java -------------------------------------------------------------------------------- /src/test/uniol/apt/TestNetCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/TestNetCollection.java -------------------------------------------------------------------------------- /src/test/uniol/apt/TestNetsForIsomorphism.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/TestNetsForIsomorphism.java -------------------------------------------------------------------------------- /src/test/uniol/apt/TestNetsForSeparation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/TestNetsForSeparation.java -------------------------------------------------------------------------------- /src/test/uniol/apt/TestNetsForSiphonsAndTraps.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/TestNetsForSiphonsAndTraps.java -------------------------------------------------------------------------------- /src/test/uniol/apt/TestTSCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/TestTSCollection.java -------------------------------------------------------------------------------- /src/test/uniol/apt/TestTSForBisimulation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/TestTSForBisimulation.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/automaton/FiniteAutomatonUtilityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/automaton/FiniteAutomatonUtilityTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/automaton/SymbolTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/automaton/SymbolTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/extension/ExtensibleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/extension/ExtensibleTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/ArcThatConnectsMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/ArcThatConnectsMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/ArcWithLabelMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/ArcWithLabelMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/CoverNodeMarkingThatMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/CoverNodeMarkingThatMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/EdgeCoverNodesThatMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/EdgeCoverNodesThatMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/FlowThatConnectsMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/FlowThatConnectsMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/MarkingThatIsMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/MarkingThatIsMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/Matchers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/Matchers.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/NodeMarkingThatMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/NodeMarkingThatMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/NodeWithIDMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/NodeWithIDMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/PlaceWithInitialTokenMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/PlaceWithInitialTokenMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/matcher/SubEdgeThatConnectsMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/matcher/SubEdgeThatConnectsMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/pn/AbstractTransitionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/pn/AbstractTransitionTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/pn/MarkingIntegrationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/pn/MarkingIntegrationTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/pn/MarkingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/pn/MarkingTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/pn/PetriNetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/pn/PetriNetTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/pn/RemovePNElementsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/pn/RemovePNElementsTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/subgraph/SubGraphTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/subgraph/SubGraphTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/ts/ParikhVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/ts/ParikhVectorTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/ts/RemoveTSElementsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/ts/RemoveTSElementsTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/adt/ts/TransitionSystemTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/adt/ts/TransitionSystemTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/GenerateStepNetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/GenerateStepNetTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/ac/AsymmetricChoiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/ac/AsymmetricChoiceTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/bcf/BCFTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/bcf/BCFTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/bicf/BiCFTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/bicf/BiCFTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/bisimulation/BisimulationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/bisimulation/BisimulationTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/bounded/BoundedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/bounded/BoundedTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/cf/ConflictFreeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/cf/ConflictFreeTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/connectivity/ConnectivityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/connectivity/ConnectivityTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/coverability/CoverabilityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/coverability/CoverabilityTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/cycles/CycleSearchTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/cycles/CycleSearchTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/cycles/CycleSearchViaChordsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/cycles/CycleSearchViaChordsTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/deterministic/DeterministicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/deterministic/DeterministicTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/factorization/FactorizationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/factorization/FactorizationTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/fairness/FairnessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/fairness/FairnessTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/fc/FreeChoiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/fc/FreeChoiceTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/fc/WeightedFreeChoiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/fc/WeightedFreeChoiceTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/fcnet/FCNetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/fcnet/FCNetTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/homogeneous/HomogeneousTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/homogeneous/HomogeneousTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/isolated/IsolatedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/isolated/IsolatedTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/language/WordInLanguageTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/language/WordInLanguageTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/live/LiveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/live/LiveTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/mf/MergeFreeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/mf/MergeFreeTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/on/OutputNonBranchingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/on/OutputNonBranchingTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/persistent/PersistentTSTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/persistent/PersistentTSTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/plain/PlainTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/plain/PlainTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/processmining/CreateLTSTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/processmining/CreateLTSTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/product/ProductTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/product/ProductTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/reversible/ReversibleTSTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/reversible/ReversibleTSTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/separation/LargestKTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/separation/LargestKTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/separation/SeparationStrongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/separation/SeparationStrongTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/separation/SeparationWeakTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/separation/SeparationWeakTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/sideconditions/NonPureTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/sideconditions/NonPureTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/sideconditions/PureTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/sideconditions/PureTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/snet/SNetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/snet/SNetTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/sum/SumTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/sum/SumTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synet/SynetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synet/SynetTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/FindWordsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/FindWordsTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/LimitedUnfoldingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/LimitedUnfoldingTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/MinimizePNTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/MinimizePNTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/PNPropertiesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/PNPropertiesTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/RegionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/RegionTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/RegionUtilityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/RegionUtilityTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/SynthesizePNTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/SynthesizePNTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/SynthesizeUtilsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/SynthesizeUtilsTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/synthesize/matcher/Matchers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/synthesize/matcher/Matchers.java -------------------------------------------------------------------------------- /src/test/uniol/apt/analysis/tnet/TNetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/analysis/tnet/TNetTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/check/CheckTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/check/CheckTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/check/check_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/check/check_test.sh -------------------------------------------------------------------------------- /src/test/uniol/apt/generator/marking/MarkingIterableTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/generator/marking/MarkingIterableTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/ParserSkipException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/ParserSkipException.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/ParserTestUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/ParserTestUtils.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/AptLTSParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/AptLTSParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/AptPNParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/AptPNParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/LoLAPNParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/LoLAPNParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/PetrifyLTSParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/PetrifyLTSParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/PetrifyPNParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/PetrifyPNParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/PnmlPNParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/PnmlPNParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/RegexParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/RegexParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/SynetLTSParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/SynetLTSParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/parser/impl/SynetPNParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/parser/impl/SynetPNParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/renderer/impl/AptPNRendererTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/renderer/impl/AptPNRendererTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/renderer/impl/GenetPNRendererTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/renderer/impl/GenetPNRendererTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/renderer/impl/LoLAPNRendererTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/renderer/impl/LoLAPNRendererTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/renderer/impl/PetrifyPNRendererTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/renderer/impl/PetrifyPNRendererTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/io/renderer/impl/RendererTestUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/io/renderer/impl/RendererTestUtils.java -------------------------------------------------------------------------------- /src/test/uniol/apt/json/JSONExecutorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/json/JSONExecutorTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/json/JSONUtilitiesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/json/JSONUtilitiesTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/json/MainTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/json/MainTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/json/TestModuleRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/json/TestModuleRegistry.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/ModuleRegistryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/ModuleRegistryTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/ExampleModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/ExampleModule.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/ModuleInvokerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/ModuleInvokerTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/OptionalParameterModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/OptionalParameterModule.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/RealWorldModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/RealWorldModule.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/ReflectionTestModule1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/ReflectionTestModule1.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/ReflectionTestModule2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/ReflectionTestModule2.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/TestParameterModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/TestParameterModule.java -------------------------------------------------------------------------------- /src/test/uniol/apt/module/impl/TestReturnValuesModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/module/impl/TestReturnValuesModule.java -------------------------------------------------------------------------------- /src/test/uniol/apt/pnanalysis/PnAnalysisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/pnanalysis/PnAnalysisTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/ui/impl/SimpleArgumentsParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/ui/impl/SimpleArgumentsParserTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/AbstractEquivalenceRelationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/AbstractEquivalenceRelationTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/DifferentPairsIterableTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/DifferentPairsIterableTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/DomainEquivalenceRelationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/DomainEquivalenceRelationTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/EquivalenceRelationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/EquivalenceRelationTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/MathToolsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/MathToolsTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/PairTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/PairTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/PowerSetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/PowerSetTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/SpanningTreeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/SpanningTreeTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/equations/EquationSystemTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/equations/EquationSystemTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/equations/InequalitySystemTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/equations/InequalitySystemTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/interrupt/InterrupterRegistryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/interrupt/InterrupterRegistryTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/matcher/ContainsRotatedMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/matcher/ContainsRotatedMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/matcher/ContainsRotatedMatcherTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/matcher/ContainsRotatedMatcherTest.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/matcher/Matchers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/matcher/Matchers.java -------------------------------------------------------------------------------- /src/test/uniol/apt/util/matcher/PairWithMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/apt/util/matcher/PairWithMatcher.java -------------------------------------------------------------------------------- /src/test/uniol/tests/dataprovider/IntRangeDataProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/src/test/uniol/tests/dataprovider/IntRangeDataProvider.java -------------------------------------------------------------------------------- /testng.single-class.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/testng.single-class.xml -------------------------------------------------------------------------------- /testng.single-method.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CvO-Theory/apt/HEAD/testng.single-method.xml --------------------------------------------------------------------------------