Net -- has transitionEntries and placeEntries

TODO.md

@@ -1,11 +1,25 @@
 # net
 
-Transition -- has input and output places
-Place
-Choice
+createNet
+
+Transition and Place has id and name
+
+createNode
+
+TransitionEntry -- has inputs and outputs places
+PlaceEntry
 
 apply/applyTransition
 
+run
+
+- everytime a marking changes,
+  loop through and try to execute every transitions.
+
+# choice
+
+[maybe] as one kind of `Transition`
+
 # lang
 
 env

src/lang/net/Net.ts

@@ -1,7 +1,20 @@
-import { Place } from "../place"
-import { Transition } from "../transition"
-
 export type Net = {
-  places: Map<string, Place>
-  transitions: Map<string, Transition>
+  placeEntries: Map<string, PlaceEntry>
+  transitionEntries: Map<string, TransitionEntry>
+}
+
+export type TransitionEntry = {
+  id: string
+  name: string
+  inputs: Array<PlaceEntry>
+  outputs: Array<PlaceEntry>
+}
+
+export type PlaceEntry = {
+  id: string
+  name: string
+}
+
+export type ChoiceEntry = {
+  //
 }