GitHub repository: Joseph-Vanliew/PATS
Primary language: TypeScript
Created: 2024-04-22T19:27:06Z
Description: PATs is a Petri-Net Place and Transition diagramming tool to accurately capture the intended behaviors of distributed systems.