O Professor Setembrino Petri, especialista nas áreas de Paleontologia e Estratigrafia, foi um dos maiores geocientistas do Brasil. Nascido em 25 setembro 1922 na cidade Amparo, faleceu 1 março 2023, São Paulo.A maior parte sua carreira científica desenvolveu-se Universidade Paulo, onde consagrado como professor emérito no Instituto Geociências, tendo publicado mais uma centena artigos livros so...

This paper deals with the modelling of batch systems by means of high-level Petri nets. Batch systems are systems that transform a continuous raw material through continuous equipment (as heat exchanger for example) and batch equipment (for instance, batch reactor). These systems are frequently used by chemical of food industry. Batch systems deal with concurrent activities and resource allocat...

The problem of finite completeness of categories of Petri nets is studied. Since Petri nets have finite products, the problem reduces to the issue of the existence of equalizers. We show that the categories of Petri nets with general and Winskel morphisms do not admit equalizers, and hence are not finitely complete. An important class of multiplicative Petri net morphisms is also identified. Th...