16 citations · 69 across the 27 of their papers we have counts for
7 papers · 2 filters
Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2
Wiktor B. Daszczuk
Modern model checking techniques concentrate on global properties of verified systems, because the methods base on global state space. Local features like partial deadlock or proce…
Communication Dualism in Distributed Systems with Petri Net Interpretation
Stanisław Chrobot, Wiktor B. Daszczuk
In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We consider communication dualism a basic property of communication in distrib…
PRT (Personal Rapid Transit) network simulation
Włodzimierz Choromański, Wiktor Daszczuk, Jarosław Dyduch +3
Transportation problems of large urban conurbations inspire search for new transportation systems, that meet high environmental standards, are relatively cheap and user friendly. T…
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network
Wiktor B. Daszczuk, Jerzy Mieścicki, Waldemar Grabski
In this paper, an original heuristic algorithm of empty vehicles management in personal rapid transit network is presented. The algorithm is used for the delivery of empty vehicles…
Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment
Wiktor B. Daszczuk, Maciej Bielecki, Jan Michalski
Integrated Model of Distributed Systems (IMDS) is developed for specification and verification of distributed systems, and verification against deadlocks. On the basis of IMDS, Ded…
Practical Approach to Distributed Systems' Design
Jerzy Mieścicki, Wiktor B. Daszczuk, Waldemar Grabski +1
The paper, based on authors' experience from several distributed systems integration projects, summarizes briefly practical designer's view on methodological requirements and overa…
System Modeling in the COSMA Environment
Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Mieścicki +1
The aim of this paper is to demonstrate how the COSMA environment can be used for system modeling. This environment is a set of tools based on Concurrent State Machines paradigm an…