Hanna Klaudel, Franck Pommereau:
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.
33-55 BibTeX
Oscar Garnica, Juan Lanchares, Román Hermida:
Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation.
155-174 BibTeX
Marta Pietkiewicz-Koutny:
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems.
175-203 BibTeX
Fei Xia, Ian G. Clark:
Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis.
205-222 BibTeX
Wlodzimierz M. Zuberek:
Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems.
223-241 BibTeX
