An extreme-scale implicit solver for complex PDEs: highly heterogeneous flow in earth's mantle

J Rudi, ACI Malossi, T Isaac, G Stadler… - Proceedings of the …, 2015 - dl.acm.org
Mantle convection is the fundamental physical process within earth's interior responsible for
the thermal and geological evolution of the planet, including plate tectonics. The mantle is …

Applying Petri nets to requirements validation

JR Silva, EA Dos Santos - IFAC Proceedings Volumes, 2004 - Elsevier
Abstract Mechatronics and Information Systems can be assumed as complex, and thus have
a prohibitive cost for adjustments out of the specification phase. This emphasizes the early …

[PDF][PDF] Introducing object-orientation in unified petri net approach

JR Silva, J Miralles, AO Salmon… - Proceedings of the 20th …, 2009 - abcm.org.br
Since the beginning of this century two major tendencies in the state-of-art of Petri Nets
emerged: one is the confirmation of Petri Nets as a sound formalism to model several …

Fuzzy continuous resource allocation mechanisms in workflow management systems

JC Jeske, S Julia, R Valette - 2009 XXIII Brazilian Symposium …, 2009 - ieeexplore.ieee.org
In this paper, an approach based on a fuzzy hybrid Petri net model is proposed to solve the
resource allocation problem of Workflow Management Systems. Initially, an ordinary Petri …

[PDF][PDF] Formal verification of safety control system based on GHENESYS NET

RC Ferrarezi, RS Júnior, JAL Souza… - … Conference on Circuits …, 2014 - inase.org
Systems, the current industrial standards, and the possible negative impacts on the human
being, on the environment and on equipment in case of faults, the development of control …

[PDF][PDF] Towards a modeling discipline for building and residence automation

JR Silva, MA Poli, PA Restrepo - ABCM Symposium Series in …, 2004 - academia.edu
Building and residence automation, specially the first, is a promising area of research and
business since the beginning of the 90 s. However only part of the features envisaged have …

[PDF][PDF] A Framework for Modeling and Formal Verification of SIS Control Programs Based on the IEC61511 Standard

RC Ferrarezi, RS Júnior, JAL Souza, JR Silva… - academia.edu
As productive systems are becoming more complex, their control solutions are also
increasingly becoming more complex. The processes of understanding and developing …

FRAMEWORK PARA O DESENVOLVIMENTO DE PROGRAMAS DE CONTROLES DE SIS BASEADO NA NORMA IEC 61511

RC Ferrarezi, R Squillante Júnior… - Blucher …, 2015 - proceedings.blucher.com.br
Devido à alta complexidade dos sistemas produtivos atuais, o desenvolvimento de soluções
de controle apropriadas de acordo com as normas industriais, os possíveis impactos …

Design of Aircraft Circuit Modelling Based on Treble Transitions Petri Nets

JJ Chen, ZM Wang - Advanced Materials Research, 2012 - Trans Tech Publ
This paper presents an approach to modeling aircraft airline maintenance circuit through a
particular Petri Nets structures, called Treble transitions Petri Nets. In order to meet the …

[PDF][PDF] IMPROVING AUTO-ID VALUE GENERATION WITH INFORMED PROCESS BASED ON PETRI NETS

J Tavares, JR Silva - academia.edu
There are a lot of Companies working to find high return of investment related with AUTO-ID
technology implementation. Thisll remain an obstacle until these Companies change their …