Introdução

Cardoso, Lucileide Costa; Cardoso, Célia Costa

doi:10.7476/9788523220044.0001

Cited by 4 publications

(8 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In order to analyze a marked PN it is necessary to verify the good properties, such as: Reachability, Liveness and Boundedness [11][12][13]. The method proposed by [11][12][13] to verify the good properties is based on the analysis by markings enumeration, checking if the PN is limited by the reachability tree building and then the design of the accessible markings graph in order to validate if the graph is strongly connected, in other words if all the nodes in pairs are connected by a path is possible to evaluate if the PN is resettable which means that the PN is capable of recovering from disruptive operating events, such as: interruptions by the operator or by the safety device. The vivacity is evaluated when it is possible to access every part of the PN without any type of blockage [10].…”

Section: International Journal Of Advanced Engineering Research and Science (Ijaers)mentioning

confidence: 99%

“…In this way it is possible to state that this marked PN modeling of the automated test system for mobile phone battery is limited if it falls within the first good property, because if all the positions of a RP are k-bound, then the network is k-limited, being a safe PN if it is k-bounded with k = 1 according to [10]. Following the enumeration marking analysis , since the marked network is limited, the second and third part of the analysis is to build the accessible markings graph as shown in the figure 11, in order to verify and certify that the graph is strongly connected [13], since there is a path between the initial marking M0 and any marking Mj belonging to the graph vectors, in this way for all accessible markings there must be at least one tagged transition enabling the progress of the transition states. Thus, the marked PN has Liveness, since it is capable of recovering from operation disturbing events, such as interruptions by the operator or safety device [10] and also has a Boundedness characteristic, since all parts of the PN are accessible and it is ensured that there will be no blockage.…”

Section: Pn Development -Full Modelmentioning

confidence: 99%

See 1 more Smart Citation

Petri net Modelling of the Automatic Test System for Mobile Phone Battery

Oliveira¹,

Leite²,

Valda³

et al. 2019

IJAERS

View full text Add to dashboard Cite

Considering recent cases of mobile device battery incidents widely reported in the news and the internet, more and more companies are looking to develop not only safer and more reliable products, but also robust and automated manufacturing processes, seeking greater reliability and efficiency. Thus, the purpose of this research is to model a mobile phone battery test automation system using the Petri Nets (PN) graph and mathematics tool to automate the dipole alignment, voltage test and internal resistance, anode and cathode battery terminal cut, visual inspection of these and battery thickness selection in a mobile phone battery production line of a company in the Industrial Pole of Manaus (PIM). The Visual Object Net ++ v2.7a software was used for PN modeling and the present research is structured in detailed description of the automatic system components, flowchart, modeling and PN analysis. Considering this as a Discrete Event System (DES), the PN showed that it is fu lly possible to model the Automatic Testing System for Mobile Phone Battery. It was also demonstrated that the PN analysis by the mark enumeration method, through the coverage tree building and accessible markings graphs that the system has good properties of Reachability, Liveness and Boundedness, being fundamental in PN. It was also possible to verify that using this tool it is possible to obtain a high level of understanding of real progress and evolution of the system through the dynamic visualization of graphs related to the DES.

show abstract

Section: International Journal Of Advanced Engineering Research and Science (Ijaers)mentioning

confidence: 99%

Section: Pn Development -Full Modelmentioning

confidence: 99%

Petri net Modelling of the Automatic Test System for Mobile Phone Battery

Oliveira¹,

Leite²,

Valda³

et al. 2019

IJAERS

View full text Add to dashboard Cite

show abstract

“…Esta técnica admite a representação clara e compilada das funções e do desenvolvimento dos processos, proporcionando a caracterização da dinâmica do sistema, bem como a realização das táticas de controle. A rede de Petri é ideal para a caracterização de sistemas com processos concorrentes, não sincronizados, paralelos e distribuídos [9][10][11].…”

Section: Introductionunclassified

Fire Fighting System Modeling in Oil and Gas Waterway Terminal Based on Colored Petri Nets

Valda¹,

Leite²,

Almeida³

et al. 2017

ITEGAM- Journal of Engineering and Technology for Industrial Applications (ITEGAM-JETIA)

View full text Add to dashboard Cite

Modeling, as a means of analysis of safety systems, as well as industrial processes and related purposes, meets the demand for suitable methods. The present work aims to evaluate an adherence of the concepts of modeling and Petri nets applied to the logic and interlock strategies of a Fire Fighting System (FFS). For this purpose, a real installation was used to acquire the information, which was an Oil & Gas Waterway Terminal, located in the municipality of Coari in the State of Amazonas, Brazil, which receives, stores and disposes of oil and liquefied petroleum gas (LPG). The analysis models and the interlocking strategies are validated with the use of the Petri nets, where are the patterns of systems to discrete events, through a method of analysis in which all the paths and states that the modeled system are simulated It can obtain, to allow from this model to study and evaluate possibilities of improvement of the system.

show abstract

“…O nível mais baixo de abstração de um HDL é o estrutural, que consiste em uma representação do circuito semelhante a um netlist de portas lógicas ou de switches [35]. Esse nível de abstração é formado por dois subníveis: switches e unidades lógicas, respectivamente.…”

Section: Níveis De Abstração Hdlunclassified

“…Antes de descrever as fases do fluxo de projeto é necessário destacar que o conjunto de ferramentas de software associado a um fluxo de projeto provê ao desenvolvedor um nível de abstração que o permite focar no algoritmo a ser desenvolvido, ao invés de se preocupar com os circuitos que serão implementados. Dessa forma, a programação do dispositivo pode ser feita através de uma linguagem de programação (VHDL) ou mesmo através de modelagem de sistemas [35]. As empresas fabricantes de FPGA geralmente disponibilizam ferramentas para fazer a modelagem do sistema.…”

Section: Fluxo De Projeto Para Fpgaunclassified

Plataforma em hardware reconfiguravel para o ensino e pesquisa em laboratorio de sistemas digitais a distancia

Moreira¹,

Arantes²

View full text Add to dashboard Cite

Esta dissertação apresenta a concepção e o desenvolvimento de uma plataforma em hardware reconfigurável denominada REDLART -REconfigurable Digital Laboratory for Advanced Research and Teaching, visando soluções de laboratório a distância aplicadas ao ensino e ao trabalho colaborativo em sistemas digitais. A plataforma é baseada em dispositivos FPGA (Field Programmable Gate Array) para desenvolvimento de circuitos digitais com aplicações em processamento digital de sinais, sistemas de comunicações digitais, sistemas de controle e áreas afins. Além da plataforma de hardware, também foi concebida e implementada uma arquitetura de sistema, composta por um conjunto de softwares cliente-servidor, com o objetivo de viabilizar o acesso remoto através da gerência e da configuração de experimentos desenvolvidos na REDLART. Tal sistema, incluindo a própria REDLART, possibilita o desenvolvimento de novos experimentos e sua disponibilização na Web, resultando em um WebLab reconfigurável para sistemas digitais. Testes foram realizados em nível de hardware e software para a validação da plataforma.

show abstract

Introdução

Cited by 4 publications

References 0 publications

Petri net Modelling of the Automatic Test System for Mobile Phone Battery

Petri net Modelling of the Automatic Test System for Mobile Phone Battery

Fire Fighting System Modeling in Oil and Gas Waterway Terminal Based on Colored Petri Nets

Plataforma em hardware reconfiguravel para o ensino e pesquisa em laboratorio de sistemas digitais a distancia

Contact Info

Product

Resources

About