Changes between Version 4 and Version 5 of NetAnalysis

Timestamp:

Nov 12, 2019, 8:46:23 PM (5 years ago)

Author:

5hansson

Comment:

--

NetAnalysis

@@ -14 +14 @@
 The commands for the reduction analysis are “Reduction Analysis” and “Reduction Analysis (with graphical steps)”. For the former the reduction is done in the background and when finished all reducible places and transitions are marked in red. Additionally the console is filled with informations about the used steps and a representation of the reduced net as text. The latter command opens a new window which allows to do the reduction step by step and shows the corresponding reduction rule for each step. Every step is directly applied to the net and can be undone.
 
-The plugins also allows to export a given net to the pep format (Programming Environment Based on Petri Nets (see [[#References|Grahlmann]]).
+The plugins also allows to export a given net to the pep format (Programming Environment Based on Petri Nets (see [[#References|Grahlmann]])).
 
 == Examples ==