• No results found

The complexity of coverability in ν Petri nets

N/A
N/A
Protected

Academic year: 2020

Share "The complexity of coverability in ν Petri nets"

Copied!
11
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Figure 1. A short taxonomy of some data enrichements of Petri nets. Complexities in violet refer to the already known complexities forthe coverability problem; the exact complexity in unordered data Petri nets is unknown at the moment
Figure 2. A νPN and the associated flows of x, y, and ν.
Figure 3. Examples of simulations of reset Petri net transitions(left) by a νPN (right).
Figure 4. Pinpointing Fω·2 among the complexity classes beyondELEMENTARY.
+2

References

Related documents

The Informatica Platform is the safe on-ramp to big data that works with both emerging technologies and traditional data management infrastructures to minimize risk, reduce costs,

Responsibility Window Application Security Defining Application User. Understanding User Window Components -

Chairperson will identify members of the School Team at the beginning of each school year and send a list to the SEO (Student Support Services) as early as possible in

YEAR 2016 APPLICATION FOR FOREIGN STUDENT ADMISSION Tottori University Graduate School of Engineering Master’s Program. ( October

The Guarantee herein contained shall remain in full force and effect during the period that would be taken for performance of the aforesaid terms of the said contract and it

20 
 •

Primarni cilj istraživanja je ispitati radno opterećenje medicinskih sestara i tehničara koji rade u Jedinicama intenzivnog liječenja KBC Rijeka koristeći NEMS i NAS bodovne

This thesis describes the impact of critical illness on perceived health related quality of life (HRQOL).The time course of HRQOL during Intensive Care Unit