1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Drawing a labelled transition system (LTS)

  1. Jun 29, 2014 #1
    1. The problem statement, all variables and given/known data

    I want to draw an LTS with as few transitions as possible. The basis for this are Hennessy-Milner equations

    2. Relevant equations

    https://www.dropbox.com/s/ym3ygjdnhldz09r/HML Equations.jpg

    Those are the equations and how p1 is defined.

    3. The attempt at a solution


    No idea if that's correct. Can anybody confirm this? Don't think it can be less than that, though.
  2. jcsd
  3. Jun 29, 2014 #2


    User Avatar
    Homework Helper

    For reference, are you talking about these: http://en.wikipedia.org/wiki/Hennessy–Milner_logic ?

    Some of the notation in the relevant equations seems a bit obscure. Are you assuming the existence of ##\phi## for the ##L## derivatives?

    Are you simply trying to evaluate the logic in the most effective manner? i.e the least amount of states?
    Last edited: Jun 29, 2014
  4. Jun 30, 2014 #3
    Yeah, HML. The least amount of states. Right now it's 4. I have no idea if that's correct and/or if there is more than one solution. But this one above is what I have and it seems logical to me. I'm not 100% sure.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted

Similar Threads - Drawing labelled transition Date
Graph drawing—Finding the points on a curve that are nearest to the origin Nov 29, 2017
Drawing graphs by derivatives Oct 5, 2017
[basic help] Drawing functions Dec 8, 2016
Discrete: Drawing Cards Nov 19, 2016
Labels for Groups Apr 8, 2012