File	Date	Author	Commit
PetriNetCore	2010-09-09	aabs	[6f002f] part way through the refactoring of the unit te...
TestProject1	2010-09-09	aabs	[6f002f] part way through the refactoring of the unit te...
doc	2010-03-07	Andrew Matthews	[589d02] decoupled markings from the matrixpetrinet
lib	2010-08-12	aabs	[e83c84] Added COCO/R Parser for arc spec lang
.gitignore	2010-08-13	aabs	[c84c23] full net spec language + tests
Local.testsettings	2010-01-23	Andrew Matthews	[0e6368] initial import
PetriNet1.sln	2010-03-01	Andrew Matthews	[69f01c] MatrixPetriNet now supports priority, conflict ...
PetriNet1.suo	2010-09-09	aabs	[6f002f] part way through the refactoring of the unit te...
PetriNet1.vsmdi	2010-08-10	aabs	[cb136f] refactorings
README.txt	2010-03-01	Andrew Matthews	[69f01c] MatrixPetriNet now supports priority, conflict ...
TraceAndTestImpact.testsettings	2010-03-01	Andrew Matthews	[69f01c] MatrixPetriNet now supports priority, conflict ...
notes.txt	2010-01-23	Andrew Matthews	[0e6368] initial import
pnml.ex1.xml	2010-01-23	Andrew Matthews	[0e6368] initial import
testimpactdata.sdf	2010-09-09	aabs	[6f002f] part way through the refactoring of the unit te...

Read Me

Welcome to PetriNets
====================

PetriNets is a Petri Net library written in C# and designed to act as the core
of an event driven application. 

This project follows on from a blog post I made [1] some years ago that still seems to be popular today. In working with the systems designed in [1] I found that the inherent limitations of DFAs were an actual and continual limitation in the working of the system I had produced. I saught a mechanism whereby I could provide assurances of the consistency of my state models in the face of errors. pETRInETS

[1] http://aabs.wordpress.com/2008/06/26/state-machines-in-c-30-using-t4-templates/