Вы здесь

Главная

сети петри

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

Algebras of Processes of Timed Petri Nets
Algorithm for Parallel Simulation of High Level Petri Net
Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures
All Action-Based Behavioural Equivalences are Undecidable for Labelled Petri Nets
A Logic for Analyzing Abstractions of Graph Transformation Systems
A Memory Module Specification Using Composable High-Level Petri Nets
A Methodology for System-Level Design for Verifiability
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
A Multiset Semantics for the pi-Calculus with Replication
An Algebraic Semantics for Hierarchical P/T Nets
An Algebraic Semantics of Logic Programs as Structured Transition Systems
An Algebra of Petri Nets with Arc-Based Time Restrictions
An Algebra of Regular Macronets for Formal Specification of Communication Protocols
An Algebra of Time-Consuming Computations
Analysing Properties of the Resource Reservation Protocol
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets
Analysis of a Class of Communicating Finite State Machines
Analysis of an Ada System Using Coloured Petri Nets and Occurence Graphs
Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks
Analysis of Parallel Discrete Systems by Discrete Stochastic and Fuzzy Petri Nets
Analysis of Petri Nets by means of Dynamic Graphs
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control
Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets
Analytical and Stochastic Modelling Techniques and Applications: Proc./22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 2015
Analytocal and Stochastic Modelling Techniques and Applications: Proc./23rd International Conference, ASMTA 2016, Cardiff, UK, August 2016
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets
Analyzing Refinements of State Based Specifications: The Case of TB Nets
An Analysis of Simulation between Petri Nets through Rewriting Logic
An Approach for Video Meta-Data Modeling and Query Proceeding
An Effecient Algorithm for Finding Structural Deadlocks in Colored Petri Nets
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets
A Net-Based Multi-tier Behavior Inheritance Modeling Method
A Net Practice for Software Project Management
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets
A New Technique for Finding a Generating Family of Siphons, Traps and st-components. Application to Colored Petri Nets
An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks
An Improvement of McMillan s Unfolding Algorithm
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell Using Generalized Stochastic Petri Nets
An Introduction to Functional Nets
An Introduction to the Theoretical Aspects of Coloured Petri Nets
An Investigation of Back-Forth and Place Bisimulation Equivalences
An Investigation of Equivalence Notions on Some Subclasses of Petri Nets
An Investigation of -Equivalences
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment
A note on an operation on concurrent systems
A Note on an Operation on Concurrent Systems
A Note on Full Computability by Petri Nets