Pages that link to "Item:Q780961"

The following pages link to Deadlock and liveness characterization for a class of generalized Petri nets (Q780961):

Displaying 9 items.

• Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\)'', [automatica 46 (2010) 1008-1018] (Q466321) (← links)
• Liveness of an extended S\(^{3}\)PR (Q976266) (← links)
• Inference approach based on Petri nets (Q2056355) (← links)
• An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
• Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480) (← links)
• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342) (← links)
• A resource configuration method for liveness of a class of Petri nets (Q4684002) (← links)
• Necessary and sufficient liveness condition of GS³PR Petri nets (Q5252903) (← links)
• A Class of Well Structured Petri Nets for Flexible Manufacturing Systems (Q6487387) (← links)