Changes between Version 11 and Version 12 of MoMoC

Timestamp:

Jan 12, 2020, 11:31:04 PM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -53 +53 @@
 ==== Examples
 
-AG (NOT DEADLOCK)
+AG (NOT DEADLOCK) : ''"On all paths, globally, not deadlock yields"'' (Deadlock-freedom)
 
-(FIREABLE(T1) OR EX FIREABLE(T1))
+(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 !(Net1, m(p1) <= 5)
+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"''
 
 === Atomic Propositions: Semantics