Pages that link to "Item:Q2465670"
From MaRDI portal
The following pages link to Trellis processes: a compact representation for runs of concurrent systems (Q2465670):
Displaying 6 items.
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
- (Q5028437) (← links)
- Flow Unfolding of Multi-clock Nets (Q5166763) (← links)
- Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly (Q5739008) (← links)
- Model checking reversible systems: forwardly (Q6637601) (← links)
