Pages that link to "Item:Q5111618"

The following pages link to k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618):

Displaying 2 items.

• Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems (Q3297771) (← links)
• The Complexity of Synthesis of b-Bounded Petri Nets (Q5025061) (← links)