Projects



Changes between Version 2 and Version 3 of PTCNets


Ignore:
Timestamp:
Mar 23, 2022, 11:42:15 AM (3 years ago)
Author:
8voss
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PTCNets

    v2 v3  
    1 ==Introduction
     1== Introduction
    22
    33PTChannel is a plugin which allows the compilation and simulation of P/T nets with synchronous channels.
     
    1212
    1313
    14 ==User Guide
    15 =Getting Started
     14== User Guide
     15= Getting Started
    1616
    1717After downloading and extracting the file, one might start Renew with PTChannel using the follwing command:
     
    4545
    4646
    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**.
     47To 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**.
    4848
    4949If partitioning into multiple net instances is required, select the **P/T Net in Net Compiler**.
    5050
    51 Construct a viable P/T net with synchronous channels and start the simulation under Simulation->Run Simulation or Simulation->Simulation Net Step.
     51Construct a viable P/T net with synchronous channels and start the simulation under Simulation -> Run Simulation or Simulation -> Simulation Net Step.
    5252
    5353If 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.
     
    5656
    5757
    58 =P/T Nets with Synchronous Channels
     58= P/T Nets with Synchronous Channels
    5959
    6060The PTChannel plugin extends Renew by a new Petri net formalism, which in turn extends P/T nets by synchronous channels.
     
    7474
    7575
    76 =Viable User Input
     76= Viable User Input
    7777
    7878PTC-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.
     
    9494
    9595
    96 =Inter-Net Communication
     96= Inter-Net Communication
    9797
    9898