Вы здесь

Главная

сети петри

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

A Basic-Net Algebra for Program Semantics and its Application to OCCAM
A Bibliography of Net Theory
A Brief Introduction to Coloured Petri Nets
Abstracting Dependencies between Software Configuration Items
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets
Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation
A Class of Composable High Level Petri Nets
A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
A Client-Server Protocol for the Composition of Petri Nets
A Colored Petri Net Model for a Naval Command and Control System
A Coloured Petri Net Formalization for a UML-Based Notation Applied to Cooperative System Modeling
A Compact Petri Net Representation and Its Implications for Analysis
A Comparison of Petri Net Semantics under the Collective Token Philosophy
A compositional dataflow semantics for Petri nets
A Compositional Petri Net Semantics for SDL
A Concept of Hierarchical Petri Nets with Building Blocks
A Conceptual Framework for the Characterization of Petri Net Description Techniques
A Concurrent and Compositional Petri Net Semantics of Preemption
Action Calculi, or Syntactic Action Structures
Activities on Net Theory in Japan
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
Adaptive Time Warp Simulation of Timed Petri Nets
Advanced Distributed Systems: Revised Selected Papers/5th International School and Symposium, ISSADS 2005. Guadalajara, Mexico, January 2005
Advances in Artificial Intelligence - IBERAMIA 2010: Proc./12th Ibero-American Conference on AI, Bahia Blanca, Argentina, November 2010
Advances in Artificial Intelligence: Proc./4th Helenic Conference on AI, SETN 2006. Heraklion, Crete, Greece, May 2006
Advances in Petri Nets 1990
Advances in Petri Nets 1992
Advances in Petri Nets 1993
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
A Framework for Developing and Analyzing Software Architecture Specifications in SAM
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
A Fully Abstract Semantics for Termination in Petri Nets
A Fuzzy Petri Net for knowledge representation and reasoning
A Fuzzy Petri Net Tool for Modeling and Verification of Knowledge-Based Systems
A General Approach to Partial Order Reductions in Symbolic Verification
A Generalized Event Structure for the Muller Unfolding of a Safe Net
Agent and Multi-Agent Systems: Technologies and Applications, Part I: Proc./4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 2010
Agent and Multi-Agent Systems: Technologies and Applications: Proc./Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 2009
Agent Communication: Revised Selected and Invited Papers/International Workshop on Agent Communication, AC 2004. New York, NY, USA, July 2004
A Guide to Modelling and Control with Modules of Signal Nets
A Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
A Kleene Iteration for Parallelism
A Knowledge-Based Environment for the Validation of Distributed Systems
Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007
Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
Algebraic High Level Nets: Petri Nets Revisited
Algebra of Two-level Cause-effect Structures