Pages that link to "Item:Q1318729"

The following pages link to Finite Petri nets as models for recursive causal behaviour (Q1318729):

Displaying 2 items.

• On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)