bparodi/UniTO
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

pn vpc

Browse source
This commit is contained in:
Francesco Mecca 2020-04-29 21:32:42 +02:00
parent eabd733503
commit 86fd0c74ad
6 changed files with 203 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
anno3/vpc/consegne/19-20EsercizioPN.pdf Normal file
View file

Binary file not shown.

5
anno3/vpc/consegne/2.pn.org Normal file
View file

@ -0,0 +1,5 @@
* Reta A
M master identici e S slave di tipo 1 identici.
#+CAPTION: Modello della reteA
[[./reteA.jpg]]

BIN
anno3/vpc/consegne/reteA.jpg Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 92 KiB

79
anno3/vpc/gspn/Es2.PNPRO Normal file
View file

@ -0,0 +1,79 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="Es2" version="121">
<gspn name="PT" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
<nodes>
<place marking="1" name="S0" x="15.0" y="4.0"/>
<transition label-x="-5.0" label-y="0.0" name="Inizio_Servizio" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="15.55" y="9.0"/>
<place label-x="2.5" label-y="0.0" name="S1_a" x="9.0" y="13.0"/>
<place label-x="-2.0" label-y="0.0" name="S1_b" x="21.0" y="13.0"/>
<transition label-x="4.0" name="azione_locale_sa" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="9.55" y="17.0"/>
<transition label-x="-4.0" label-y="1.5" name="azione_locale_sb" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="21.55" y="17.0"/>
<place label-x="2.5" label-y="0.0" name="S2_a" x="9.0" y="21.0"/>
<place label-x="-2.5" label-y="0.0" name="S2_b" x="21.0" y="21.0"/>
<transition label-x="-4.0" label-y="0.0" name="Fine_Servizio" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="15.55" y="26.0"/>
<transition name="Reset" nservers-x="0.5" type="EXP" x="6.55" y="30.0"/>
<place name="S3" x="15.0" y="30.0"/>
<place name="Buffer_output" x="29.0" y="26.0"/>
<place name="Buffer_input" x="29.0" y="9.0"/>
<place label-x="-2.0" label-y="-1.0" marking="1" name="M0" x="45.0" y="1.0"/>
<place name="M1" x="45.0" y="9.0"/>
<transition label-y="-2.0" name="azione_locale_m" nservers-x="0.5" type="EXP" x="45.55" y="5.0"/>
<transition name="Richiesta_Servizio" nservers-x="0.5" type="EXP" x="40.55" y="9.0"/>
<transition label-x="-5.0" name="Attesa_Elaborazione" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="45.55" y="20.0"/>
<place label-y="-1.5" name="M2" x="45.0" y="14.0"/>
<place label-x="-1.5" name="M3" x="45.0" y="23.0"/>
<transition name="Reset_M" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="51.55" y="14.0"/>
</nodes>
<edges>
<arc head="Inizio_Servizio" kind="INPUT" tail="S0"/>
<arc head="S1_a" kind="OUTPUT" tail="Inizio_Servizio"/>
<arc head="S1_b" kind="OUTPUT" tail="Inizio_Servizio"/>
<arc head="azione_locale_sb" kind="INPUT" tail="S1_b"/>
<arc head="azione_locale_sa" kind="INPUT" tail="S1_a"/>
<arc head="S2_a" kind="OUTPUT" tail="azione_locale_sa"/>
<arc head="S2_b" kind="OUTPUT" tail="azione_locale_sb"/>
<arc head="Fine_Servizio" kind="INPUT" tail="S2_a"/>
<arc head="Fine_Servizio" kind="INPUT" tail="S2_b"/>
<arc head="S3" kind="OUTPUT" tail="Fine_Servizio"/>
<arc head="Reset" kind="INPUT" tail="S3"/>
<arc head="S0" kind="OUTPUT" tail="Reset">
<point x="3.5" y="31.0"/>
<point x="3.5" y="5.0"/>
</arc>
<arc head="Buffer_output" kind="OUTPUT" tail="Fine_Servizio"/>
<arc head="Inizio_Servizio" kind="INPUT" tail="Buffer_input"/>
<arc head="azione_locale_m" kind="INPUT" tail="M0">
<point x="42.5" y="2.0"/>
<point x="42.5" y="6.0"/>
</arc>
<arc head="M1" kind="OUTPUT" tail="azione_locale_m">
<point x="49.5" y="6.0"/>
<point x="49.5" y="10.0"/>
</arc>
<arc head="Richiesta_Servizio" kind="INPUT" tail="M1"/>
<arc head="Buffer_input" kind="OUTPUT" tail="Richiesta_Servizio"/>
<arc head="M2" kind="OUTPUT" tail="Richiesta_Servizio">
<point x="41.0" y="15.0"/>
</arc>
<arc head="Attesa_Elaborazione" kind="INPUT" tail="M2"/>
<arc head="Attesa_Elaborazione" kind="INPUT" tail="Buffer_output">
<point x="30.0" y="21.0"/>
<point x="45.0" y="21.0"/>
</arc>
<arc head="M3" kind="OUTPUT" tail="Attesa_Elaborazione"/>
<arc head="M0" kind="OUTPUT" tail="Reset_M">
<point x="52.0" y="2.0"/>
</arc>
<arc head="Reset_M" kind="INPUT" tail="M3">
<point x="52.0" y="24.0"/>
</arc>
</edges>
</gspn>
<measures gspn-name="PT" name="Measures" simplified-UI="false">
<assignments/>
<greatspn/>
<formulas>
<formula comment="Basic statistics of the toolchain execution." language="STAT"/>
</formulas>
</measures>
</project>

60
anno3/vpc/gspn/Es2B.PNPRO Normal file
View file

@ -0,0 +1,60 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="Es2B" version="121">
<gspn name="PT" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
<nodes>
<place marking="1" name="S0" x="17.0" y="6.0"/>
<transition label-x="-5.0" label-y="0.0" name="Inizio_Servizio" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="17.55" y="11.0"/>
<place label-x="2.5" label-y="0.0" name="S1_a" x="11.0" y="15.0"/>
<place label-x="-2.0" label-y="0.0" name="S1_b" x="23.0" y="15.0"/>
<transition label-x="4.0" name="azione_locale_sa" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="11.55" y="19.0"/>
<transition label-x="-4.0" label-y="1.5" name="azione_locale_sb" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="23.55" y="19.0"/>
<place label-x="2.5" label-y="0.0" name="S2_a" x="11.0" y="23.0"/>
<place label-x="-2.5" label-y="0.0" name="S2_b" x="23.0" y="23.0"/>
<transition label-x="-4.0" label-y="0.0" name="Fine_Servizio" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="17.55" y="28.0"/>
<transition name="Reset" nservers-x="0.5" type="EXP" x="8.55" y="32.0"/>
<place name="S3" x="17.0" y="32.0"/>
<place name="P0" x="38.0" y="6.0"/>
<place name="P1" x="38.0" y="15.0"/>
<place name="P2" x="38.0" y="23.0"/>
<place name="P3" x="38.0" y="32.0"/>
<transition name="T0" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="38.55" y="11.0"/>
<transition name="T1" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="38.55" y="19.0"/>
<transition name="T2" nservers-x="0.5" rotation="4.71238898038469" type="EXP" x="38.55" y="28.0"/>
<transition name="T3" nservers-x="0.5" rotation="6.283185307179586" type="EXP" x="31.55" y="32.0"/>
</nodes>
<edges>
<arc head="Inizio_Servizio" kind="INPUT" tail="S0"/>
<arc head="S1_a" kind="OUTPUT" tail="Inizio_Servizio"/>
<arc head="S1_b" kind="OUTPUT" tail="Inizio_Servizio"/>
<arc head="azione_locale_sb" kind="INPUT" tail="S1_b"/>
<arc head="azione_locale_sa" kind="INPUT" tail="S1_a"/>
<arc head="S2_a" kind="OUTPUT" tail="azione_locale_sa"/>
<arc head="S2_b" kind="OUTPUT" tail="azione_locale_sb"/>
<arc head="Fine_Servizio" kind="INPUT" tail="S2_a"/>
<arc head="Fine_Servizio" kind="INPUT" tail="S2_b"/>
<arc head="S3" kind="OUTPUT" tail="Fine_Servizio"/>
<arc head="Reset" kind="INPUT" tail="S3"/>
<arc head="S0" kind="OUTPUT" tail="Reset">
<point x="9.0" y="29.0"/>
<point x="9.0" y="7.0"/>
</arc>
<arc head="P0" kind="OUTPUT" tail="T3">
<point x="32.0" y="7.0"/>
</arc>
<arc head="T3" kind="INPUT" tail="P3"/>
<arc head="P3" kind="OUTPUT" tail="T2"/>
<arc head="T2" kind="INPUT" tail="P2"/>
<arc head="P2" kind="OUTPUT" tail="T1"/>
<arc head="T1" kind="INPUT" tail="P1"/>
<arc head="P1" kind="OUTPUT" tail="T0"/>
<arc head="T0" kind="INPUT" tail="P0"/>
</edges>
</gspn>
<measures gspn-name="PT" name="Measures" simplified-UI="false">
<assignments/>
<greatspn/>
<formulas>
<formula comment="Basic statistics of the toolchain execution." language="STAT"/>
</formulas>
</measures>
</project>

59
anno3/vpc/gspn/tutorial.PNPRO Normal file
View file

@ -0,0 +1,59 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="New project" version="121">
<gspn name="PT" show-color-cmd="false" show-fluid-cmd="false" show-timed-cmd="false" view-rates="false">
<nodes>
<place marking="5" name="P1" x="4.0" y="13.0"/>
<place name="P2" x="13.0" y="13.0"/>
<place name="P3" x="19.0" y="19.0"/>
<place name="P4" x="19.0" y="6.0"/>
<place marking="1" name="P5" x="27.0" y="13.0"/>
<place name="P6" x="38.0" y="7.0"/>
<place name="P7" x="38.0" y="18.0"/>
<transition name="T1" nservers-x="0.5" type="EXP" x="9.55" y="13.0"/>
<transition delay="I[1.0]" name="T2" rotation="6.283185307179586" type="GEN" x="16.55" y="8.0"/>
<transition delay="I[1.0]" name="T3" rotation="6.283185307179586" type="GEN" x="16.55" y="18.0"/>
<transition delay="I[1.0]" name="T5" rotation="6.283185307179586" type="GEN" x="25.55" y="19.0"/>
<transition delay="I[1.0]" name="T4" rotation="6.283185307179586" type="GEN" x="24.55" y="6.0"/>
<transition name="T6" nservers-x="0.5" type="EXP" x="48.55" y="7.0"/>
<transition name="T7" nservers-x="0.5" type="EXP" x="48.55" y="19.0"/>
</nodes>
<edges>
<arc head="T1" kind="INPUT" tail="P1"/>
<arc head="P2" kind="OUTPUT" tail="T1"/>
<arc head="T2" kind="INPUT" tail="P2"/>
<arc head="P4" kind="OUTPUT" tail="T2"/>
<arc head="T4" kind="INPUT" tail="P4"/>
<arc head="T5" kind="INPUT" tail="P3"/>
<arc head="T3" kind="INPUT" tail="P2"/>
<arc head="P3" kind="OUTPUT" tail="T3"/>
<arc head="P7" kind="OUTPUT" tail="T5"/>
<arc head="T7" kind="INPUT" tail="P7"/>
<arc head="P6" kind="OUTPUT" tail="T4"/>
<arc head="T6" kind="INPUT" tail="P6"/>
<arc head="P5" kind="OUTPUT" tail="T4"/>
<arc head="T4" kind="INPUT" tail="P5">
<point x="23.5" y="12.5"/>
</arc>
<arc head="P5" kind="OUTPUT" tail="T5"/>
<arc head="P1" kind="OUTPUT" tail="T7">
<point x="52.0" y="20.0"/>
<point x="48.5" y="23.0"/>
<point x="9.5" y="22.5"/>
</arc>
<arc head="P1" kind="OUTPUT" tail="T6">
<point x="51.5" y="8.0"/>
<point x="48.5" y="4.0"/>
<point x="10.0" y="4.0"/>
</arc>
<arc head="P5" kind="OUTPUT" tail="T7"/>
<arc head="T5" kind="INHIBITOR" tail="P6"/>
</edges>
</gspn>
<measures gspn-name="PT" name="Measures" simplified-UI="false">
<assignments/>
<greatspn/>
<formulas>
<formula comment="Basic statistics of the toolchain execution." language="STAT"/>
</formulas>
</measures>
</project>