The main part in the testing of the software is in the generation of test cases suitable for
software system testing. The quality of the test cases plays a major role in reducing the time …

Τα Δημόσια Νοσοκομεία αντιμετωπίζουν σοβαρά προβλήματα διαχείρισης και
εκσυγχρονισμού των παρεχόμενων υπηρεσιών υγείας με κύριο αποτέλεσμα την …

Our research aim is to develop techniques for dasiaservice process control and
schedulingpsila. In this paper, we introduce a kind of high-level Petri Nets-Colored Petri …

Em um contexto de crescente globalização e desenvolvimento econômico, as redes de
organizações que colaboram em um processo para obter recursos e convertelos em …

Homogeneous, shared memory multiprocessors that incorporate real-time operating
systems constitute in many corporations the basic platforms for developing applications of …

The quantitative analysis of “domino” effects is one of the main aspects of hazard
assessment in chemical industrial park. This paper demonstrates the application of …

Petri nets are widely used to model concurrent software systems. Currently, there are many
different kinds of Petri net tools that can analyze system properties such as deadlocks …

Simulaciono modeliranje je veoma efikasan alat za analiziranje složenih železničkih
sistema kao što su sistemi saobraćaja vozova na rasputnici. Rasputnica je službeno mesto …

A mobile Ad-hoc network (MANET) is a dynamic multi hop infrastructure less wireless
network established by a group of mobility nodes in which there is no central administration …

Developing real-time software controlled systems for safety critical applications and verifying
that they meet functional, fault tolerance and timing requirements are inherently complex …