This repository contains examples of machines built using Gold
- Automata
- Deterministic Finite Automata
- Nondeterministic Finite Automata
- Finite State Transducers
- Pushdown Automata
The example Petri net programs bellow are defined using both the HiPS : Hierarchical Petri net Simulatorhttps://sourceforge.net/projects/hips-tools/ using the .hps files (for windows users), and Hybrid Petri Net ICSI Simulatorhttps://sourceforge.net/projects/hisim/ using the .xml files (java based simulator).
| Problem Name | Description | Invariant |
|---|---|---|
| Count | Simulates a counter from 0 to 999 | CountIn = Temp + p0 + 10*p1 + 100*p2 |
| Traffic lights | Simulates a standard 4-color traffic light | red + yellow + green <= 2red<=1yellow<=1green<=1 |
| Basic one queue one processor | One queue serviced by two different processors | Working1+ReadyProc1=1Working2+ReadyProc2=1 |
| 1q2p | One queue serviced by two different processors | Working1+ReadyProc1=1Working2+ReadyProc2=1 |