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