12 results on '"net theory"'
Search Results
2. Petri net tool overview 1992
- Author
-
Feldbrugge, Frits, Goos, Gerhard, editor, Hartmanis, Juris, editor, and Rozenberg, Grzegorz, editor
- Published
- 1993
- Full Text
- View/download PDF
3. Petri net tool overview 1989
- Author
-
Feldbrugge, Frits, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rozenberg, Grzegorz, editor
- Published
- 1990
- Full Text
- View/download PDF
4. S-CORT®: A method for the development of electronic payment systems
- Author
-
Hildebrand, Theodor, Trèves, Nicolas, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rozenberg, Grzegorz, editor
- Published
- 1990
- Full Text
- View/download PDF
5. Risk factors for the transmission of infectious diseases agents at the wild birds -commercial birds interface. a pilot study in the region of the altos de Jalisco, Mexico
- Author
-
Hector Enrique Valdez-Gomez, Roberto Navarro-Lopez, Laureano Fidelmar Vazquez-Mendoza, Mitzunari Zalapa-Hernandez, Ignacio Guerrerro-Hernandez, Victoria Fonseca-Delgado, Miguel Angel Marquez-Ruiz, and Claudio L. Afonso
- Subjects
0301 basic medicine ,03 medical and health sciences ,Veterinary medicine ,030104 developmental biology ,General Veterinary ,interactions ,environnements ,abondance ,oiseaux sauvages ,théorie de réseaux ,Forestry ,Biology ,environments ,abundance ,wild birds ,net theory - Abstract
The Altos de Jalisco region in west central Mexico is the location of the largest concentration of poultry farms. This district has witnessed the emergence of Low Pathogenic H5N2 and the Highly Pathogenic H7N3 Influenza viruses. Eighty counting stations along a 50 km corridor were designated in five ecological environments from water bodies to poultry production facilities. The survey, implemented from fall 2014 to winter 2015, identified 82 species of wild birds where the family Icteridae comprised the most abundant group. A network-theory model provided a value of interaction among the wild bird species in these five environments. The highest ranked species corresponded to the Mexican Great-tailed Grackle and the Barn Swallow ; making those potential hosts for disease transmission of pathogens in the wild bird-poultry interface in the region of Jalisco. These interactions are likely to positively correlate with increased risk factors., Facteurs de risque pour la transmission d’agents de maladies infectieuses dans l’interface oiseaux sauvages -oiseaux commerciaux. étude préliminaire dans la région des altos de Jalisco, Mexique. La région des Altos de Jalisco au Mexique qui se trouve dans la zone centre-occidentale du pays, correspond à la plus grande concentration des fermes avicoles. Ce secteur a été le témoin de l’émergence des virus influenza faiblement pathogène H5N2 et hautement pathogène H7N3. Quatre-vingts points d’évaluation le long d’un couloir de 50 kilomètres ont été réalisés dans cinq environnements écologiques des corps d’eau voisins aux installations productives de volaille. L’enquête, mise en application de l’automne 2014 à l’hiver 2015, a identifié 82 espèces d’oiseaux sauvages où la famille Icteridae a constitué le groupe le plus abondant. Un modèle de théorie des réseaux a fourni une valeur d’interaction parmi les espèces sauvages d’oiseaux dans ces cinq environnements. Les espèces avec les valeurs d’interaction plus hautes ont correspondu au Quiscale à longue queue et à l´Hirondelle rustique permettant de suspecter ces deux espèces en tant que responsables potentiels dans la transmission des agents pathogènes infectieux dans l’interface oiseau sauvages-oiseaux commerciaux dans cette région de Jalisco. Ces interactions permettent de suspecter une corrélation positive avec les facteurs de risque., Valdez-Gomez Hector Enrique, Navarro-Lopez Roberto, Vazquez-Mendoza Laureano Fidelmar, Zalapa-Hernandez Mitzunari, Guerrerro-Hernandez Ignacio, Fonseca-Delgado Victoria, Marquez-Ruiz Miguel Angel, Afonso Claudio L. Risk factors for the transmission of infectious diseases agents at the wild birds -commercial birds interface. a pilot study in the region of the altos de Jalisco, Mexico . In: Bulletin de l'Académie Vétérinaire de France tome 170 n°2, 2017. pp. 142-150.
- Published
- 2017
- Full Text
- View/download PDF
6. Modeling and Analysis of the Behavior of Information Systems.
- Author
-
Lausen, Georg
- Subjects
- *
MANAGEMENT information systems , *FLOW charts , *PETRI nets , *SOFTWARE engineering , *NETS (Mathematics) - Abstract
Many widely used specification techniques for information systems are based on a hierarchy of information flow diagrams. A method is introduced which preserves the benefits of these techniques and adds the precision of the Petri net formalism. To this end information flow diagram hierarchies are formalized by notions of net theory. The bottom-level nets of a hierarchy are treated as Petri nets. The behavior model of the information system is the Petri net derived by repeatedly replacing each part of a net by its associated refinement. As a prerequisite for such replacements, the data abstractions relating information flows of different level are specified by a semantic hierarchy data model. The nets in the hierarchy are appended by dynamic counterparts of the abstractions such that a consistent replacement becomes possible. For behavior analysis, the interface behavior of the nets in the hierarchy is analyzed. As formal measure for correct interface behavior the concept of behavior constraints is introduced. The behavior model can be derived in an iterative bottom-up way by first analyzing a net for fulfillment of its associated behavior constraint and afterward integrating it into the next higher level net. [ABSTRACT FROM AUTHOR]
- Published
- 1988
- Full Text
- View/download PDF
7. Why is Time not included in Modern Theories of Memory?
- Author
-
Arcaya, Jose M.
- Abstract
This paper challenges a central tenet of most traditional theories of memory, namely, that memory is stored materially in the brain. Arguing that the storage hypothesis makes any contact with the real past impossible (since the transcendent experience of remembering is presumed to arise from purely present physical processes), it goes on to critique mainstream explanations of memory by noting that their plausibility ultimately rests upon an indefensible homuncular explanation of consciousness. Suggested instead is a phenomenological explanation of remembering rooted in E. Husserl's theory of temporality. This immanent-structural model of time is contrasted with the spatial-linear account of temporality underlying practically all traditional theories of memory. The paper then goes on to give a phenomenological account of the recollective process itself. Finally, the theoretical and research implications of this alternative view of memory for the field of psychology are discussed. [ABSTRACT FROM PUBLISHER]
- Published
- 1992
- Full Text
- View/download PDF
8. Behavioural notions for elementary net systems.
- Author
-
Nielsen, M., Rozenberg, G., and Thiagarajan, P.
- Abstract
We study the relationships between a number of behavioural notions that have arisen in the theory of distributed computing. In order to sharpen the under-standing of these relationships we apply the chosen behavioural notions to a basic net-theoretic model of distributed systems called elementary net systems. The behavioural notions that are considered here are trace languages, non-sequential processes, unfoldings and event structures. The relationships between these notions are brought out in the process of establishing that for each elementary net system, the trace language representation of its behaviour agrees in a strong way with the event structure representation of its behaviour. [ABSTRACT FROM AUTHOR]
- Published
- 1990
- Full Text
- View/download PDF
9. Petri net tool overview 1986
- Author
-
Feldbrugge, Frits, Jensen, Kurt, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Reisig, W., editor, and Rozenberg, G., editor
- Published
- 1987
- Full Text
- View/download PDF
10. A causal semantics for time Petri nets
- Author
-
Johan Lilius and Tuomas Aura
- Subjects
Optimization problem ,Linear constraints ,General Computer Science ,Semantics (computer science) ,Process (computing) ,Static timing analysis ,Petri net ,Net (mathematics) ,Theoretical Computer Science ,Set (abstract data type) ,Processes ,Timing analysis ,Bijection ,Net theory ,Partial order semantics ,Algorithm ,Mathematics ,Computer Science(all) - Abstract
The objective of this work is to give time Petri nets a partial order semantics, akin to the nonsequential processes of untimed net systems. To this end a time process of a time Petri net is defined as a traditionally constructed causal process with a valid timing. A timing is a labelling that attaches occurrence times to the events of the process that must satisfy specific validness criteria. The main result of the paper is the bijective correspondence between firing schedules (the classical interleaving semantics of time Petri nets) and linearizations of time processes. The result shows that time processes correctly represent the behavior of the system. Using the definition of validness, an efficient algorithm for checking validness of given timings is derived. Also a sufficient condition is given for when the invalidity of timings for a process can be inferred from its initial subprocess. To compute, e.g. the maximum time separation between two events in a time process an alternative characterization of validness is developed. This definition is used to derive an algorithm for constructing the set of all valid timings for a process. The set of valid timings is presented as sets of alternative linear constraints, which can be used in optimization problems. It is shown that the existence of a valid timing for a given process can be decided in NP time.
- Published
- 2000
- Full Text
- View/download PDF
11. Redes de transformação do processo de inovação: o caminho entre a descoberta e a comercialização
- Author
-
Vitoreli, Marinez Cristina [UNESP], Universidade Estadual Paulista (Unesp), and Gobbo Junior, José Alcides [UNESP]
- Subjects
Aprendizagem organizacional ,Open innovation ,Conhecimento - Teoria das redes ,Net theory ,Enterprise and organization nets ,Inovação ,Innovation ,Inovation models in nets - Abstract
Made available in DSpace on 2014-06-11T19:26:16Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-12-16Bitstream added on 2014-06-13T19:33:50Z : No. of bitstreams: 1 vitoreli_mc_me_bauru.pdf: 589676 bytes, checksum: cef1a3d0e23c4926909d7576a6ecc20b (MD5) Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) A importância da prática de inovação, por parte das empresas, já está evidente na literatura (FREEMAN, 1982; HINDMOON, 2008; TAALITA et al., 2006), como um mecanismo eficiente no que diz respeito ao seu desenvolvimento, crescimento e lucratividade. Assim, o principal desafio passa a ser como praticar a inovação, e não mais em relação à sua importância. Neste contexto, a literatura (CALIA, 2007; BRITTO, 2002; TERRA; PLONSK, 2006; AMATO NETO, 2005) parece indicar que as redes surgem como uma forma de viabilização das inovações, podendo oferecer as condições necessárias ao seu desenvolvimento. Desta forma, a presente pesquisa tem como objetivo central um aprofundamento na compreensão das redes de transformação. Essas redes são as responsáveis por auxiliar na interligação entre as redes de exploração (criação do conhecimento) e as redes de aplicação (aplicação e utilização do conhecimento). Buscar-se ainda identificar possíveis práticas e ferramentas presentes nas redes de transformação que possam acelerar o processo de inovação. A abordagem metodológica utilizada foi o estudo de caso, realizado em duas empresas do setor químico do interior do estado de São Paulo. Os estudos de caso apresentados foram analisados, segundo o modelo de processo de inovação em redes proposto por Gobbo Júnior e Olsson (2010), que descrevem os tipos de redes abertas, fechadas e de transformação, bem como identificam os tipos de atores presentes na interface entre as redes de exploração e aplicação, sugerindo que a inovação é um processo em rede que ocorre em sentido horário ao modelo apresentado. As pesquisas realizadas nas duas empresas corroboraram com os dados apresentados pelo modelo de inovação proposto por Gobbo Júnior e Olsson (2010), em que foi possível identificar não apenas os atores presentes nas redes de exploração e aplicação, mas também os... The importance of innovation practice by enterprises is already evident in literature (FREEMAN, 1982, HINDMOON, 2008; TAALITA et al., 2006), as an efficient mechanism concerning its development, growt and profit. then, the main challenge is how to practice such innovation, and not its importance anymore. In this context, the literature (CALIA, 2007; BRITTO, 2002; TERRA; PLONSK, 2006; AMATO NETO, 2005), seem to indicate that the networks seem to arise as the feasibility of the innovations offering suitable conditions for its development. In this way, the current research aims mainly to go deeper into the network transformation and comprehension. These networks are responsible for the interlink support, among the network exploration (the knowledge creation), and the network applying (applying and use of knowledge). Yet, it is searched how to identify possible practices and tools in the network transformation, which may accelerate the innovation process. The approach methodology used was a case study help in two interprises in the chemical field within Sao Paulo state. The case studies were examined according to the innovation process model in networks, proposed by Gobbo Junior and Olsson (2010), which describes the types of external, closed and network transformation, and identify the types of actors in the interface between the network exploration and innovation as well, occurring articlockwise compared to the shown model. The two researches help in both enterprises corroborated with data pointed out by the innovation model offered by Gobbo Junior and Olsson (2010), making it possible to identify not only the actors in the exploration and innovation networks but also the intermediate actors related to the process. It was also possible to identify the path of the innovation process in networks by such actors. In the first case, it is was the enterprise which moved along the network, while ... (Complete abstract click electronic access below)
- Published
- 2010
12. Petri Net Tool Overview 1986
- Author
-
Jensen, Kurt, Feldbrugge, Frits, Brauer, W., Reisig, W., and Rozenberg, G.
- Subjects
computer aided design ,net theory ,tools ,Petri Nets ,simulation - Abstract
This paper provides an overview of the characteristics of all currently available net based tools. It is a compilation of information provided by tool authors or contact persons. A concise one page overview is provided as well.
- Published
- 1987
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.