The following pages link to (Q4133144):
Displaying 50 items.
- Multi-modal scenarios revisited: a net-based representation (Q418770) (← links)
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854) (← links)
- Linear time analysis of properties of conflict-free and general Petri nets (Q620942) (← links)
- A computational approach to extinction events in chemical reaction networks with discrete state spaces (Q680446) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- A method for stepwise refinement and abstraction of Petri nets (Q1052100) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- On a fast decomposition method in some models of concurrent computations (Q1083211) (← links)
- Relevance of network theory to models of distributed/parallel processing (Q1138905) (← links)
- A characterization of systems derived from terminating concurrent histories (Q1143805) (← links)
- Behaviours of concurrent systems (Q1145503) (← links)
- A note on colored Petri nets (Q1146521) (← links)
- Coloured Petri nets and the invariant-method (Q1159464) (← links)
- Adequacy properties of path programs (Q1161276) (← links)
- A unified approach for studying the properties of transition systems (Q1161289) (← links)
- A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975) (← links)
- Dynamic sequencing of robot moves in a manufactoring cell (Q1309972) (← links)
- Modeling paradigms for discrete event simulation (Q1316093) (← links)
- Constructing Petri net models using genetic search (Q1596757) (← links)
- Optimising the flow of information within a C3I network. (Q1597054) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- Homomorphisms between models of parallel computation (Q1836982) (← links)
- Directed Moore hypergraphs (Q1902896) (← links)
- Theory of reaction automata: a survey (Q1983008) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- Growth of replacements (Q2094883) (← links)
- A review of attack graph and attack tree visual syntax in cyber security (Q2197794) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Structure matrices for Petri nets and their applications (Q2266589) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Minimal output unstable configurations in chemical reaction networks and deciders (Q2311221) (← links)
- Some complexity results for stateful network verification (Q2335903) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Petri nets formalism facilitates analysis of complex biomolecular structural data (Q2805502) (← links)
- Robustness of Expressivity in Chemical Reaction Networks (Q2835703) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- (Q3385652) (← links)
- Concurrency and Time in Role-Based Access Control (Q3558779) (← links)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- Gradually intractable problems and nondeterministic log-space lower bounds (Q3700836) (← links)
- A stochastic petri net with applications to modelling occupancy times for concurrent task systems (Q3862420) (← links)
- (Q4176984) (← links)
- (Q5389761) (← links)
- Monotone term decision lists (Q5941293) (← links)
- Combining an LNS-based approach and organizational mining for the resource replacement problem (Q6065649) (← links)
- Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks (Q6084208) (← links)
