Changes between Version 2 and Version 3 of PTCNets
- Timestamp:
- Mar 23, 2022, 11:42:15 AM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
PTCNets
v2 v3 1 == Introduction1 == Introduction 2 2 3 3 PTChannel is a plugin which allows the compilation and simulation of P/T nets with synchronous channels. … … 12 12 13 13 14 == User Guide15 = Getting Started14 == User Guide 15 = Getting Started 16 16 17 17 After downloading and extracting the file, one might start Renew with PTChannel using the follwing command: … … 45 45 46 46 47 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**.47 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**. 48 48 49 49 If partitioning into multiple net instances is required, select the **P/T Net in Net Compiler**. 50 50 51 Construct a viable P/T net with synchronous channels and start the simulation under Simulation ->Run Simulation or Simulation->Simulation Net Step.51 Construct a viable P/T net with synchronous channels and start the simulation under Simulation -> Run Simulation or Simulation -> Simulation Net Step. 52 52 53 53 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. … … 56 56 57 57 58 = P/T Nets with Synchronous Channels58 = P/T Nets with Synchronous Channels 59 59 60 60 The PTChannel plugin extends Renew by a new Petri net formalism, which in turn extends P/T nets by synchronous channels. … … 74 74 75 75 76 = Viable User Input76 = Viable User Input 77 77 78 78 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. … … 94 94 95 95 96 = Inter-Net Communication96 = Inter-Net Communication 97 97 98 98