WorkFlow nets
Modelagem e Análise de Vídeo Games baseadas em WorkFlow nets e Grafos de Estado
... denominado WorkFlow net, para especiĄcar cenários existentes em um ...uma WorkFlow net representa o Ćuxo de atividades que deve ser executado pelo jogador a Ąm de alcançar um objetivo especíĄco no jogo, sem ...
99
Uma Metodologia baseada na Lógica Linear para Análise de Processos de Workflow Interorganizacionais
... Uma WorkFlow net Interorganizacional, do inglês IOWF-net, é uma rede de Petri que modela um processo de workĆow ...é, WorkFlow nets locais, do inglês ...a WorkFlow net interorganizacional ...
184
O ES DE DEADLOCK EM WORFLOW NETS INTERORGANIZACIONAIS
... das WorkFlow nets ´e a Soundness, que ´e um crit´erio importante a ser satisfeito quando se trata de processos de ...as WorkFlow nets, podem ser facilmente provadas quando os processos de ...
185
Uma abordagem para a Modelagem, Análise e Simulação de processos de negócios interorganizacionais baseada nas WorkĆow nets e na ferramenta CPN Tools
... a WorkFlow net Interorganizacional que são usadas para modelar os processos de Workflow interorganizacionais considerados nesta ...várias WorkFlow nets. Ou seja, as WorkFlow nets ...
71
WORKFLOW NET POSSIBIL´ISTICA PARA PROBLEMAS DE N ˜ A O CONFORMIDADE EM PROCESSOS DE NEG ´ O CIOS
... Cugola et al., em [33] e [34], definem um modelo baseado em l´ogica temporal e m´aquina de estados finitos para capturar e tolerar desvios no processo durante a execu¸c˜ao. Para os autores, um processo ´e correto se ...
101
DNA qualification workflow for next generation sequencing of histopathological samples.
... Although a number of studies have compared different DNA extraction and qualification methods, each one only partially covered the topic of DNA qualification, concentrating mainly on the extraction step [11,14–17]. When ...
8
Almadrava: men and sea. Social relationship in a short-term community
... the nets, cables, floating buoys and iron anchors were handled, in the access between the sheds and the warehouse, which was the ideal location to control all the works in the ...
11
Load Balancing in Partner-Based Scheduling Algorithm for Grid Workflow
... Abstract—Automated advance reservation has the potential to ensure a good scheduling solution in computational Grids. To improve global throughput of Grid system and enhance resource utilization, workload has to be ...
10
Agregação e integração de informação para apoio a processos organizacionais : modelos e ferramentas
... Assim sendo, pretende-se que estas duas áreas de trabalho: sistemas de informação e comunicações unificadas, sejam preferencialmente usadas pelos gestores de área e gestores de projecto, que poderão aqui criar novas ...
135
A comunicação interna na perspectiva da avaliação institucional em universidades no Rio Grande do Sul
... 129 Workflow Management Systems (WfMS) trata do aspecto operacional de um processo de trabalho quanto às estruturas/organização das tarefas, quem as executa, qual a sua ordem relativa [r] ...
265
A interação entre sistemas de informação e o trabalho no setor bancário no Brasil: uma análise estruturalista
... Os sistemas dos dois bancos operam com base num workflow, que incorpora a entrada da proposta de solicitação de crédito pelos usuários da rede de agência, a análise, automatiza[r] ...
192
ETL systems modelling with Coloured Petri Nets
... The places Audit Table 1,2 and 3 are used to model the audit tables of three different relations in the operational sources and receive tokens representing the final audit r[r] ...
123
Drawing and use of auxiliary projection nets
... Given, thus, a small circle of coordinates a (distance to the center, in degrees) and D (angle Allowing that, obviously, the calculations for the drawing of both the equatorial circle an[r] ...
17
A utilização de sistemas groupware/workflow para suportar o desenvolvimento de software em equipa
... Os sistemas de workflow dinâmicos são adequados para aplicações em que a especificação do processo é frequentemente alterada ou o processo é pouco estruturado. Este tipo de modelação adequa-se ao suporte ao ...
123
A Process Calculus for Expressing Finite Place/Transition Petri Nets
... In this section, we present some results about the net semantics we have defined. First we give a sound- ness result, namely that the interleaving marking graph associated to Net(p) for any Multi-CCS term p is bisimilar ...
15
ANDIA – MINAS GERAIS – BRASIL Universidade Federal de Uberlˆ andia - UFU Setembro de 2007
... Segundo Veloso [32], a m´etrica absAlloc pode ser adaptada caso o sistema de workflow n˜ao suporte alguns parˆametros. Por exemplo, se na modelagem dos pro- cessos n˜ao existirem restri¸c˜oes especificadas, basta ...
83
Estudo comparativo entre diferentes modelos de organização de acervos de dados eletrônicos.
... CONTEÚDOS NA WEB: Sítios de Busca, a exemplo de Yahoo, Google, agregadores de URL, dentre outros.. APLICAÇÕES : Servidores de Aplicação, Web Services; MQSeries, Workflow; etc[r] ...
19
Set Covering Problem in Transport Nets Expanding Models
... Our task is to decide which localities should be used to operate the utility centres in order to cover each customer by at least one centre and the total cost related t[r] ...
6
Efeito do ácido gálico sobre a apoptose e formação de NETs de neutrófilos
... The NETs are abundant in inflamed sites, as found in patients with appendicitis, preeclampsia and to infection by Streptococcus ...of NETs and components of NETs in autoimmune diseases such as small ...
64