Petri Nets with Structured Data

Eric Badouel; Christophe Morvan; Loïc Hélouët

doi:10.3233/FI-2016-1375

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Journal articles

Petri Nets with Structured Data

Eric Badouel ^{1, 2} Christophe Morvan ^{2, 3} Loïc Hélouët ²

1 LIRIMA - Laboratoire International de Recherche en Informatique et Mathématiques Appliquées

2 SUMO - SUpervision of large MOdular and distributed systems

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

3 UPE - Université Paris-Est

Eric Badouel ^{1, 2} AuthorId : 99769

Author

Christophe Morvan ^{2, 3} AuthorId : 1396085

Author

Loïc Hélouët ² AuthorId : 59720

Author Employer institution : Institut National de Recherche en Informatique et en Automatique

1 LIRIMA - Laboratoire International de Recherche en Informatique et Mathématiques Appliquées (Cameroon) StructId : 152722

Université de Yaoundé I [Yaoundé] (B.P. 337 Yaoundé - Cameroon) StructId : 217395
UBMA - Université Badji Mokhtar - Annaba [Annaba] (BP 12, 23000, Annaba - Algeria) StructId : 266547
Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
UJZK - Université Joseph Ki-Zerbo [Ouagadougou] (Ouagadougou - Burkina Faso) StructId : 300825
Université d'Antananarivo (BP 566 - Antananarivo 101 - Madagascar - Madagascar) StructId : 300866
Université Gaston Bergé Sénégal (Senegal) StructId : 301660
CNRST - Centre National de la Recherche Scientifique et Technologique (Angle avenues des FAR et Allal El Fassi, Hay Ryad, B.P. 8027 N.U., Rabat 10102 - Morocco) StructId : 519357

2 SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 210611

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 419365
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

3 UPE - Université Paris-Est (6-8 avenue Blaise-Pascal Cité Descartes - Champs-sur-Marne 77455 Marne-la-Vallée - France) StructId : 303005

Keywords : Petri nets Data

Document type :

Journal articles

Domain :

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadata

https://hal.inria.fr/hal-01379245
Contributor : Alain Monteil <>
Submitted on : Wednesday, June 2, 2021 - 2:02:32 PM
Last modification on : Wednesday, June 2, 2021 - 2:04:14 PM

File

pn2015.pdf

Files produced by the author(s)

Identifiers

HAL Id : hal-01379245, version 1
DOI : 10.3233/FI-2016-1375

Collections

Citation

Eric Badouel, Christophe Morvan, Loïc Hélouët. Petri Nets with Structured Data. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, 146 (1), pp.35-82. ⟨10.3233/FI-2016-1375⟩. ⟨hal-01379245⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Record views

549

Files downloads

Petri Nets with Structured Data

File

Identifiers

Collections

Citation

Export

Share

Metrics

549

60

Contact Legal Notice Personal Data