How to model a mixed sequential/non-sequential system