Skip to Main content Skip to Navigation
Conference papers

HIGH LEVEL PETRI NETS WITH DATA STRUCTURE

Christophe Sibertin-Blanc 1
1 IRIT-SMAC - Systèmes Multi-Agents Coopératifs
IRIT - Institut de recherche en informatique de Toulouse
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
Complete list of metadata

https://hal.inria.fr/hal-00968326
Contributor : Christophe Sibertin-Blanc <>
Submitted on : Thursday, April 17, 2014 - 4:36:54 PM
Last modification on : Thursday, June 10, 2021 - 3:08:41 AM
Long-term archiving on: : Monday, April 10, 2017 - 7:35:37 AM

File

HighLevelPetriNetsWithDataStru...
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00968326, version 1

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

520

Files downloads

1338