Dataset for the paper A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions

Published: 4 March 2021| Version 1 | DOI: 10.17632/scrjyndpv6.1
Contributors:
Gregorio Diaz,
,
,
,

Description

This dataset allows the reproduction of the results obtained for the paper entitled "A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions".

Files

Steps to reproduce

For the test cases: 1.- Watch the demo video from the tool MEdit4CEP-CPN at: http://dx.doi.org/10.17632/n4cf3x22jj.2 - To import the event patterns the BTTraduction.zip files with the new version of MEdit4CEP-BPCPN please download via https://ucase.uca.es/medit4cep/download.html and follow the instructions available at https://ucase.uca.es/medit4cep/tutorial.html 2.- Download and install CPN Tools: http://cpntools.org/download. 3.- Run CPN Tools. 4.- Load the file "TestCase1.cpn" and observe the event and pattern equivalent nets. 5.- Load the file "TestCase2.cpn" and observe the event and pattern equivalent nets. 7.- Load the file "TestCase11.cpn". Simulation data is already presetted. Simulate the net. 8.- Load the file "BTTranslation.xml". This is the obtained net for all the TestCases. 9.- At the "SimulationAnalysis" folder, you may find the file "AllTestCases.cpn" containing the PCPN for all test cases and a preloaded initial marking, that is, simulation data for the quantitative analysis is already presetted. Simulate the net. 9.- Load the CPNs files provided at the StateSpaceAnalysis folder and you can reproduce the reports for the different PCPNs obtained for test cases 1, 2 and 11. For the Uterine Contraction Use case: 1.- Follow the same 3 first steps provided above using the file: "UterineContractionDomain_patterns.zip". 2.- Load the PCPN of the file "UterineContractionDomain.xml" to inspect the obtained results from the transformation. 3.- For the simulation analysis use the PCPN provided at the respective folder and simulate it in CPN Tools. 4.- For the state space analysis inspect the reports and reproduce the results with the two provided PCPNs containing the presets for the patterns Duration and TimeOnLabor respectively using CPN Tools.

Institutions

Universidad de Castilla-La Mancha, Universidad de Cadiz

Categories

Petri Net, Formal Semantics, Event Correlation, Application Software

Licence