Semenov, Koelmans, Lloyd, Yakovlev, 1997. Designing an asynchronous processor using Petri nets 17.. https://doi.org/10.1109/40.592316