Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: concurrent system

Sortuj według:

Ogranicz wyniki do:

Probabilistic models of random behaviours of concurrent systems

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2012

Nr 1024

1--42

The paper presents a theoretical basis for describing and analysing random behaviours of concurrent systems of a broad class.

Praca zawiera podstawy teoretyczne opisu i analizy losowych zachowań systemów współbieżnych dowolnej natury.

Restriction-Based Concurrent System Design Using the Rough Set Formalism

Suraj Z., Pancerz K.

Fundamenta Informaticae

2005

Vol. 67, nr 1-3

233-247

Design of concurrent systems under various constraints is an important problem in real-life applications in many domains (for example, automatics, robotics, software engineering) and has earlier been discussed in the literature using different formalisms. In this paper some approaches to the concurrent system design based on restrictions will be considered. In our approaches, we will use the rough set formalism. The coloured Petri nets (CP-nets) will be used to model designed concurrent systems.