Pages that link to "Item:Q4571475"

The following pages link to Deriving Petri nets from finite transition systems (Q4571475):

Displaying 2 items.

• On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets (Q6070613) (← links)
• Coupling asynchrony and interrupts: Place Chart Nets (Q6487382) (← links)