4 thoughts on “State-space Analysis

  1. Hi Michael,

    Really good videos.

    I’m having a hard time trying to do a sweep line state space.

    I found this piece of code from 20 years ago, but, I cannot get it to work:

    fun SWPM M = IntInf.fromInt
    (List.length (ms_to_col (SLMark.SWProtocol’Received 1 M)));

    SL.ExploreStateSpace{PM=SWPM,
    GC = 100,
    108
    Secs = 300,
    Logfile = (SOME “/tmp/SW.dat”)
    };

    It seems like that SL.ExploreStateSpace() does not exist anymore. Cannot find further documentation.

    Can you give me a pointer of where or how I can make a sweep line state space analysis?

    Thank you,

    Joe

    1. Hi Joe,

      The functions you refer to, were never part of a supported release of CPN Tools (or Design/CPN, really, in this case). They were part of various extensions made by Thomas Mailund and Lars M. Kristensen and were likely available for individual download. The libraries depend on internals of the Design/CPN simulator, and were only ever partially ported to CPN Tools.

      CPN Tools instead contains the ASAP state space tool as an alternative. It is simpler to use, but is not exposed in the GUI. It also never really got documented. I would advise against using CPN Tools for sweepline analysis. Perhaps Karsten Wolf and group’s LoLa is a better fit?

      If you really, really need to do SL analysis, you can look at the ASAP code at https://gitlab.westergaard.eu/cpn-tools/simulator/-/tree/master/asap and try getting that working. That will take heaps of effort, though, and I unfotunately don’t have good examples for this anymore.

      Regards,
      Michael

  2. SL.ExploreStateSpace{PM=SWPM,
    GC = 100,
    108
    Secs = 300,
    Logfile = (SOME “/tmp/SW.dat”)
    };

    Not sure if my previous comment got deleted by akismet.

    Anyways, I cannot get a sweep line state space analysis to work with the above code.

    Can you please point in the direction of doing so?

    Thank you,

    Joe

Leave a Reply

Your email address will not be published.

This site uses Akismet to reduce spam. Learn how your comment data is processed.