PETRI NET PERFORMANCE AND RELIABILITY MODELS FOR WIRELESS NETWORKS

MODELLING AND SIMULATION IN DECISION MAKING PROCESSES

Interactive Real-Time Driving Simulator For Vehicle Systems Design and Prototyping Process

Coordination, Resource Allocation, and Deadlock Avoidance of Hybrid Processes Using Discrete Event Supervisors

Modeling of Real-time Process Control

Modeling of Updating Moving Object Database Using Timed Petri net Model

Implementation of a Real-Time Simulator for Dynamic Systems

Exponential stability of Petri net systems

WEB BASED SERVICE ROBOT

Automation Support for Concurrent Software Engineering