transition systems

I. Anureev Conceptual transition systems // System Informatics. — . — # 5.  — P. 1-38
I. Anureev Formalisms for conceptual design of information systems // System Informatics. — . — # 8.  — P. 53-88
I. Anureev Kinds and language of conceptual transition systems // System Informatics. — . — # 5.  — P. 55-74
N. Gribovskaya I. Virbitskaite Partial Orders in Transition Systems from Resolvable Conflict Event Structures // System Informatics. — . — # 20.  — P. 1-24
N. Garanina I. Anureev V. Zyubin A. Rozov T. Liakh S. Gorlatch Reasoning about Programmable Logic Controllers // System Informatics. — . — # 17.  — P. 33-42
N. Gribovskaya I. Virbitskaite Transition Systems from Casual Reversible Prime Event Structures // System Informatics. — . — # 24.  — P. 59-90
Subscribe to transition systems