alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* iface/gspn/examples/DCSwave/DCSWave.def,

Browse source 
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.
This commit is contained in:
Alexandre Duret-Lutz 2003-07-23 16:13:45 +00:00
parent 7991efa10f
commit 5e8cbcde7f
8 changed files with 186 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
ChangeLog
View file

@ -1,6 +1,15 @@
2003-07-23 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* 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 <aduret@src.lip6.fr>

8
iface/gspn/Makefile.am
View file

@ -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

66
iface/gspn/examples/DCSwave/DCSWave.def Normal file
View file

@ -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
<S proc_0> + <S proc_1> + <S proc_2>
))
(F5 f 1.0 1.0 (@f
<p>
))
(F6 f 1.0 1.0 (@f
<p>
))
(F7 f 1.0 1.0 (@f
<p>
))
(F8 f 1.0 1.0 (@f
<p>
))
(F9 f 1.0 1.0 (@f
<p>
))
(F10 f 1.0 1.0 (@f
<p>
))
(F11 f 1.0 1.0 (@f
<S proc_0>+<S proc_1>+<S proc_2>
))
(F12 f 1.0 1.0 (@f
<p>
))
(F13 f 1.0 1.0 (@f
<p>
))
(F14 f 1.0 1.0 (@f
<p>
))
(F15 f 1.0 1.0 (@f
<p>
))
(F16 f 1.0 1.0 (@f
<S proc_0>+<S proc_1>+<S proc_2>
))
(F17 f 1.0 1.0 (@f
<S proc_1>
))
(F18 f 1.0 1.0 (@f
<S proc_0>
))
(F19 f 1.0 1.0 (@f
<S proc_1>
))
(F20 f 1.0 1.0 (@f
<S proc_0>
))

38
iface/gspn/examples/DCSwave/DCSWave.net Normal file
View file

@ -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

14
iface/gspn/examples/DCSwave/DCSWave.tobs Normal file
View file

@ -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 <S proc_1>
1 5 0 0 1.0 1.0 <S proc_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 <S proc_1>
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 <S proc_0>
0
0

30
iface/gspn/examples/simple/simple.def Normal file
View file

@ -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
<S C_0>
))
(F3 f 1.0 1.0 (@f
<x>
))
(F4 f 1.0 1.0 (@f
<x>
))
(F5 f 1.0 1.0 (@f
<x>
))
(F6 f 1.0 1.0 (@f
<x>
))
(F7 f 1.0 1.0 (@f
<x>
))
(F8 f 1.0 1.0 (@f
<x>
))

15
iface/gspn/examples/simple/simple.net Normal file
View file

@ -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

5
iface/gspn/examples/simple/simple.tobs Normal file
View file

@ -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 <x>
0
0