TransitionEntry has inputParameters and outputParameters

- Parameter = { name, t }

Author: xieyuheng

src/lang/net/Net.ts

@@ -1,20 +1,36 @@
+/*
+
+  A Petri net is a directed bipartite graph,
+  where nodes are partitioned to two kinds -- places and transitions.
+
+  We implement a net by adjacency list.
+
+*/
+
+import { Value } from "../value"
+
 export type Net = {
   placeEntries: Map<string, PlaceEntry>
   transitionEntries: Map<string, TransitionEntry>
 }
 
+export type Parameter = {
+  name: string
+  t: Value
+}
+
 export type TransitionEntry = {
   id: string
   name: string
+  inputParameters: Array<Parameter>
+  outputParameters: Array<Parameter>
   inputs: Array<PlaceEntry>
   outputs: Array<PlaceEntry>
 }
 
 export type PlaceEntry = {
   id: string
   name: string
-}
-
-export type ChoiceEntry = {
-  //
+  inputs: Array<TransitionEntry>
+  outputs: Array<TransitionEntry>
 }

src/lang/value/Value.ts

@@ -0,0 +1,3 @@
+export type Value = {
+  //
+}

src/lang/value/index.ts

@@ -0,0 +1 @@
+export * from "./Value"