Pages that link to "Item:Q1647774"

The following pages link to Factorisation of transition systems (Q1647774):

Displaying 2 items.

• Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
• Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)