Separability in Persistent Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Separability in Persistent Petri Nets

Eike Best
  • Fonction : Auteur
  • PersonId : 888559

Résumé

We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
Nous prouvons que les reseaux de Petri ordinaires, bornes, reversibles et persistants sont faiblement et fortement separables.
Fichier non déposé

Dates et versions

inria-00553867 , version 1 (10-01-2011)

Identifiants

  • HAL Id : inria-00553867 , version 1

Citer

Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets. Petri Nets, Jun 2010, Braga, Portugal. pp.246-266. ⟨inria-00553867⟩
149 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More