- Resource sharing machines
- Petri nets
- Petri nets as resource sharing machines via mass action
- Stockflow diagrams with migration to resource sharing machines
- Differential-algebraic equations
- Port-Hamiltonian systems
- Discrete-time deterministic Moore machines
- Discrete-time nondeterministic Moore machines
- Discrete-time stochastic Moore machines
- Hybrid dynamical systems
- Continuous-time stochastic Moore machines
-
Notifications
You must be signed in to change notification settings - Fork 0
ToposInstitute/systems-theories
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A menagerie of systems theories as compositional domain specific languages
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published