Pages that link to "Item:Q2018421"

The following pages link to An analytical method for well-formed workflow/Petri net verification of classical soundness (Q2018421):

Displayed 1 item.

• Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) ‎ (← links)