Вы здесь

Главная

Specification, Verification and Net Models of Concurrent Systems

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

Bisimulation Equivalence for Hierarchical Petri Nets. Decision Problems
Concepts for a C++ Animator Design for SDL-92
Equivalences on Petri Nets
Event Structures and their Properties
Formal Semantics of Real-Time System Specification Language Basic-Real
Mapping of Time Cause-Effect Structures into Time Regular Petri Nets
Model Checking for Distributed Systems in the Modal Mu-calculus
Notes on Logical Axiomatization of Density Concepts
Petri-Net Based Environment for the Specification, Analysis and Simulation of Concurrent Systems
Time Petri Nets without Intersections of Firing Intervals
Towards Automatic Program Verification: Problem-Oriented Knowledge Bases