Pages that link to "Item:Q1149775"

The following pages link to Persistence of vector replacement systems is decidable (Q1149775):

Displaying 25 items.

• Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
• Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
• Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets (Q1041759) (← links)
• Normal Petri nets (Q1057065) (← links)
• Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states (Q1096388) (← links)
• Completeness results for conflict-free vector replacement systems (Q1113674) (← links)
• Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
• On weak persistency of Petri nets (Q1158764) (← links)
• The complexity of problems involving structurally bounded and conservative Petri nets (Q1183417) (← links)
• A unified approach for deciding the existence of certain petri net paths (Q1184737) (← links)
• Normal and sinkless Petri nets (Q1208921) (← links)
• Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
• Catalytic P systems, semilinear sets, and vector addition systems (Q1884955) (← links)
• Local time membrane systems and time Petri nets (Q2285668) (← links)
• Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
• Equivalence between model-checking flat counter systems and Presburger arithmetic (Q2636509) (← links)
• ON YEN'S PATH LOGIC FOR PETRI NETS (Q3016216) (← links)
• (Q3327735) (← links)
• PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS (Q3395130) (← links)
• On Yen’s Path Logic for Petri Nets (Q3646251) (← links)
• Deciding reachability problems in Turing-complete fragments of Mobile Ambients (Q3655763) (← links)
• Behavioural equivalence for infinite systems — Partially decidable! (Q4633177) (← links)
• The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
• ON VARIOUS NOTIONS OF PARALLELISM IN P SYSTEMS (Q5462670) (← links)
• ON ONE-MEMBRANE P SYSTEMS OPERATING IN SEQUENTIAL MODE (Q5704370) (← links)