Pages that link to "Item:Q1149777"
From MaRDI portal
The following pages link to System modelling with high-level Petri nets (Q1149777):
Displaying 40 items.
- Concurrent abstract state machines (Q303691) (← links)
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- Reachability trees for high-level Petri nets (Q579940) (← links)
- Proving nonreachability by modulo-invariants (Q672866) (← links)
- Introduction to design choices in the semantics of Statecharts (Q750133) (← links)
- A theory of bipolar synchronization scheme (Q799113) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- High-level Petri-net model for a resource-sharing problem (Q918729) (← links)
- M-nets: a survey (Q1006339) (← links)
- An approach to automating the verification of compact parallel coordination programs. I (Q1056221) (← links)
- Modeling production rules by means of predicate transition networks (Q1058869) (← links)
- Petri nets with individual tokens (Q1083212) (← links)
- Modeling rule-based systems by stochastic programmed production systems (Q1083875) (← links)
- Inconsistency check of a set of clauses using Petri net reductions (Q1100906) (← links)
- Coloured Petri nets and the invariant-method (Q1159464) (← links)
- Constructing Petri net models using genetic search (Q1596757) (← links)
- Optimising the flow of information within a C3I network. (Q1597054) (← links)
- Knowledge representation and reasoning using fuzzy Pr/T net-systems (Q1920304) (← links)
- Specification and performance analysis of embedded systems with coloured Petri nets (Q1963360) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- A theoretical framework on proactive information exchange in agent teamwork (Q2457648) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- Access Nets: Modeling Access to Physical Spaces (Q3075481) (← links)
- Planning without state space explosion: Petri net to Markov decision process (Q3393989) (← links)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems (Q4032915) (← links)
- Petri net extensions for modelling and validating manufacturing systems (Q4394316) (← links)
- On using abstract models for analysis of flexible manufacturing systems (Q4394359) (← links)
- A formal definition of hierarchical predicate transition nets (Q4633163) (← links)
- Formal relationship between graph grammars and Petri nets (Q4645283) (← links)
- From Petri nets to linear logic (Q4713398) (← links)
- A formal notation and tool for the engineering of CORBA systems (Q4790903) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- A Behavioural Theory of Recursive Algorithms (Q4988914) (← links)
- From petri nets to linear logic (Q5096267) (← links)
- Modelling and simulation of an intelligent flexible manufacturing system via high-level object Petri nets (HLOPN) (Q5466726) (← links)
- WQO dichotomy for 3-graphs (Q5919047) (← links)
