Changes between Version 1 and Version 2 of PTCNets

Timestamp:

Mar 23, 2022, 11:41:08 AM (3 years ago)

Author:

8voss

Comment:

--

PTCNets

@@ -1 @@
-Introduction
+==Introduction
 
-PTChannel is a plugin which allows the compilation and simulation of P/T channels with synchronous channels.
+PTChannel is a plugin which allows the compilation and simulation of P/T nets with synchronous channels.
 
-It is available for Modular Renew, currently being developed in the branch modular/ptchannel and not part of any distribution package.
+= Where to get the Tool
 
-A version of Renew with PTChannel  and some examples can be downloaded here: renew4ptchannel.zip
+PTChannel is currently not part of the official Renew release. A version of Renew with PTChannel and some examples can be downloaded here:
+
+
+renew4ptchannel.zip
 
 
 
-
-User Guide
-Getting Started
-
-(For Linux - other operating systems see Starting modular Renew)
+==User Guide
+=Getting Started
 
 After downloading and extracting the file, one might start Renew with PTChannel using the follwing command:
 
+Under Linux / MacOS:
+
+
+{{{
 $ java -p renew4ptchannel:renew4ptchannel/libs -m de.renew.loader gui
+}}}
 
 If the directory has been renamed (e.g. to "dist"), substitute "renew4ptchannel" accordingly.
 
+Under Windows:
+
+{{{
+java -p dist;dist/libs -m de.renew.loader gui
+}}}
+
+In the git bash the following command must be used instead:
+
+{{{
+java -p dist\;dist/libs -m de.renew.loader gui
+}}}
+
+In the Powershell of windows (which is also used by Intellij!) the following command must be used:
+
+{{{
+java -p "dist\;dist/libs" -m de.renew.loader gui
+}}}
 
 
+To use the formalism in Renew, select it under Simulation/Formalism. For communication within one net instance, select the **Single P/T Net with Channel Compiler**.
 
-To use the formalism in Renew, select it under Simulation/Formalism. For communication within one net instance, select the Single P/T Net with Channel Compiler.
+If partitioning into multiple net instances is required, select the **P/T Net in Net Compiler**.
 
-If partitioning into multiple net instances is required, select the P/T Net in Net Compiler.
-
-Construct a viable P/T net with synchronous channels and start the simulation under Simulation/Run Simulation or Simulation/Simulation Net Step.
+Construct a viable P/T net with synchronous channels and start the simulation under Simulation->Run Simulation or Simulation->Simulation Net Step.
 
 If the P/T Net in Net Compiler is selected, the user needs to set hyperparameters for the construction of a system net that handles communication before the simulation can start.
@@ -35 +56 @@
 
 
-P/T Nets with Synchronous Channels
+=P/T Nets with Synchronous Channels
 
 The PTChannel plugin extends Renew by a new Petri net formalism, which in turn extends P/T nets by synchronous channels.
 
-A detailed explanation and definition of P/T nets with synchronous channels can be found in the theses Voß22, Kühnemund21, and the paper Voß+22.
+A detailed explanation and definition of P/T nets with synchronous channels can be found in the theses Voß22 and the paper Voß+22.
 
 As a quick overview:
 
-P/T-nets with synchronous channels (PTC-nets) are a superset of ordinary P/T-nets.
-In P/T nets with channels, transitions may be inscribed with up- or downlinks.
-Up-/Downlinks accept two types of parameters for bi-directional information exchange: Integers and Variables.
-Integers indicate how many "black tokens" get transferred between transitions
-Variables can be bound to these integers and used as arc inscriptions
-Modularizing and partitioning nets is possible. Resulting net instances can communicate via channels. Communication is organized via a system net. Inter-Net communication is possible through uplinks only.
+- P/T-nets with synchronous channels (PTC-nets) are a superset of ordinary P/T-nets.
+- In P/T nets with channels, transitions may be inscribed with up- or downlinks.
+- Up-/Downlinks accept two types of parameters for bi-directional information exchange: Integers and Variables.
+  - Integers indicate how many "black tokens" get transferred between transitions
+  - Variables can be bound to these integers and used as arc inscriptions
+- Modularizing and partitioning nets is possible. Resulting net instances can communicate via channels. Communication is organized via a system net. Inter-Net communication is possible through uplinks only.
 
 
 
 
-Viable User Input
+=Viable User Input
 
 PTC-nets follow a specific syntax. Since it is an extension to ordinary P/T-nets, it follows the syntax for P/T-nets and all viable P/T nets are also viable in the PTC-net formalism.
@@ -67 +88 @@
 Arcs connected to communicating transitions may be inscribed with its variables (e.g. x ).
 
-Under Examples, one may find a viable P/T channel net for the producer-consumer scheme.
+Under **Examples**, one may find a viable P/T channel net for the producer-consumer scheme.
 
 
@@ -73 +94 @@
 
 
-
-
-Inter-Net Communication
-
+=Inter-Net Communication
 
 
@@ -84 +102 @@
 The following hyperparameters need to be set by a user, which are used to create a syntactically correct system net automatically:
 
-Which and how many net instances shall be created from the templates?
-Which synchronizations shall be possible in the net?
+- Which and how many net instances shall be created from the templates?
+- Which synchronizations shall be possible in the net?
 
 Modelers can select these settings in a GUI, that automatically opens whenever the simulation of a syntactically correct PTC-net is started. The GUI for a Sender-Receiver example can be seen in the next figure, together with the panel to manually create synchronization options.