Pages that link to "Item:Q4633163"
From MaRDI portal
The following pages link to A formal definition of hierarchical predicate transition nets (Q4633163):
Displaying 4 items.
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models (Q3534663) (← links)