An extension of Petri nets called evaluation nets (E-nets) has been developed for use in
representation of computer systems. These lead to interpreted graphs for use in human …

In the first section we make some remarks (without going into any details) about the main
application fields of graph grammars to motivate their investigation. In section 2 and 3 we …

We have developed a Generalized Timed Petri Net (GTPN) model for evaluating the
performance of computer systems. Our model is a generalization of the TPN model …

Numerous modeling approaches exist to formally describe protocols such as: state
machines, Petri nets, abstract data types, high level languages, temporal logic. This paper …

A methodology for the statement of timing requirements is presented for a class of
embedded computer systems. The notion of a" time-driven" system is introduced which is …

After a brief introduction to the theory of Petri nets, the ECMA transport protocol is presented.
Then a model of the connection and disconnection phases is developed. Properties of …

Petri nets are a versatile modeling device for studying the structure and control of concurrent
systems. Petri nets and related graph models have been used for modeling a wide variety of …

Solutions to the duplicate database update problem are considered, and a formal validation
technique using the theory of L systems is developed and applied to the problem. The paper …

A three-layer model of a computer network is used to introduce the concept of interface and
of end-to-end protocols. Using a simple interface protocol as example, finite state automaton …

A model for representing and analyzing the design of a distributed software system is
presented. The model is based on a modified form of Petri net, and enables one to represent …