Pages that link to "Item:Q2369035"
From MaRDI portal
The following pages link to Petri net modules in the transformation-based component framework (Q2369035):
Displaying 3 items.
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Software Engineering with Petri Nets: A Web Service and Agent Perspective (Q3452472) (← links)
