Pages that link to "Item:Q2864393"
From MaRDI portal
The following pages link to On the Expressiveness of Mobile Synchronizing Petri Nets (Q2864393):
Displayed 5 items.
- Ordinal recursive complexity of unordered data nets (Q529043) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Aligning event logs to resource-constrained \(\nu \)-Petri nets (Q2165247) (← links)
- Coding Mobile Synchronizing Petri Nets into Rewriting Logic (Q2864520) (← links)
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840) (← links)