Pages that link to "Item:Q5044767"

The following pages link to Model checking using net unfoldings (Q5044767):

Displaying 2 items.

• A structural approach for the analysis of Petri Nets by reduced unfoldings (Q4633172) (← links)
• A class of composable high level Petri nets (Q5096360) (← links)