HIGH LEVEL PETRI NETS WITH DATA STRUCTURE

Abstract : For the lack of a data structure, Petri nets are not suitable for modeling systems such as Information Systems, where data have an effect on the system's behavior. In the High Level Petri Nets we set out here, tokens are replaced by entities which are described by means of a model closely related to those of the Database Theory. In order to take into account the values of entities, a precondition and an action may be associated to each transition. This data structure allows to define new nets' properties, which are analyzed by Program Theory techniques, whereas a lot of results provided by linear algebra remain valid. In addition, computation of invariants may be done.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00968326
Contributor : Christophe Sibertin-Blanc <>
Submitted on : Thursday, April 17, 2014 - 4:36:54 PM
Last modification on : Friday, April 12, 2019 - 4:23:00 PM
Document(s) archivé(s) le : Monday, April 10, 2017 - 7:35:37 AM

File

HighLevelPetriNetsWithDataStru...
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00968326, version 1

Collections

Citation

Christophe Sibertin-Blanc. HIGH LEVEL PETRI NETS WITH DATA STRUCTURE. 6th European Workshop on Application and Theory of Petri Nets, Jul 1985, Espoo, Finland. pp.141-168. ⟨hal-00968326⟩

Share

Metrics

Record views

391

Files downloads

240