UniTO/anno3/vpc/consegne/2.b/ReteF-RG of CPN.solution/CPN.def
2024-10-29 09:11:05 +01:00

27 lines
390 B
Modula-2
Executable file

|256
%
|
(Master c 0.5520833333333334 0.8333333333333334 (@c
u M1,M2
))
(M1 c 1.21875 0.8333333333333334 (@c
{m1,m3}
))
(M2 c 1.8854166666666667 0.8333333333333334 (@c
{m2}
))
(Slave c 0.5 0.5 (@c
u Slave1,Slave2
))
(Slave1 c 1.1666666666666667 0.5 (@c
{ID1}
))
(Slave2 c 1.8333333333333333 0.5 (@c
{ID2}
))
(m_0 m 10.0 2.0 (@m
R1<S Slave1>+R1<S Slave2>
))
(m_1 m 10.0 3.0 (@m
N S
))