Portal de Periódicos da CAPES

Abstract State Machines: a unifying view of models of computation and of system design frameworks

2004; Elsevier BV; Volume: 133; Issue: 1-3 Linguagem: Inglês

10.1016/j.apal.2004.10.007

1873-2461

Egon Börger,

Petri Nets in System Modeling

We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis for a comparative study. 1 1 Helmut Schwichtenberg gewidmet, dem Freund und Kollegen seit der gemeinsamen Studienzeit in Münster.