Petri net
A Petri net model of granulomatous inflammation: implications for IL-10 mediated control of Leishmania donovani infection.
... Experimental visceral leishmaniasis, caused by infection of mice with the protozoan parasite Leishmania donovani, is characterized by focal accumulation of inflammatory cells in the liver, forming discrete ‘‘granulomas’’ ...
13
Stimulation of medical decision expert system by using of time color Petri net method
... In this research, we stimulated the hospital environment and designed hospital expert system by using of time color Petri net and presenting of new form in this method. Knowledge management technology in an ...
6
Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems
... of Petri net models with time-domains is proposed, supporting the verification of distributed GALS ...of Petri nets with time-domains. As the state-space generation of Petri nets with ...
162
PETRI NET MODEL DECOMPOSITION - A Model Based Approach Supporting Distributed Execution -
... whole Petri net system model it is possible to obtain a set of components (characterized as sub-models) through the partitioning of the Petri net model (this is the task where the works ...
167
A stochastic colored Petri net model to allocate equipments for earth moving operations
... With regard to the applicability of the proposed model, the following comments can be made. Although the Petri nets theory is based on a complex mathematical background, using an already established model is not a ...
15
Service-oriented SCADA and MES Supporting Petri nets based Orchestrated Automation Systems
... the Petri net (PN) theory tailored for control and automation purposes ...to Petri net models, such as deadlock-freeness, sequential and parallel mutual exclusion relationships, cyclic and ...
7
Formal Speci fication of a Self-sustainable Holonic System for Smart Electrical Micro-grids
... Abstract Stand-alone micro-grids have emerged within the smart grids field, facing important challenges related to their proper and efficient operation. An example is the self-sustainability when the micro-grid is ...
12
Specification of a Device Interface for Service-Oriented Automation Control Components
... sub- Petri net that can invoke production automation operations, by calling the functions provided by the device interface, namely the functions included in the variable handling, program handling and ...
6
Ruben Miguel Álvaro de Lima
... The aim of this work is to create a Web-based Waveform Editor and Viewer for digital controllers specified with Input-Output Place-Transition Petri net (IOPT) models. After an analysis of the available ...
183
UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE ENGENHARIA MECÂNICA 2017
... de Petri proposto por [1] em que possibilita, além da identificação do produto, realizar uma atualização do estado do item com relação ao processo esperado em tempo ...de Petri em questão foi denominada ...
85
ÁRVORE DE CARACTERÍSTICAS E REDES DE PETRI COLORIDA COM EXPRESSÕES DE LÓGICA PROPOSICIONAL: PROPOSTAS DE MODELAGEM DE REQUISITOS E FLUXO DE NAVEGAÇÃO
... Requirement analysis usually consists of experts ’ad hoc prepositions, however, the key character that holds the knowledgement about the domain to be developed, usually does not understand the language of specialists. ...
103
REDUÇÃO AUTOMATIZADA DE REDES DE PETRI BASEADA EM ALGORITMOS GENÉTICOS
... Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property ...Place-Transition ...
131
Reduction of by-catch and discards in the Algarve small-scale coastal fishery using a modified monofilament trammel net
... Conducting net damage assessment gave some insight on the possibility as to why there was a significant reduction in sole species caught in the greca trammel ...modified net with the majority in the greca ...
88
Comparação de técnicas de redes de Petri na descrição de um pipeline
... de Petri (RdP) ¶e uma ferramenta gr¶a¯ca e matem¶atica que se adap- ta bem a um grande n¶umero de aplica»c~oes em que as no»c~oes de eventos e de evolu»c~oes simult^aneas s~ao importantes ([Cardoso e Valette, ...
87
Radiation balance of coffee hedgerows
... the net radiation measurements in 2002, daily sap flow of the four encompassed plants was determined by the stem heat balance method (Sakuratani, 1981; Baker & Van Bavel, 1987), as described by Marin ...the ...
8
Distúrbios psíquicos menores em enfermeiros docentes de universidades.
... Distúrbios psíquicos menores em enfermeiros docentes de universidades.. Juliana Petri Tavares 1.[r] ...
8
Steffen Hoernig Marc Bourreau Carlo Cambini
... Often, …xed-line incumbents also own the largest mobile network. We consider the e¤ect of this joint ownership on market outcomes. Our model predicts that while …xed-to-mobile call prices to the integrated mobile network ...
26