Browsing by Subject "Asynchronous system"
Now showing items 1-3 of 3
-
A Fast Timing Separation of Events Algorithm for Concurrent Systems
(2019)In this work, we present a fast, polynomial time implementation of the Timing Separation of Events (TSE) Algorithm, with complexity O(E × (V+E). TSE computation is a fundamental problem in the analysis of event-driven, ... -
Graph-Based STA for Asynchronous Controllers
(2019)In this work, we present an Asynchronous Static Timing Analysis (ASTA) EDA methodology for cyclic, Asynchronous Control Circuits. Our methodology operates using Graph-based Analysis (GBA) principles, as conventional ... -
Linear Time S-Component Extraction for General Petri Nets
(2019)In this work, we present a linear time, S-component extraction algorithm capable of handling strongly connected, General Petri Nets. Most prior works have focused exclusively on Free-Choice or Extended Free-Choice Nets. ...