|
|
@@ -1,69 +0,0 @@
|
|
|
-Place Place_5 {
|
|
|
- tokens = 0
|
|
|
- name = "consuming"
|
|
|
-}
|
|
|
-Place Place_1 {
|
|
|
- tokens = 3
|
|
|
- name = "maximum items"
|
|
|
-}
|
|
|
-Place Place_3 {
|
|
|
- tokens = 0
|
|
|
- name = "produced"
|
|
|
-}
|
|
|
-Place Place_2 {
|
|
|
- tokens = 0
|
|
|
- name = "producing"
|
|
|
-}
|
|
|
-Place Place_4 {
|
|
|
- tokens = 2
|
|
|
- name = "waiting"
|
|
|
-}
|
|
|
-Place Place_0 {
|
|
|
- tokens = 3
|
|
|
- name = "free"
|
|
|
-}
|
|
|
-Transition Transition_3 {
|
|
|
- name = "end consuming"
|
|
|
-}
|
|
|
-Transition Transition_0 {
|
|
|
- name = "start producing"
|
|
|
-}
|
|
|
-Transition Transition_2 {
|
|
|
- name = "start consuming"
|
|
|
-}
|
|
|
-Transition Transition_1 {
|
|
|
- name = "end producing"
|
|
|
-}
|
|
|
-P2T (Place_0, Transition_0) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-P2T (Place_2, Transition_1) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-P2T (Place_4, Transition_2) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-P2T (Place_3, Transition_2) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-P2T (Place_1, Transition_1) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-P2T (Place_5, Transition_3) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-T2P (Transition_1, Place_3) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-T2P (Transition_2, Place_5) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-T2P (Transition_3, Place_4) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-T2P (Transition_0, Place_2) {
|
|
|
- weight = 1
|
|
|
-}
|
|
|
-T2P (Transition_1, Place_0) {
|
|
|
- weight = 1
|
|
|
-}
|
