Coupling asynchrony and interrupts: Place Chart Nets | Publicación