Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Unfoldings of contextual Petri nets
du groupe Modélisation et Verification

Date 2011-02-17  07:00-07:00
TitreUnfoldings of contextual Petri nets 
RésuméIn a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finite-state) Petri nets, which can be used for verification purposes. Contextual nets are a generalisation of Petri nets suited to model systems with read-only access to resources. When working with contextual nets, a finite complete prefix can be obtained by applying McMillan's construction to a suitable encoding of the contextual net into an ordinary net. However, it has been observed that if the unfolding is itself a contextual net, then the complete prefix can be significantly smaller than the one obtained with the above technique. We propose a an unfolding algorithm that works for arbitrary semi-weighted, bounded contextual nets. The talk is based on joint work with Paolo Baldan, Andrea Corradini, and Barbara Koenig. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurStefan Schwoon  
Emailschwoon@lsv.ens-cachan.fr 
UrlLSV, Cachan 



Aucun document lié à cet événement.

Retour
Retour à l'index