Safe Rust bindings to POSIX-ish APIs
Graphical explorer for BACnet and Free BACnet library in C#
HiPS tool features to design and analyze hierarchical Petri nets
A graphical editor for graph-like structures
A complete software solution for windows usb devices
A multi-modeling and simulation environment to study complex systems
Update your website with a random quotation.
Simplified Inter-Process Communication for Windows
Carassius is a tool for editing of Petri nets and graphs.
Editor for Petri nets
Petri net framework for security related modeling and reasoning.
Synchronous Petri Nets' emulator
A unified framework for concurrency bug fixing
Signal Interpreted Petri Net Laboratory
a distributed cloud simulator written in Java
A PIPE Extension for Performance Estimation and Resource Optimisation
High Level Petri Net Editor and Simulator