Skip to content
a library to implement generalised petri nets in C#
C# Smalltalk
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
PNML/standard test nets further progress on the PNML loader (tests) Sep 15, 2010
PetriNetCore misc additions (incomplete?) Feb 4, 2011
TestProject1 misc additions (incomplete?) Feb 4, 2011
doc decoupled markings from the matrixpetrinet Mar 7, 2010
lib Added COCO/R Parser for arc spec lang Aug 12, 2010
.gitignore further progress on the PNML loader (tests) Sep 15, 2010
Local.testsettings initial import Jan 22, 2010
PetriNet1.sln MatrixPetriNet now supports priority, conflict detection and resoluti… Feb 28, 2010
PetriNet1.suo misc additions (incomplete?) Feb 4, 2011
PetriNet1.vsmdi refactorings Aug 9, 2010
README.md Rename README.txt to README.md May 30, 2016
TraceAndTestImpact.testsettings MatrixPetriNet now supports priority, conflict detection and resoluti… Feb 28, 2010
notes.txt initial import Jan 22, 2010
pnml.ex1.xml
testimpactdata.sdf misc additions (incomplete?) Feb 4, 2011

README.md

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/

You can’t perform that action at this time.