#1 Prefix and time Petri net simulation

[Emily]

Hello,

I am trying to use this tool for my research about Petri
net application and I find it is a great tool. I have two
questions:

1. How can I read the prefix generated? In other words,
   it is possible to read the generated mci files?

2. I add time intervals to a low-level net, but when I run
   the simulation, I found the simulation ignores these time
   intervals, or say, time constraints. How can I execute a
   real time Petri net simulation?

Thanks.

Emily

[Christian Stehno]

Logged In: YES
user_id=200687

Hi Emily,

here are the answers, probably not satisfactory:

1. To further work with the prefix as a net you shoudl use
   the mci2ll tool found in pep/bin. This reads a prefix and
   generates a PEP low level net. If you just want to apply
   some tools, this should suffice. If you also want to view
   the net, you should try the -L option to mci2ll, which also
   generates some graphics information (not really nice layout,
   though).

2. Unfortunately, I did not manage to find enough time to
   start on this. It is on my schedule for some years now, but
   I have no ideas yet when it will finish.
   There is, however, the possibility to simulate
   counterexamples with time. So if you checked properties on
   time nets, your counterexamples may contain the special
   transition "tic" and the system bell will beep for each time
   step during the execution.