Keywords: سیستم های انتقال برچسب شده; Choice-freeness; Labelled transition systems; Petri nets; Synthesis;
مقالات ISI سیستم های انتقال برچسب شده (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم های انتقال برچسب شده; Labelled transition systems; Simulation; Weak simulation; Relational presheaves; Category theory
Characterisation of the state spaces of marked graph Petri nets
Keywords: سیستم های انتقال برچسب شده; Labelled transition systems; Marked graphs; Petri nets; Region theory; System synthesis;
A unified rule format for bounded nondeterminism in SOS with terms as labels
Keywords: سیستم های انتقال برچسب شده; Rule formats; Bounded nondeterminism; Structural operational semantics; Labelled transition systems;
A formal model for service-oriented interactions
Keywords: سیستم های انتقال برچسب شده; Conversational protocols; Formal methods; Labelled transition systems; Orchestration; Service-oriented computing; Temporal logic
Predictability of Sequence Patterns in Discrete Event Systems
Keywords: سیستم های انتقال برچسب شده; Labelled Transition Systems; Sequence patterns; Prediction
Distributed On-the-Fly Equivalence Checking
Keywords: سیستم های انتقال برچسب شده; Bisimulation; boolean equation systems; labelled transition systems; distributed equivalence checking;