Вы здесь

Главная

сети петри

Связанные издания:

A Predicate/Transition-Net Model of a Local Area Network Protocol
A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
A Proposal for Petri Net Based Web Service Application Modeling
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols
Arc-Typed Petri Nets
A Refined View of the Box Algebra
Arrival Theorems for Product-Form Stochastic Petri Nets
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets
A solution to the covering problem for 1-bounded conflict-free Petri nets using Linear Programming
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings
A Structure to Decide Reachability in Petri Nets
A subclass of Petri Nets as design abstraction for parallel architectures
A Survey of Object-Oriented Petri Nets and Analysis Methods
A Symbolic State Space Representation
Asynchronous Communication of Petri Nets and Refinement of Transitions
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach
Asynchronous Control Device Design by Net Model Behavior Simulation
A Systematic Approach towards Object-Based Petri Net Formalisms
A taxonomy of fairness and temporal logic problems for Petri nets
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets
A Theory of Parallel Threads in Process Models
A theory of structural stationarity in the Pi-Calculus
A Theory of Testing High-Level Petri Nets
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling
A Trace Semantics for Petri Nets
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
A Unified Algebraic Framework for Specifying Communication Protocols
A Unified Approach for Reasoning about Conflict-Free Petri Nets
A Uniform Approach to Petri Nets
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets
A Useful Necessary Conditions and a Simple Sufficient Condition for Liveness of General Petri Nets
Automated Generation of a Progress Measure for the Sweep-Line Method
Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006
Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009
Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach
Autonomous and Timed Continuous Petri Nets
A Visual Formalism for the Composition of Stochastic Petri Nets
Axiomatizing Petri Net Concatenable Processes
Axioms for Contextual Net Processes
Back-Forth Equivalences for Design of Concurrent Systems
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets
Behavioural Equivalence for Infinite Systems - Partially Decidable!
Behaviour Specification of Parallel Active Objects
Bisimulation Equivalence for Hierarchical Petri Nets. Decision Problems
Bisimulation Equivalences for Graph Grammars
Bisimulation for fluid stochastic Petri nets
Bounded Petri Nets of Finite Dimension Have Only Finitely Many Reachable Markings