Pages that link to "Item:Q1606123"

The following pages link to Analysis issues in Petri nets with inhibitor arcs (Q1606123):

Displaying 10 items.

• Step coverability algorithms for communicating systems (Q433351) (← links)
• Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
• Reduction rules for reset/inhibitor nets (Q847264) (← links)
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
• A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
• A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
• Property analysis of logic Petri nets by marking reachability graphs (Q2515425) (← links)
• Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
• Nadia Busi's publications (Q3655765) (← links)