Pages that link to "Item:Q1273576"

The following pages link to Lectures on Petri nets. 1: Basic models. Advances in Petri nets (Q1273576):

Displaying 36 items.

• On selective unboundedness of VASS (Q355513) (← links)
• On sets of numbers accepted by P/T systems composed by join (Q410705) (← links)
• Vector team automata (Q418753) (← links)
• Multi-modal scenarios revisited: a net-based representation (Q418770) (← links)
• The sweep-line state space exploration method (Q418783) (← links)
• Localities in systems with a/sync communication (Q418785) (← links)
• Transfer of trust in event-based reputation systems (Q418797) (← links)
• Step coverability algorithms for communicating systems (Q433351) (← links)
• An extended Earley's algorithm for Petri net controlled grammars without \(\lambda\) rules and cyclic rules (Q442111) (← links)
• Statechartable Petri nets (Q470022) (← links)
• Process semantics of general inhibitor nets (Q598184) (← links)
• Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
• A collaborative scheduling approach for service-driven scientific workflow execution (Q980989) (← links)
• Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
• Series-parallel languages and the bounded-width property (Q1566734) (← links)
• Signal set tissue systems and overlapping localities (Q1682863) (← links)
• Composition colored Petri nets for the refinement of reaction-based models (Q1744368) (← links)
• An algebraic model of observable properties in distributed systems (Q1853608) (← links)
• Clustering for Petri nets (Q1884880) (← links)
• The conformon-P system: a molecular and cell biology-inspired computability model (Q1884951) (← links)
• Small vertex cover makes Petri net coverability and boundedness easier (Q1949744) (← links)
• A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
• Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities (Q1982990) (← links)
• Theory of reaction automata: a survey (Q1983008) (← links)
• Synchronization of Bernoulli sequences on shared letters (Q2013553) (← links)
• A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
• Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins (Q2119954) (← links)
• Why there is no general solution to the problem of software verification (Q2151520) (← links)
• Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
• Modeling biological gradient formation: combining partial differential equations and Petri nets (Q2311279) (← links)
• Dominance and deficiency for Petri nets and chemical reaction networks (Q2311319) (← links)
• Parallel dynamical systems over graphs and related topics: a survey (Q2336941) (← links)
• Minimal cut sets of a coherent fault tree generation using reverse Petri nets (Q2868919) (← links)
• Dominance and T-Invariants for Petri Nets and Chemical Reaction Networks (Q2948405) (← links)
• <font>P</font> SYSTEMS AND TOPOLOGY: SOME SUGGESTIONS FOR RESEARCH (Q3076611) (← links)
• Computing with chemical reaction networks: a tutorial (Q6150974) (← links)