EMSS 2014 Proceeding

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

Authors:   Iñigo León-Samaniego, Juan-Carlos Sáenz-Díez, Jorge Luis García, Mercedes Pérez-Parte

Abstract

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.

I3M  Scientific Sponsors

I3M  Industrial Sponsors

I3M  Media Sponsors