Viewing all changes in revision 1.

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

expand all

collapse all

Show diffs side-by-side

added

removed

/

LICENSE

PetriEngine/

PetriEngine/AbstractPetriNetBuilder.h

PetriEngine/DTAPN/

PetriEngine/DTAPN/AbstractDTAPNBuilder.h

PetriEngine/DTAPN/DTAPNPrinter.cpp

PetriEngine/DTAPN/DTAPNPrinter.h

PetriEngine/DTAPN/DTAPNTranslator.cpp

PetriEngine/DTAPN/DTAPNTranslator.h

PetriEngine/PQL/

PetriEngine/PQL/Contexts.h

PetriEngine/PQL/Expressions.cpp

PetriEngine/PQL/Expressions.h

PetriEngine/PQL/PQL.cpp

PetriEngine/PQL/PQL.h

PetriEngine/PQL/PQLAssignmentParser.y

PetriEngine/PQL/PQLAssignmentTokens.l

PetriEngine/PQL/PQLParser.h

PetriEngine/PQL/PQLQueryParser.y

PetriEngine/PQL/PQLQueryTokens.l

PetriEngine/PQL/SUMoQueryParser.y

PetriEngine/PQL/SUMoQueryTokens.l

PetriEngine/PetriNet.cpp

PetriEngine/PetriNet.h

PetriEngine/PetriNetBuilder.cpp

PetriEngine/PetriNetBuilder.h

PetriEngine/ProgressReporter.h

PetriEngine/Reachability/

PetriEngine/Reachability/BestFSCooling.cpp

PetriEngine/Reachability/BestFSCooling.h

PetriEngine/Reachability/BestFirstReachabilitySearch.cpp

PetriEngine/Reachability/BestFirstReachabilitySearch.h

PetriEngine/Reachability/BreadthFirstReachabilitySearch.cpp

PetriEngine/Reachability/BreadthFirstReachabilitySearch.h

PetriEngine/Reachability/CoverabilityTreeNode.cpp

PetriEngine/Reachability/CoverabilityTreeNode.h

PetriEngine/Reachability/DepthFirstReachabilitySearch.cpp

PetriEngine/Reachability/DepthFirstReachabilitySearch.h

PetriEngine/Reachability/HashUnderApproximation.cpp

PetriEngine/Reachability/HashUnderApproximation.h

PetriEngine/Reachability/HeuristicDFS.cpp

PetriEngine/Reachability/HeuristicDFS.h

PetriEngine/Reachability/LinearOverApprox.cpp

PetriEngine/Reachability/LinearOverApprox.h

PetriEngine/Reachability/MagicSearch.cpp

PetriEngine/Reachability/MagicSearch.h

PetriEngine/Reachability/RandomDFS.cpp

PetriEngine/Reachability/RandomDFS.h

PetriEngine/Reachability/RandomQueryGenerator.cpp

PetriEngine/Reachability/RandomQueryGenerator.h

PetriEngine/Reachability/ReachabilityResult.h

PetriEngine/Reachability/ReachabilitySearchStrategy.cpp

PetriEngine/Reachability/ReachabilitySearchStrategy.h

PetriEngine/Reachability/StateSearch.cpp

PetriEngine/Reachability/StateSearch.h

PetriEngine/Reachability/UltimateSearch.cpp

PetriEngine/Reachability/UltimateSearch.h

PetriEngine/StandardOutputProgressReporter.cpp

PetriEngine/StandardOutputProgressReporter.h

PetriEngine/Structures/

PetriEngine/Structures/BitField.h

PetriEngine/Structures/BlockStack.h

PetriEngine/Structures/BoundedStateAllocator.h

PetriEngine/Structures/DistanceMatrix.cpp

PetriEngine/Structures/DistanceMatrix.h

PetriEngine/Structures/EnhancedPriorityQueue.h

PetriEngine/Structures/LimitedStateAllocator.h

PetriEngine/Structures/PriorityQueue.h

PetriEngine/Structures/Scale.h

PetriEngine/Structures/SmartState.cpp

PetriEngine/Structures/SmartState.h

PetriEngine/Structures/SmartStateAllocator.h

PetriEngine/Structures/SmartStateSet.h

PetriEngine/Structures/State.h

PetriEngine/Structures/StateAllocator.h

PetriEngine/Structures/StateConstraints.cpp

PetriEngine/Structures/StateConstraints.h

PetriEngine/Structures/StateSet.h

PetriEngine/ValidationBuilder.cpp

PetriEngine/ValidationBuilder.h

PetriParse/

PetriParse/PNMLParser.cpp

PetriParse/PNMLParser.h

PetriParse/xmlsp/

PetriParse/xmlsp/LICENSE

PetriParse/xmlsp/xmlsp.cpp

PetriParse/xmlsp/xmlsp.h

PetriParse/xmlsp/xmlsp_dom.cpp

PetriParse/xmlsp/xmlsp_dom.h

README.mkd

Tests/

Tests/InhibitorArcs-0.xml

Tests/InhibitorArcs-0.xml.q

Tests/InhibitorArcs-1.xml

Tests/InhibitorArcs-1.xml.q

Tests/Kanban1000MemLimit-2.xml

Tests/Kanban1000MemLimit-2.xml.q

Tests/TransportArc-0.xml

Tests/TransportArc-0.xml.q

Tests/kanban10-0.xml

Tests/kanban10-0.xml.q

Tests/kanban10-1.xml

Tests/kanban10-1.xml.q

makefile

makefile.mingw32

petapaal.cpp

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1