From 5e8cbcde7f1409ca45a298355e26453484f79e09 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 23 Jul 2003 16:13:45 +0000 Subject: [PATCH] * iface/gspn/examples/DCSwave/DCSWave.def, iface/gspn/examples/DCSwave/DCSWave.net iface/gspn/examples/DCSwave/DCSWave.tobs, iface/gspn/examples/simple/simple.def, iface/gspn/examples/simple/simple.net, iface/gspn/examples/simple/simple.tobs: New files, from Yann Thierry-Mieg. * iface/gspn/Makefile.am (EXTRA_DIST): New variables. --- ChangeLog | 11 +++- iface/gspn/Makefile.am | 8 +++ iface/gspn/examples/DCSwave/DCSWave.def | 66 ++++++++++++++++++++++++ iface/gspn/examples/DCSwave/DCSWave.net | 38 ++++++++++++++ iface/gspn/examples/DCSwave/DCSWave.tobs | 14 +++++ iface/gspn/examples/simple/simple.def | 30 +++++++++++ iface/gspn/examples/simple/simple.net | 15 ++++++ iface/gspn/examples/simple/simple.tobs | 5 ++ 8 files changed, 186 insertions(+), 1 deletion(-) create mode 100644 iface/gspn/examples/DCSwave/DCSWave.def create mode 100644 iface/gspn/examples/DCSwave/DCSWave.net create mode 100644 iface/gspn/examples/DCSwave/DCSWave.tobs create mode 100644 iface/gspn/examples/simple/simple.def create mode 100644 iface/gspn/examples/simple/simple.net create mode 100644 iface/gspn/examples/simple/simple.tobs diff --git a/ChangeLog b/ChangeLog index d6b2e1340..65b9ce47f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,15 @@ 2003-07-23 Alexandre Duret-Lutz - * iface/gspn/gspn.cc (tgba_gspn_private_::tgba_gspn_private_): + * iface/gspn/examples/DCSwave/DCSWave.def, + iface/gspn/examples/DCSwave/DCSWave.net + iface/gspn/examples/DCSwave/DCSWave.tobs, + iface/gspn/examples/simple/simple.def, + iface/gspn/examples/simple/simple.net, + iface/gspn/examples/simple/simple.tobs: New files, from + Yann Thierry-Mieg. + * iface/gspn/Makefile.am (EXTRA_DIST): New variables. + + * iface/gspn/gspn.cc (tgba_gspn_private_::tgba_gspn_private_): Rethrow caught expections. 2003-07-22 Alexandre Duret-Lutz diff --git a/iface/gspn/Makefile.am b/iface/gspn/Makefile.am index 9576c96cc..80e82e4f1 100644 --- a/iface/gspn/Makefile.am +++ b/iface/gspn/Makefile.am @@ -15,3 +15,11 @@ dottygspn_rg_LDADD = libspotgspn.la $(LIBGSPNRG_LDFLAGS) dottygspn_srg_SOURCES = dottygspn.cc dottygspn_srg_LDADD = libspotgspn.la $(LIBGSPNSRG_LDFLAGS) + +EXTRA_DIST = \ + examples/DCSwave/DCSWave.def \ + examples/DCSwave/DCSWave.net \ + examples/DCSwave/DCSWave.tobs \ + examples/simple/simple.def \ + examples/simple/simple.net \ + examples/simple/simple.tobs \ No newline at end of file diff --git a/iface/gspn/examples/DCSwave/DCSWave.def b/iface/gspn/examples/DCSwave/DCSWave.def new file mode 100644 index 000000000..82f7d172d --- /dev/null +++ b/iface/gspn/examples/DCSwave/DCSWave.def @@ -0,0 +1,66 @@ +|256 +% +| +(proc c 1.0 1.0 (@c +u proc_0,proc_1,proc_2 +)) +(proc_0 c 1.0 1.0 (@c +proc{1-1} +)) +(proc_1 c 1.0 1.0 (@c +proc{2-2} +)) +(proc_2 c 1.0 1.0 (@c +proc{3-10} +)) +(M_Idle m 1.0 1.0 (@m + + + +)) +(F5 f 1.0 1.0 (@f +

+)) +(F6 f 1.0 1.0 (@f +

+)) +(F7 f 1.0 1.0 (@f +

+)) +(F8 f 1.0 1.0 (@f +

+)) +(F9 f 1.0 1.0 (@f +

+)) +(F10 f 1.0 1.0 (@f +

+)) +(F11 f 1.0 1.0 (@f +++ +)) +(F12 f 1.0 1.0 (@f +

+)) +(F13 f 1.0 1.0 (@f +

+)) +(F14 f 1.0 1.0 (@f +

+)) +(F15 f 1.0 1.0 (@f +

+)) +(F16 f 1.0 1.0 (@f +++ +)) +(F17 f 1.0 1.0 (@f + +)) +(F18 f 1.0 1.0 (@f + +)) +(F19 f 1.0 1.0 (@f + +)) +(F20 f 1.0 1.0 (@f + +)) diff --git a/iface/gspn/examples/DCSwave/DCSWave.net b/iface/gspn/examples/DCSwave/DCSWave.net new file mode 100644 index 000000000..b9855fe0a --- /dev/null +++ b/iface/gspn/examples/DCSwave/DCSWave.net @@ -0,0 +1,38 @@ +|0| +| +f 0 6 0 5 0 0 0 +Idle -10005 1.0 1.0 1.0 1.0 0 1.0 1.0 proc +SC 0 1.0 1.0 1.0 1.0 0 1.0 1.0 proc +Dem 0 1.0 1.0 1.0 1.0 0 1.0 1.0 proc +inWave 0 1.0 1.0 1.0 1.0 0 1.0 1.0 proc +Att 0 1.0 1.0 1.0 1.0 0 1.0 1.0 proc +mutex 1 1.0 1.0 1.0 1.0 0 +t3 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 4 0 0 1.0 1.0 F7 + 1 + 1 5 0 0 1.0 1.0 F8 + 0 +t4 1.0 1 0 2 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 5 0 0 1.0 1.0 F9 + 1 6 0 0 + 1 + 1 2 0 0 1.0 1.0 F10 + 1 + 1 4 0 0 1.0 1.0 F11 +t1 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 1 0 0 1.0 1.0 F5 + 1 + 1 3 0 0 1.0 1.0 F6 + 0 +t2 1.0 1 1 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 3 0 0 1.0 1.0 F14 + 1 + 1 4 0 0 1.0 1.0 F15 + 1 + 1 5 0 0 1.0 1.0 F16 +t5 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 2 0 0 1.0 1.0 F12 + 2 + 1 1 0 0 1.0 1.0 F13 + 1 6 0 0 + 0 diff --git a/iface/gspn/examples/DCSwave/DCSWave.tobs b/iface/gspn/examples/DCSwave/DCSWave.tobs new file mode 100644 index 000000000..5eadc5431 --- /dev/null +++ b/iface/gspn/examples/DCSwave/DCSWave.tobs @@ -0,0 +1,14 @@ +3 +ATTiIDLj 1.0 1 0 2 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 1 0 0 1.0 1.0 + 1 5 0 0 1.0 1.0 + 0 + 0 +SCj 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 2 0 0 1.0 1.0 + 0 + 0 +SCi 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 2 0 0 1.0 1.0 + 0 + 0 \ No newline at end of file diff --git a/iface/gspn/examples/simple/simple.def b/iface/gspn/examples/simple/simple.def new file mode 100644 index 000000000..6f63f89d2 --- /dev/null +++ b/iface/gspn/examples/simple/simple.def @@ -0,0 +1,30 @@ +|256 +% +| +(C c 1.0 1.0 (@c +u C_0 +)) +(C_0 c 1.0 1.0 (@c +num{1-10} +)) +(M_a m 1.0 1.0 (@m + +)) +(F3 f 1.0 1.0 (@f + +)) +(F4 f 1.0 1.0 (@f + +)) +(F5 f 1.0 1.0 (@f + +)) +(F6 f 1.0 1.0 (@f + +)) +(F7 f 1.0 1.0 (@f + +)) +(F8 f 1.0 1.0 (@f + +)) diff --git a/iface/gspn/examples/simple/simple.net b/iface/gspn/examples/simple/simple.net new file mode 100644 index 000000000..dc1f1deee --- /dev/null +++ b/iface/gspn/examples/simple/simple.net @@ -0,0 +1,15 @@ +|0| +| +f 0 2 0 2 0 0 0 +a -10003 1.0 1.0 1.0 1.0 0 1.0 1.0 C +b 0 1.0 1.0 1.0 1.0 0 1.0 1.0 C +x 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 1 0 0 1.0 1.0 F3 + 1 + 1 2 0 0 1.0 1.0 F4 + 0 +y 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 2 0 0 1.0 1.0 F5 + 1 + 1 1 0 0 1.0 1.0 F6 + 0 diff --git a/iface/gspn/examples/simple/simple.tobs b/iface/gspn/examples/simple/simple.tobs new file mode 100644 index 000000000..2ac82ed52 --- /dev/null +++ b/iface/gspn/examples/simple/simple.tobs @@ -0,0 +1,5 @@ +1 +obs 1.0 1 0 1 0 1.0 1.0 1.0 1.0 1.0 1.0 0 + 1 1 0 0 1.0 1.0 + 0 + 0