Changes between Version 3 and Version 4 of PTCNets

Timestamp:

Mar 23, 2022, 11:42:48 AM (3 years ago)

Author:

8voss

Comment:

--

PTCNets

@@ -1 @@
-== Introduction
+= Introduction
 
 PTChannel is a plugin which allows the compilation and simulation of P/T nets with synchronous channels.
 
-= Where to get the Tool
+== Where to get the Tool
 
 PTChannel is currently not part of the official Renew release. A version of Renew with PTChannel and some examples can be downloaded here:
@@ -12 +12 @@
 
 
-== User Guide
-= Getting Started
+= User Guide
+== Getting Started
 
 After downloading and extracting the file, one might start Renew with PTChannel using the follwing command:
@@ -56 +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.
@@ -74 +74 @@
 
 
-= 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.
@@ -92 +92 @@
 
 
-
-
-= Inter-Net Communication
+== Inter-Net Communication