Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Purpose–The purpose of this paper is to demonstrate that process verification has matured
to a level where it can be used in practice. This paper reports on new verification techniques …

This construction of reduced models preserves crucial dynamical properties of the original
model, including stable states and more complex attractors. In this respect, the relationship …

Cluster tools for some wafer fabrication processes such as low-pressure chemical vapor
deposition have strict wafer delay constraints. A wafer that completes processing in a …

A group of geographically dispersed and logically collaborated emergency organizations
are involved when emergency occurs. Two challenging issues are a reasonable emergency …

Context Collaborative systems enable multiple independent systems to work together
towards a common goal. These systems can include both human-system and system-system …

We present a new net-reduction methodology to facilitate the analysis of real-time systems
using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important techniques …

Despite their attractive properties, networked virtual environments (net-VEs) are notoriously
difficult to design, implement, and test due to the concurrency, real-time and networking …

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These
extensions can be used to model cancellation and blocking. A reset arc allows a transition to …

This paper introduces compositional time Petri net (CTPN) models. A CTPN is a
modularized time Petri net (TPN), which is composed of components and connectors. The …