We sketch a setup in which transition systems are generated from graph grammars and
subsequently checked for properties expressed in a temporal logic on graphs. We envisage …

In numerous security scenarios, given a sequence of logged activities, it is necessary to look
for all subsequences that represent an intrusion, which can be meant as any “improper” use …

The purpose of this paper is to present the PLATUS simulation environment. PLATUS allows
the formal modeling of control systems using graph grammars. In PLATUS, control systems …

In this paper we show that true concurrency is not the same as interleaving concurrency for
systems that allow read-access. More precisely, whenever two actions are interleavingly …

Specification techniques like Petri nets allow for the formal description and analysis of
systems. Although tool support exists for many different Petri net classes and tasks, a …

Visual modeling techniques including UML as well as graph and net based techniques are
of growing interest for software system speci cation and development. The GenGEd …

Analisando-se a literatura de simulação discreta pode-se observar que os autores, em
geral, constroem seus modelos de simulação baseados em abordagens tradicionais e …

Formal specification techniques like Petri nets allow for the formal description and analysis
of systems. Tool support exists for many different Petri net classes for editing, simulating and …

Automating software engineering activities for developing safety-critical systems reliably and
correctly brings along the challenge to combine expressive specification methods with …

In this paper we present an approach that uses a formal specification formalism, namely
graph grammars, to describe simulation models. The construction of the models is based on …