Вы здесь

Главная

сети петри

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

Bounded Self-Stabilizing Petri Nets
B (PN)2 - a Basic Petri Net Programming Notation
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
Branching Processes of High-Level Petri Nets
Branching Processes of Petri nets
Bridging the Gap Between Place- and Floyd-Unvariants with Applications to Preemptive Scheduling
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
Business Process Management: Proc./17th International Conference, BPM 2019, Vienna, Austria, September 2019
Business Process Management: Proc./18th International Conference, BPM 2020, Seville, Spain, September 2020
Business Process Management: Proc./19th International Conference, BPM 2021, Rome, Italy, September 2021
Business Process Management: Proc./5th International Conference, BPM 2007. Brisbane, Australia, September 2007
Canonical pretixes of Petri net unfoldings
Causality-Based Testing in Time Petri Nets
Causality-Based Testing in Time Petri Nets
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
CCS is an (Augmented) Contact Free C/E System
Characterizing Behavioural Congruences for Petri Nets
Characterizing Timed Net Processes Categorically
Checking Database Integrity Constraints while Simulating Information System Behaviour
Checking Regular Properties of Petri Nets
Checking System Properties via Integer Programming
CLOWN as a Testbed for Concurrent Object-Oriented Concepts
Colored Cause-Effect Structures
Colored Petri Net Based Attack Modeling
Colored Petri Nets Based Modeling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol
Coloured Petri net approach to modeling of SDL specifications with dynamic constructions
Coloured Petri nets approach to the validation of Estelle specifications
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Coloured Petri Nets Extended with Channels for Synchronous Communication
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs
Coloured Petri Nets in Development of a Pervasive Health Care System
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets
Combining Petri Nets and Other Formal Methods
Combining Petri Nets and PA-Processes
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
Communicating Petri Nets
Communication as Unification in the Petri Box Calculus
Communication Pattern Based Performance Prediction on the nCUBE 2 Multiprocessor System
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Completeness Results for Linear Logic on Petri Nets
Complete Structural Characterization of State Machine Allocatable Nets
Complexity Results for 1-safe Nets
Component Tools: Integrating Petri Nets with Other Formal Methods
Compositional Liveness Properties of EN-Systems
Compositional Modeling and Verification of Workflow Processes
Compositional Process Semantics of Petri Boxes
Computational Logistics: Proc./3rd International Conference, ICCL 2012, Shanghai, China, September 2012
Computational Methods in Systems Biology: Proc./10th International Conference, CMSB 2012, London, UK, October 2012
Computational Restrictions for SPN with Generally Distributed Transition Times
Computation of Flows for Unary-Predicates/Transitions-Nets