Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadatas

https://hal.univ-brest.fr/hal-01102979
Contributor : Goulven Guillou <>
Submitted on : Tuesday, January 13, 2015 - 5:26:31 PM
Last modification on : Sunday, February 10, 2019 - 11:32:12 PM
Long-term archiving on: : Friday, September 11, 2015 - 6:41:52 AM

File

pnnl.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

163

Files downloads

86