Changes between Version 7 and Version 8 of PTCNets

Timestamp:

Mar 29, 2022, 12:21:48 PM (3 years ago)

Author:

8voss

Comment:

--

PTCNets

@@ -1 +1 @@
 = Introduction
 
-PTChannel is a plugin which allows the compilation and simulation of P/T nets with synchronous channels.
+PTChannel is a plugin for [http://www.renew.de/ Renew] which allows the compilation and simulation of P/T nets with synchronous channels.
 
 == Where to get the Tool
@@ -15 +15 @@
 == Getting Started
 
-After downloading and extracting the file, one might start Renew with PTChannel using the follwing command:
+After downloading and extracting the folder, one might start Renew with PTChannel using the follwing command:
 
 Under Linux / MacOS:
@@ -60 +60 @@
 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 and the paper Voß+22.
+A detailed explanation and definition of P/T nets with synchronous channels can be found in the paper Voß+22.
 
 As a quick overview: