https://github.com/skasselbard/petritostar

Create petri net data and convert it to other formats
https://github.com/skasselbard/petritostar

Last synced: 10 days ago
JSON representation

Create petri net data and convert it to other formats

• Host: GitHub
• URL: https://github.com/skasselbard/petritostar
• Owner: Skasselbard
• License: gpl-3.0
• Created: 2019-12-06T12:32:43.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-01-03T09:55:56.000Z (almost 5 years ago)
• Last Synced: 2024-04-23T14:13:39.531Z (8 months ago)
• Language: Rust
• Size: 41 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project