Tarasyuk I. Iteration in discrete time stochastic Petri box calculus // Computer Science. — 2006 . — # 24.  — P. 129-148
Gribovskaya N. Virbitskaite I. Transition system semantics for flow event structures // Computer Science. — 2019 . — # 43.  — P. 21–38
Subscribe to transition systems