Changes between Initial Version and Version 1 of Ticket #6132, comment 2


Ignore:
Timestamp:
2020-09-21T20:56:41Z (4 years ago)
Author:
Karim Adbdelhak

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6132, comment 2

    initial v1  
    1 Okay i looked a bit closer and i know understand that your model also implies the `pre()` operator. Sorry for the misunderstanding!
     1Okay i looked a bit closer and i now understand that your model also implies the `pre()` operator. Sorry for the misunderstanding!
    22
    33I ran your model and i do not really get the outcome. But if the outcome is correct i could just try to add this case to be counted as a discrete state. Or is the simulation also incorrect?