Pages that link to "Item:Q2097427"
From MaRDI portal
The following pages link to Formal translation from reversing Petri nets to coloured Petri nets (Q2097427):
Displaying 3 items.
- Encoding reversing Petri nets in answer set programming (Q2039911) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)