To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

LTL Checker

glauciamelissa
glauciamelissa
in ProM 6
Dear, I have one doubt about how LTL checker works.
I have an event log and a properties file (LTL language). LTL Checker receives these two files, then it analyses if the property is true or false for this event log. But, I have a question about how LTL Checker, its implementation. Does it discovery a model from event log and analyze the properties? What kind of this model? Because if I want to verify the conformance between process model and event log, a Petri net is discovered from event log. But, LTL Checker should receive a LTS (transition system) and the properties file, am I right?
Sorry, maybe my question is very simple...

Comments

Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion