Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation (Englisch)
- Neue Suche nach: Vizovitin, N. V.
- Neue Suche nach: Nepomniaschy, V. A.
- Neue Suche nach: Stenenko, A. A.
- Neue Suche nach: Vizovitin, N. V.
- Neue Suche nach: Nepomniaschy, V. A.
- Neue Suche nach: Stenenko, A. A.
In:
Automatic control and computer sciences
;
51
, 7
; 489-497
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation
-
Beteiligte:
-
Erschienen in:Automatic control and computer sciences ; 51, 7 ; 489-497
-
Verlag:
- Neue Suche nach: Allerton Press
-
Erscheinungsort:New York, NY
-
Erscheinungsdatum:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 770/4620/8000
- Neue Suche nach: 50.23
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
Lokalklassifikation TIB: 770/4620/8000 BKL: 50.23 Regelungstechnik, Steuerungstechnik -
Datenquelle:
Inhaltsverzeichnis – Band 51, Ausgabe 7
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 463
-
Component-Based Systems Reconfigurations Using Graph Transformations with GROOVEKouchnarenko, Olga / Weber, Jean-François et al. | 2017
- 479
-
Analysis of Real-Time Applications Feasibility through SimulationBaranov, S. N. / Nikiforov, V. V. et al. | 2017
- 489
-
Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM NotationVizovitin, N. V. / Nepomniaschy, V. A. / Stenenko, A. A. et al. | 2017
- 498
-
An Approach to Verification of a Family of Multiagent Systems for Conflict ResolutionGaranina, N. O. / Sidorova, E. A. et al. | 2017
- 507
-
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-IIGromov, M. L. / Shabaldina, N. V. et al. | 2017
- 516
-
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State MachinesErmakov, A. D. / Yevtushenko, N. V. et al. | 2017
- 523
-
On the Minimization of Finite State Transducers over SemigroupsZakharov, V. A. / Temerbekova, G. G. et al. | 2017
- 531
-
Formalism and Language Tools for Specification of the Semantics of Software LibrariesItsykson, V. M. et al. | 2017
- 539
-
Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer SystemsVolkanov, D. Yu. et al. | 2017
- 551
-
On Optimization and Parallelization of the Little Algorithm for Solving the Travelling Salesman ProblemVasilchikov, V. V. et al. | 2017
- 558
-
Network Model for the Problem of Integer Balancing of a Four-Dimensional MatrixSmirnov, A. V. et al. | 2017
- 567
-
Construction of CFC-Programs by LTL-SpecificationRyabukhin, D. A. / Kuzmin, E. V. / Sokolov, V. A. et al. | 2017
- 576
-
Polyhedral Characteristics of Balanced and Unbalanced Bipartite Subgraph ProblemsBondarenko, V. A. / Nikolaev, A. V. / Shovgenov, D. A. et al. | 2017
- 586
-
Expansion of Self-Similar Functions in the Faber–Schauder SystemTimofeev, E. A. et al. | 2017
- 592
-
Asymptotic Expansions of Eigenvalues of the First Boundary-Value Problem for Singularly Perturbed Second-Order Differential Equation with Turning PointsKashchenko, S. A. et al. | 2017
- 606
-
Asymptotics, Stability, and Region of Attraction of Periodic Solution to a Singularly Perturbed Parabolic Problem with Double Root of a Degenerate EquationButuzov, V. F. / Nefedov, N. N. / Recke, L. / Schneider, K. R. et al. | 2017
- 614
-
Numerical Simulation of Adiabatic Shear-Band Formation in CompositesKudryashov, N. A. / Muratov, R. V. / Ryabov, P. N. et al. | 2017
- 621
-
Analytical Solutions for Nonlinear Convection–Diffusion Equations with Nonlinear SourcesKudryashov, N. A. / Sinelshchikov, D. I. et al. | 2017
- 627
-
Two-Wave Interactions in the Fermi–Pasta–Ulam ModelGlyzin, S. D. / Kashchenko, S. A. / Tolbey, A. O. et al. | 2017
- 634
-
Polylogarithms and the Asymptotic Formula for the Moments of Lebesgue’s Singular FunctionTimofeev, E. A. et al. | 2017
- 639
-
Dynamics of a System of Two Simplest Oscillators with Compactly Supported Nonlinear FeedbacksKashchenko, A. A. et al. | 2017
- 645
-
Asymptotics for Solutions of Harmonic Oscillator with Integral PerturbationNesterov, P. N. et al. | 2017
- 658
-
Relaxation Oscillations in a System of Two Pulsed Synaptically Coupled NeuronsGlyzin, S. D. / Kolesov, A. Yu. / Marushkina, E. A. et al. | 2017
- 666
-
On the Spatial Boundedness of Cellular RDA-netsBashkin, V. A. et al. | 2017
- 678
-
Generation of a Social Network Graph by Using Apache SparkBelov, Y. A. / Vovchok, S. I. et al. | 2017
- 682
-
1-Skeletons of the Spanning Tree Problems with Additional ConstraintsBondarenko, V. A. / Nikolaev, A. V. / Shovgenov, D. A. et al. | 2017
- 689
-
On the Minimization Problem for Sequential ProgramsZakharov, V. A. / Jaylauova, S. R. et al. | 2017
- 701
-
Data Rate Assessment on L2–L3 CPU Bus and Bus between CPU and RAM in Modern CPUsKomar, M. S. et al. | 2017
- 709
-
Using Event Logs for Local Correction of Process ModelsMitsyuk, A. A. / Lomazova, I. A. / van der Aalst, W. M. P. et al. | 2017
- 724
-
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault CoverageTvardovskii, Aleksandr / El-Fakih, Khaled / Gromov, Maxim / Yevtushenko, Nina et al. | 2017
- 731
-
Asymptotic Formula for the Moments of the Takagi FunctionTimofeev, E. A. et al. | 2017
- 736
-
Mathematical Model of Nicholson’s ExperimentGlyzin, S. D. et al. | 2017
- 753
-
A Family of Non-Rough Cycles in a System of Two Coupled Delayed GeneratorsKashchenko, A. A. et al. | 2017
- 757
-
On Numerical Characteristics of a Simplex and Their EstimatesNevskii, M. V. / Ukhalov, A. Yu. et al. | 2017
- 770
-
New Estimates of Numerical Values Related to a SimplexNevskii, M. V. / Ukhalov, A. Yu. et al. | 2017
- 783
-
Relaxation Cycles in a Model of Synaptically Interacting OscillatorsPreobrazhenskaia, M. M. et al. | 2017