Abstract: Vector addition systems with states (VASS), also known as Petri nets, are a popular model of concurrent systems. Many problems from many areas reduce to the reachability problem for VASS, ...

🚧 This project is in alpha stage! Repath Studio is a cross platform vector graphics editor, that combines procedural tooling with traditional design workflows. It includes an interactive shell, which ...

Shelby Putnam Tupper is founder and creative director of Shelby Designs Inc., a small-but-mighty, full-service, customer-obsessed design consultancy.