- 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
ToposInstitute/systems-theories
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|