Commits on May 30, 2016
  1. Rename README.txt to README.md

    committed May 30, 2016
Commits on Feb 4, 2011
  1. misc additions (incomplete?)

    committed Feb 5, 2011
Commits on Sep 15, 2010
Commits on Sep 13, 2010
Commits on Sep 8, 2010
Commits on Aug 15, 2010
  1. denser spec language

    committed Aug 16, 2010
Commits on Aug 13, 2010
  1. full net spec language + tests

    committed Aug 13, 2010
Commits on Aug 12, 2010
  1. tidied up the unit tests

    committed Aug 12, 2010
Commits on Aug 10, 2010
  1. PN created with build API works

    committed Aug 10, 2010
Commits on Aug 9, 2010
  1. refactorings

    committed Aug 10, 2010
Commits on Aug 4, 2010
Commits on Mar 7, 2010
Commits on Mar 4, 2010
  1. disconnected the marking from the GraphPetriNet

    added base class to contain base accessors
    committed Mar 5, 2010
Commits on Feb 28, 2010
  1. MatrixPetriNet now supports priority, conflict detection and resoluti…

    …on and functions
    
    all unit tests now in the green
    committed Mar 1, 2010
Commits on Feb 27, 2010
  1. ignoring .txt~ files

    committed Feb 27, 2010
  2. added a readme file

    committed Feb 27, 2010
Commits on Feb 6, 2010
  1. removal of renamed file

    committed Feb 6, 2010
Commits on Jan 31, 2010
Commits on Jan 27, 2010
  1. testing that drain or output transitions work OK

    Signed-off-by: Andrew Matthews <matthews.andrew@gmail.com>
    committed Jan 28, 2010
  2. implemented support for input transitions

    added safe accessors to get enumerable collections where none may exists (as in an input transition)
    
    Signed-off-by: Andrew Matthews <matthews.andrew@gmail.com>
    committed Jan 28, 2010
  3. addition of some notes and documentation

    Signed-off-by: Andrew Matthews <matthews.andrew@gmail.com>
    committed Jan 27, 2010
Commits on Jan 26, 2010
  1. project files modified

    committed Jan 27, 2010
Commits on Jan 24, 2010
  1. ignoring user files

    committed Jan 24, 2010
Commits on Jan 22, 2010
  1. initial import

    committed Jan 23, 2010