Pages that link to "Item:Q1273576"

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

Displaying 47 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)
• Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
• k-Petri Net Controlled Grammars (Q3540110) (← links)
• Grammars Controlled by Special Petri Nets (Q3618592) (← links)
• Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen. (Q4921556) (← links)
• Automatic verification for a class of distributed systems (Q5137900) (← links)
• Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets (Q5452053) (← links)
• A Hybrid Approach to Modeling Biological Systems (Q5452054) (← links)
• Conformon-P Systems with Negative Values (Q5452063) (← links)
• Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems (Q5712038) (← links)
• A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)
• Inheritance of behavior (Q5943265) (← links)
• Computing with chemical reaction networks: a tutorial (Q6150974) (← links)