Presents a new structural induction theorem for rings consisting of identical components that
are modeled using a Petri net and a temporal logic formula. The theorem gives a condition …

The problem addressed in this paper is the following: how to use high-level Petri nets for the
reverse engineering of implemented distributed applications. The paper presents a reverse …

We present a structural induction theorem for rings consisting of an arbitrary number of
identical components. The components of a ring are modeled using a “fair Petri net,” in …

The Java object-oriented programming language has been the subject of an important
involvement from programmers and industry. Especially for applications related to the Web …

In this paper, we examine “program adjustment”, a formal and practical approach to
developing correct concurrent programs, by automatically adjusting an imperfect program to …

Quando especificando, concebendo e analizando sistemas complexos, e necessario adotar
uma methodologia composicional ou modular. Esta metodologia deve permitir ao projetista …

R esum e Nous pr esentons dans ce m emoire une m ethode de v erification et de synth ese
d'un r eseau de Petri relativement a une sp ecification logique temporelle. La v erification …

Net-Oriented Analysis and Design (NOAD) is defined as three items:(1) Various nets are
utilized as an effective modeling method.(2) Inter-relationships among verious nets are …

As redes de Petri tem se tornado uma ferramenta de grande utilidade para modelagem e
analise de Sistemas a Eventos Discretos. 0 uso da logica temporal para a especificagao de …

There exist a variety of system specification and modeling tools for systems analysis and
design which are essentially independent of one another. Although these tools are used for …