Questions for Jiri Srba

Summary Created Submitter In Assignee Status
Solved 706443 Can you help me understand the fischer-example? 2023-04-28 15:26:24 UTC Asger Gitz-Johansen TAPAAL Solved
Answered 703632 Add Probability in Petri Net 2022-10-28 09:59:55 UTC Mathis Harouard TAPAAL Answered
Answered 683983 usage of older xml-models 2019-09-17 08:54:08 UTC Raimond Wüst TAPAAL Answered
Answered 231280 simulation mode 2013-06-24 14:38:25 UTC mauro gamberi TAPAAL Answered
Answered 227457 I want the petri Nets model for Pregmatic General multicast Protocol 2013-04-25 16:33:04 UTC Prachi Gupta TAPAAL Answered
Answered 223555 Ist there some way to query markings without a successor? 2013-03-06 12:18:30 UTC Falk Benke TAPAAL Answered
Answered 221672 Stopwatch in TAPAAL? 2013-02-12 12:02:23 UTC Falk Benke TAPAAL Answered
Answered 191747 Create branch disappeared from the web interface 2012-03-26 12:27:02 UTC Jiri Srba Launchpad itself Answered
Solved 162586 TAPAAL Trunk Search Strategy 2011-06-24 11:09:45 UTC Kenneth Yrke Jørgensen TAPAAL Jiri Srba Solved
19 of 9 results