Exploració per tema "Bisimulation"

Ara es mostren els items 1-2 de 2

    • New region-based algorithms for deriving bounded Petri nets 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael (Institute of Electrical and Electronics Engineers (IEEE), 2010-03)
      Article
      Accés obert
      The theory of regions was introduced in the early nineties as a method to bridge state and event-based models. This paper tackles the problem of deriving a Petri net from a state-based model, using the theory of regions. ...

    • Region-based algorithms for process mining and synthesis of Petri nets 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-02)
      Report de recerca
      Accés obert
      The theory of regions was introduced in the early nineties as a bridge between state-based and event-based specifications. Since then, much attention has been paid to theoretical extensions of this theory, but less advances ...