The following pages link to (Q4511269):
Displaying 8 items.
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Recursive Petri nets (Q2464034) (← links)
- On Freeze LTL with Ordered Attributes (Q2811345) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Data Centric Workflows for Crowdsourcing (Q5100748) (← links)
- On the Qualitative Analysis of Conformon P Systems (Q5191162) (← links)
- Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)
