Changes between Version 23 and Version 24 of MoMoC

Timestamp:

Jan 28, 2020, 3:45:24 AM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -74 +74 @@
 (FIREABLE(T1) OR EX FIREABLE(NetA.T2)) : ''"Root net transition T1 is fireable (activated), or there exists a path on which in the next state a transition T2 of a net instance of net template NetA is fireable (activated)"''
 
-AG !(NetB, m(p1) <= 5) : ''"On all paths, globally, all net instances of net template NetB have at least 5 tokens on their place p1"''
+AG !(NetB, m(p1) >= 5) : ''"On all paths, globally, all net instances of net template NetB have at least 5 tokens on their place p1"''