- Timed-Arc Petri Nets with (restricted) Urgency S. Akshay B. Genest L. Helouet Mon 23 November 2015
- Constrained Multiset Rewriting Parosh Aziz Abdulla Giorgio Delzanno Thu 26 March 2015
- Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness Parosh Abdulla Pritha Mahata Richard Mayr Wed 04 March 2015
- Time supervision of concurrent systems using symbolic unfoldings of time petri nets Thomas Chatain Claude Jard Fri 22 February 2013
- Forward Reachability Analysis of Timed Petri Nets Parosh Abdulla Johann Deneux Pritha Mahata Aletta Nylén Sat 29 December 2012
- Decidability of Properties of Timed-Arc Petri Nets David Escrig Valentín Ruiz Olga Alonso Sat 29 December 2012
- Using forward reachability analysis for verification of timed Petri nets Parosh Aziz Abdulla Johann Deneux Pritha Mahata Aletta Nylén Sat 29 December 2012
- On Time Petri Nets Louchka Popova Sat 29 December 2012
- Better is Better than Well: On Efficient Verification of Infinite-State Systems Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Timed Petri Nets and BQOs Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Comparison of Different Semantics for Time Petri Nets B. Bérard F. Cassez S. Haddad Didier Lime O.H. Roux Thu 20 September 2012
- Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 20 September 2012
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
