Вы здесь

Главная

сети петри

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

General Morphisms of Petri Nets
General Refinement and Recursion Operators for the Petri Box Calculus
General Refinement for High Level Petri Nets
Generation Automatique de Code OCCAM a Partiir d un Reseau de Petri
Generative Families of Positive Invariants in Coloured Nets Sub-Classes
GRAPH: A Graphical System for Petri Net Design and Simulation
Graph Transformation: Proc./10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Graph Transformation: Proc./12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 2019
Graph Transformation: Proc./13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020
Graph Transformation: Proc./14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 2021
Graph Transformation, Specificationas, and Nets: In Memory of Hartmut Ehrig
Graph Transformations: Proc./5th International Conference, ICGT 2010, Enschede, The Netherland, September/October 2010
GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems
Handles and Reachability Analysis of Free Choice Nets
Handling Synchronization Problem in Petri Net-Based System Design by Property-Reserving Transition-Reduction
Hardware Support of Parallel Asynchronous Processes
Haskell-Coloured Petri Nets
Hierarchial Cause-Effect Structures
Hierarchical Cause-Effect Structures
Hierarchical High Level Petri Nets for Complex System Analysis
Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes
Hierarchical Structure of 1-Safe Petri Nets
Hierarchical Timed High Level Nets and Their Branching Processes
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems
Hierarchies in Colored GSPNs
Hierarchies in Coloured Petri Nets
Higher-order Action Calculi
High Level Distributed Transition Systems in Categories
High-Level Net Progresses
High-level Nets and Linear Logic
High-Level Petri Nets as Type Theories in the Join Calculus
High Level Synthesis of Synchronous Parallel Controllers
High Undecidability of Weak Bisimilarity for Petri Nets
How Expressive Are Petri Net Schemata?
How to Calculate Symmetries of Petri Nets
Hyperdocuments as Automata: Trace-based Browsing Property Verification
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking
Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool
Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets
Improving the Efficiency of the Analysis of DSPN Models
INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems
Industrual User Interface Evaluation Based on Coloured Petri Nets Modeling and Analysis
Information Gathering and Process Modeling in a Petri Net Based Approach
Inheritance of Dynamic Behavior: Development of a Groupware Editor
Inheritance of Object Behavior - Consistent Extension of Object Life Cycles
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems
Integration between Scheduling and Design of Batch Systems Based on Petri Net Models
Integration of Software Specification Techniques for Applications in Engineering: Final Report/Priority Program SoftSpez of the German Research Foundation (DFG)
Interleaving Functional and Performance Structural Analysis of Net Models
Interval Timed Coloured Petri Nets and their Analysis