I detta dokument definieras åtgärdsmärkta kvantitativa övergångssystem som en allmän ram för att kombinera kvalitativ och kvantitativ analys. Vi definierar state-metrics som en naturlig utvidgning av bisimulation från icke-kvantitativa system till kvantitativa. Vi bevisar sedan att varje enskilt tillstånd motsvarar en bisimulering och att det största tillståndet motsvarar tvåsimilaritet. Dessutom ger vi två utvidgade exempel som visar att våra resultat gäller både probabilistiska och viktade automata som specialfall av åtgärdsmärkta kvantitativa övergångssystem.
Ref övervägde en mer allmän ram, kallad åtgärdsmärkta kvantitativa övergångssystem (AQTS).
Metrics for Action-labelled Quantitative Transition Systems
{'venue': 'Electr. Notes Theor. Comput. Sci.', 'journal': None, 'mag_field_of_study': ['Computer Science']}