The purpose of this project was to explore Coloured Petri nets (CPN) and undertake initial investigations on how it may be implemented on the .NET platform. The main goal was to manually create code representing a CPN model in .NET using the F# programming language. The code, when executed, should resemble the execution of the CPN model in CPN Tools, step my step with all its intermediate markings. The CPN model used as an example was a two-phase commit protocol. In addition, general understanding of CPNs and the F# was necessary and acquired during this project.
-
Notifications
You must be signed in to change notification settings - Fork 0
andreasgarvik/dat259_project
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Pre master thesis related work
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published