https://github.com/alirezakay/petri-net-calc
calculate specifications of a given petri net using the incident matrix in java
https://github.com/alirezakay/petri-net-calc
characteristics embedded-systems incident-matrix java live matrix petri-nets petrinet realtime safe system
Last synced: 3 months ago
JSON representation
calculate specifications of a given petri net using the incident matrix in java
- Host: GitHub
- URL: https://github.com/alirezakay/petri-net-calc
- Owner: alirezakay
- License: mit
- Created: 2019-09-25T09:37:11.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2019-10-19T12:27:04.000Z (over 5 years ago)
- Last Synced: 2023-03-21T11:08:48.418Z (about 2 years ago)
- Topics: characteristics, embedded-systems, incident-matrix, java, live, matrix, petri-nets, petrinet, realtime, safe, system
- Language: Java
- Homepage:
- Size: 1.12 MB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0