Petri net representation with ciphered subnets: definition of PNML extensions for subnets representation and use of XML encryption for ciphering

  1. León-Samaniego, I. 12
  2. Sáenz-Díez, J.-C. 12
  3. García, J.L. 1
  4. Pérez-Parte, M. 2
  1. 1 Universidad Autónoma de Ciudad Juárez
    info

    Universidad Autónoma de Ciudad Juárez

    Ciudad Juárez, México

    ROR https://ror.org/05fj8cf83

  2. 2 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
26th European Modeling and Simulation Symposium, EMSS 2014

Editorial: Dime University of Genoa

ISBN: 978-889799932-4

Año de publicación: 2014

Páginas: 613-619

Tipo: Capítulo de Libro

SCOPUS: 2-s2.0-84912096486 GOOGLE SCHOLAR

Resumen

With Petri Nets we can model a great amount of systems. However, they are described in a comprehensive way, so we need to have the hole Petri Net to work with it. We are going to take advantage from previous works presented in EMSS 2011 and EMSS 2013 in which we defined subnets of a Petri Net and extract the interface in order to cut Petri Nets in disjoint subnets. We have two aims for this work. By one side, we want to choose a way of representation of Petri Nets that allows to include all this information. In this case we are going to select PNML for this objective, but it hasn't a way to represent subnets, so we will have to extend this language with an extension that allows it. By the other side, we will use XMLEncrypion [4] in order to hide subnets only exposing only its interface, hiding the rest of the subnet for every non receiver of the Petri Net.