Based on mm-max systems theory, min-max algebra is used to capture both AND and XOR logic in workflow diagrams with queueing.

• 摘要基于极大代数方法，描述一类具有排队现象的工作流图中AND和XOR的时间逻辑关系。