Pages that link to "Item:Q4016733"
From MaRDI portal
The following pages link to FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY (Q4016733):
Displayed 8 items.
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Semantic data modelling using linear logic (Q1349996) (← links)
- Completeness results for linear logic on Petri nets (Q1361243) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- (Q4222859) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)