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.
Type de document :
Communication dans un congrès
6th European Workshop on Application and Theory of Petri Nets, Jul 1985, Espoo, Finland. pp.141-168, 1985
Liste complète des métadonnées

https://hal.inria.fr/hal-00968326
Contributeur : Christophe Sibertin-Blanc <>
Soumis le : jeudi 17 avril 2014 - 16:36:54
Dernière modification le : jeudi 11 janvier 2018 - 06:21:34
Document(s) archivé(s) le : lundi 10 avril 2017 - 07:35:37

Fichier

HighLevelPetriNetsWithDataStru...
Accord explicite pour ce dépôt

Identifiants

  • 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, 1985. 〈hal-00968326〉

Partager

Métriques

Consultations de la notice

298

Téléchargements de fichiers

72