« back to all changes in this revision
Viewing changes to INPUT_MC/Ring-PT-none/equiv_col
- Committer: Mads Johannsen
- Date: 2015-05-27 01:37:47 UTC
- Revision ID: mjohan12@student.aau.dk-20150527013747-fc4uexe0yfjsw7pm
Directory cleanup and readme
- files removed:
- Documentation
- INPUT_MC
- INPUT_MC/ARMCacheCoherence-PT-none
- INPUT_MC/Angiogenesis-PT-01
- INPUT_MC/Angiogenesis-PT-05
- INPUT_MC/Angiogenesis-PT-10
- INPUT_MC/CSRepetitions-PT-02
- INPUT_MC/CSRepetitions-PT-03
- INPUT_MC/CSRepetitions-PT-04
- INPUT_MC/CircadianClock-PT-000001
- INPUT_MC/CircadianClock-PT-000010
- INPUT_MC/CircadianClock-PT-000100
- INPUT_MC/CircularTrains-PT-012
- INPUT_MC/CircularTrains-PT-024
- INPUT_MC/CircularTrains-PT-048
- INPUT_MC/DatabaseWithMutex-PT-02
- INPUT_MC/DatabaseWithMutex-PT-04
- INPUT_MC/DatabaseWithMutex-PT-10
- INPUT_MC/Dekker-PT-010
- INPUT_MC/Dekker-PT-015
- INPUT_MC/Dekker-PT-020
- INPUT_MC/DrinkVendingMachine-PT-02
- INPUT_MC/DrinkVendingMachine-PT-10
- INPUT_MC/ERK-PT-000001
- INPUT_MC/ERK-PT-000010
- INPUT_MC/ERK-PT-000100
- INPUT_MC/EnergyBus-PT-none
- INPUT_MC/Eratosthenes-PT-010
- INPUT_MC/Eratosthenes-PT-020
- INPUT_MC/Eratosthenes-PT-050
- INPUT_MC/FMS-PT-005
- INPUT_MC/FMS-PT-010
- INPUT_MC/FMS-PT-020
- INPUT_MC/GlobalResAllocation-PT-03
- INPUT_MC/GlobalResAllocation-PT-05
- INPUT_MC/HouseConstruction-PT-002
- INPUT_MC/HouseConstruction-PT-005
- INPUT_MC/HouseConstruction-PT-010
- INPUT_MC/IBMB2S565S3960-PT-none
- INPUT_MC/Kanban-PT-0005
- INPUT_MC/Kanban-PT-0010
- INPUT_MC/Kanban-PT-0020
- INPUT_MC/LamportFastMutEx-PT-2
- INPUT_MC/LamportFastMutEx-PT-3
- INPUT_MC/LamportFastMutEx-PT-4
- INPUT_MC/MultiwaySync-PT-none
- INPUT_MC/MultiwaySync-PT-none (copy)
- INPUT_MC/PermAdmissibility-PT-01
- INPUT_MC/PermAdmissibility-PT-02
- INPUT_MC/PermAdmissibility-PT-05
- INPUT_MC/Peterson-PT-2
- INPUT_MC/Peterson-PT-3
- INPUT_MC/Peterson-PT-4
- INPUT_MC/PhilosophersDyn-PT-03
- INPUT_MC/PhilosophersDyn-PT-10
- INPUT_MC/PhilosophersDyn-PT-20
- INPUT_MC/Planning-PT-none
- INPUT_MC/ProductionCell-PT-none
- INPUT_MC/Railroad-PT-005
- INPUT_MC/Railroad-PT-010
- INPUT_MC/Railroad-PT-020
- INPUT_MC/ResAllocation-PT-R002C002
- INPUT_MC/ResAllocation-PT-R003C002
- INPUT_MC/ResAllocation-PT-R003C003
- INPUT_MC/Ring-PT-none
- INPUT_MC/RwMutex-PT-r0010w0010
- INPUT_MC/RwMutex-PT-r0010w0020
- INPUT_MC/RwMutex-PT-r0010w0050
- INPUT_MC/SharedMemory-PT-000005
- INPUT_MC/SharedMemory-PT-000010
- INPUT_MC/SharedMemory-PT-000020
- INPUT_MC/SimpleLoadBal-PT-02
- INPUT_MC/SimpleLoadBal-PT-05
- INPUT_MC/SimpleLoadBal-PT-10
- INPUT_MC/TokenRing-PT-005
- INPUT_MC/TokenRing-PT-010
- INPUT_MC/TokenRing-PT-015
- INPUT_MC/UtahNoC-PT-none
- INPUT_MC/Vasy2003-PT-none
- Scripts
- Tests
- Tests/TAPAAL-test-nets
- files modified:
- PetriEngine/CodeGenerator.cpp
added
removed
INPUT_MC/Ring-PT-none/equiv_col
