-
Notifications
You must be signed in to change notification settings - Fork 0
Simple typechecker for a petri net representation of a program. Input is through Json file and output is a cs file that should be checked for errors. This is part of my Bachelor thesis and is not meant to be a stand-alone project.
Paul2803k/PetriNetTypeChecker
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
Simple typechecker for a petri net representation of a program. Input is through Json file and output is a cs file that should be checked for errors. This is part of my Bachelor thesis and is not meant to be a stand-alone project.
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published