Skip to content

Latest commit

 

History

History
33 lines (24 loc) · 1.75 KB

README.md

File metadata and controls

33 lines (24 loc) · 1.75 KB
Raw

Gold

This repository contains examples of machines built using Gold

  1. Automata
  1. Turing machines

Petri nets

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 <= 2
red<=1
yellow<=1
green<=1
Basic one queue one processor One queue serviced by two different processors Working1+ReadyProc1=1
Working2+ReadyProc2=1
1q2p One queue serviced by two different processors Working1+ReadyProc1=1
Working2+ReadyProc2=1