DataSet for the paper: "An Intelligent Transportation System to Control Air Pollution and Road Traffic in Cities Integrating CEP and Colored Petri nets"
Published: 9 October 2018| Version 1 | DOI: 10.17632/cbjxbhzn43.1
Contributors:
Gregorio Diaz, Description
These files should be considered as additional material for the paper "An Intelligent Transportation System to Control Air Pollution and Road Traffic in Cities Integrating CEP and Colored Petri nets". Its aim is to show how to reproduce the observed data by using the developed Color Petri Nets.
Files
Steps to reproduce
Open the different cpn files using the CPN Tools and use the predicates to reproduce the branching pruning of the state space exploration. The reports and predicates can be opened using any standard text editor. The link to download CPN Tools is listed in the related links bellow.
Institutions
Universidad de Castilla-La Mancha
Categories
Petri Nets, Big Data, Intelligent Transportation System