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

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.

[1]  Mercedes Pérez de la Parte,et al.  Simulation and Optimization of Logistic and Production Systems Using Discrete and Continuous Petri Nets , 2004, Simul..

[2]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[3]  Mercedes Pérez de la Parte,et al.  Security in sending and storage of Petri nets by signing and encription , 2011 .

[4]  Francesco Longo,et al.  An Advanced System for Supporting the Decision Process within Large-scale Retail Stores , 2010, Simul..

[5]  Mercedes Pérez de la Parte,et al.  Control of Discrete Event Systems by Means of Discrete Optimization and Disjunctive Colored PNs: Application to Manufacturing Facilities , 2014 .

[6]  Juan-Ignacio Latorre-Biel,et al.  Modelling, Analysis, and Simulation of Manufacturing Processes with Alternative Structural Configurations by Parametric Petri Nets , 2013 .

[7]  Mercedes Pérez de la Parte,et al.  Simulation-Based Optimization for the Design of Discrete Event Systems Modeled by Parametric Petri Nets , 2011, 2011 UKSim 5th European Symposium on Computer Modeling and Simulation.

[8]  Emilio Jiménez-Macías,et al.  Analysis of information partial encryption options for exchanging Petri nets systems , 2013 .

[9]  Lars Michael Kristensen,et al.  Timed Coloured Petri Nets , 2009 .

[10]  Mercedes Pérez de la Parte,et al.  The optimization problem based on alternatives aggregation Petri nets as models for industrial discrete event systems , 2013, Simul..

[11]  Emilio Jiménez-Macías,et al.  The exclusive entities in the formalization of a decision problem based on a discrete event system by means of Petri nets , 2011 .

[12]  Emilio Jiménez Macías,et al.  Simulation-based optimization of discrete event systems with alternative structural configurations using distributed computation and the Petri net paradigm , 2013, Simul..

[14]  Juan Ignacio Latorre,et al.  Matrix-based operations and equivalente classes in alternative Petri nets , 2011 .

[15]  Emilio Jiménez Macías,et al.  Petri nets with exclusive entities for decision making , 2013, Int. J. Simul. Process. Model..

[16]  Emilio Jiménez-Macías,et al.  Comparison of incidence matrices to detect common patterns in Petri nets , 2013 .

[17]  Emilio Jiménez-Macías,et al.  Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations , 2014 .

[18]  Juan Ignacio Latorre,et al.  Petri net transformation for decision making: compound Petri nets to alternatives aggregation Petri nets , 2011 .

[19]  Mercedes Pérez de la Parte,et al.  Methodological approach towards sustainability by integration of environmental impact in production system models through life cycle analysis: Application to the Rioja wine sector , 2014, Simul..