A State Class Based Controller Synthesis Approach for Time Petri Nets

This publication has 25 references indexed in Scilit:

• Maximally permissive controller synthesis for time Petri nets
  International Journal of Control, 2013
• Transient analysis of non-Markovian models using stochastic state classes
  Performance Evaluation, 2012
• Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
  2009
• Comparison of Different Semantics for Time Petri Nets
  2005
• Timed Automata: Semantics, Algorithms and Tools
  2004
• Analyse des réseaux temporels. Calcul des classes enO(n²)et des temps de chemin enO(m ×n)
  Techniques et Sciences Informatiques, 2003
• Model checking of real-time reachability properties using abstractions
  1998
• A theory of timed automata
  Theoretical Computer Science, 1994
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Complexity of some problems in Petri nets
  Theoretical Computer Science, 1977