GitHub topics: pt-net
dmrokan/soyutnet
SoyutNet is a Petri net simulator that uses Python's asyncio task and synchronization utilities as backend.
Language: Python - Size: 511 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
dmrokan/soyutnet-simulations
Hobby open research project which aims to demonstrate the capabilities of PT net (Petri net) based formal methods in improvement of producer/consumer pipelines
Language: Python - Size: 3.75 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0