Discrete Parameters in Petri Nets

Abstract : With the aim of significantly increasing the modeling capability of Petri nets, we suggest that models involve parameters to represent the weights of arcs, or the number of tokens in places. We consider the property of coverability of markings. Two general questions arise: " Is there a parameter value for which the property is satisfied? " and " Does the property hold for all possible values of the parameters? ". We show that these issues are undecidable in the general case. Therefore, we also define subclasses of parameterised networks, depending on whether the parameters are used on places, input or output arcs of transitions. For some subclasses, we prove that certain problems become decidable, making these subclasses more usable in practice.
Liste complète des métadonnées

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01222021
Contributor : Nicolas David <>
Submitted on : Thursday, October 29, 2015 - 9:48:41 AM
Last modification on : Wednesday, December 19, 2018 - 3:02:05 PM
Document(s) archivé(s) le : Friday, April 28, 2017 - 6:26:15 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

Citation

Nicolas David, Claude Jard, Didier Lime, Olivier Henri Roux. Discrete Parameters in Petri Nets. Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.137-156, ⟨10.1007/978-3-319-19488-2_7⟩. ⟨hal-01222021⟩

Share

Metrics

Record views

1386

Files downloads

123