Group-nets and strict-group-nets

Abstract : By modifying the firing rule of Petri nets, we define strict-Z-nets and we generalize the latter to strict-G-nets for an arbitrary group G. We show that strict-Z-nets are an extension of pure Petri nets and we classify strict-G-nets for various groups G with respect to usual classes of Petri nets. In order to cover both strict-Z-nets and general Petri nets, we add to our nets new arcs with relaxed firing conditions, thus obtaining Z-nets, and more generally group-nets. We conclude by comparing group-nets with Petri nets.
Keywords : Petri nets
Type de document :
Article dans une revue
Petri Net Newsletter, 2004, pp.17-25
Liste complète des métadonnées

http://hal.univ-brest.fr/hal-01102979
Contributeur : Goulven Guillou <>
Soumis le : mardi 13 janvier 2015 - 17:26:31
Dernière modification le : mercredi 29 novembre 2017 - 14:53:52
Document(s) archivé(s) le : vendredi 11 septembre 2015 - 06:41:52

Fichier

pnnl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01102979, version 1

Collections

Citation

Goulven Guillou. Group-nets and strict-group-nets. Petri Net Newsletter, 2004, pp.17-25. 〈hal-01102979〉

Partager

Métriques

Consultations de la notice

102

Téléchargements de fichiers

61