Index of /trunk/examples/Automata/PetriNet/handcrafted
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
DiamondTail.ats 2021-02-19 15:38 456
TriamondTail.ats 2018-08-10 15:41 494
PreBiLoop.ats 2018-08-10 15:41 296
NestedLoop2.ats 2018-08-10 15:41 273
MatthiasPetrificationExamplePositive.ats 2018-08-10 15:41 333
Loop.ats 2018-08-10 15:41 276
Flower3.ats 2018-08-10 15:41 270
Flower2.ats 2018-08-10 15:41 250
DoubleDiamondLoop.ats 2018-08-10 15:41 631
DiamondSnake4.ats 2018-08-10 15:41 502
DiamondSnake3.ats 2018-08-10 15:41 439
DiamondSnake2.ats 2018-08-10 15:41 376
DiamondLoop.ats 2018-08-10 15:41 587
DeadEndLoop.ats 2018-08-10 15:41 385
Dag.ats 2018-08-10 15:41 365
CutTest.ats 2018-08-10 15:41 782
AcceptanceTest.ats 2018-08-10 15:41 435