Sabiia Seb
PortuguêsEspañolEnglish
Embrapa
        Busca avançada

Botão Atualizar


Botão Atualizar

Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido
Registros recuperados: 23
Primeira ... 12 ... Última
Imagem não selecionada

Imprime registro no formato completo
A Linear Logic Based Approach to Timed Petri Nets InTech
Norihiro Kamide.
1
Tipo: 10 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/a_linear_logic_based_approach_to_timed_petri_nets
Imagem não selecionada

Imprime registro no formato completo
An Inter-Working Petri Net Model between SIMPLE and IMPS for XDM Service InTech
Jianxin Liao; Yuting Zhang; Xiaomin Zhu.
In this chapter, with the procedure of Protocol Conversion Methodology, a Petri net model is constructed to verify the mapping and the Enhanced Architectural Model proposed in (Zhang, 2007), find and exclude the possible exceptions in the inter-working. After the strict mathematical analysis and verification for the model, which prove that the model meets all properties of a correct Petri net model, the mapping and the Enhanced Architectural Model are proved to be reasonable and viable, and the probable exceptions in the inter-working can be found and excluded. During the modeling experiences of the inter-working with Petri Nets, a new coupling criteria for Petri net and some new methods for solving the conflict of a Petri Net are proposed, and the...
Tipo: 4 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/an_inter-working_petri_net_model_between_simple_and_imps_for_xdm_service
Imagem não selecionada

Imprime registro no formato completo
Augmented Marked Graphs and the Analysis of Shared Resource Systems InTech
King Sing Cheung.
In the past decade, augmented marked graphs have evolved into a sub-class of Petri nets. They are often used for modelling shared resource systems, such as manufacturing systems. One major reason is that augmented marked graphs possess a special structure which is desirable for modelling shared resources. However, the properties of augmented marked graphs are not extensively studied. In the literature, there are a few published works on augmented marked graphs. This paper consolidates our earlier works on augmented marked graphs with a special focus on liveness, boundedness, reversibility and conservativeness. We provide a number of characterisations for live and reversible augmented marked graphs. In particulars, some of these characterisations are based...
Tipo: 17 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/augmented_marked_graphs_and_the_analysis_of_shared_resource_systems
Imagem não selecionada

Imprime registro no formato completo
Diagnosis of Discrete Event Systems with Petri Nets InTech
Dimitri Lefebvre.
The investigation of diagnosis methods for discrete event systems shows that Petri nets is efficient not only to model the considered systems but also to support the diagnosis methods. Several approaches can be used in order to check diagnosability, to select sensors and to work out diagnosers. The table 5 sums up the main characteristics of these method. As a conclusion it is important to notice the great effort, observed this last years to develop and improve diagnosis methods for DES. The strong connection with observation properties in automata and the use of advances in computer science like the coding theory have played an important role in that development. Now, the challenges are, from our
Tipo: 16 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/diagnosis_of_discrete_event_systems_with_petri_nets
Imagem não selecionada

Imprime registro no formato completo
Error Recovery in Production Systems: A Petri Net Based Intelligent System Approach InTech
Nicholas G. Odrey.
The work presented above essentially summarizes past and on-going work within the Industrial & Systems Engineering department at Lehigh University on "smart" systems. The research undertaken indicates a variable architecture and approach for such systems. Extensions to this work will incorporate stochastic implications, communications and negotiation strategies between agents, and further work on control nets and strategies. Hybrid nets such as the Petri ?Neural Net are of particular interest. The techniques integrated into this work in the future will be directed toward development of robust, reconfigurable, adaptable large scale systems. Applications are currently in production and logistic systems. Other applications are being pursued.
Tipo: 14 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/error_recovery_in_production_systems__a_petri_net_based_intelligent_system_approach
Imagem não selecionada

Imprime registro no formato completo
Estimation of Mean Response Time of Multi—Agent Systems Using Petri Nets InTech
Tomasz Babczyński; Jan Magott.
The approximation method of the mean response time for layered multi?agent system has been presented. This system has three layers of agents, namely, manager, bidder, and searcher type ones denoted by abreviations MTA, BTA, STA. After receiving a request from an user, the MTA sends the messages to the BTAs in order to inform them about the user request. After receiving a request from the MTA, the BTA sends the messages to all STAs co? operating with this BTA. In the communication, the time?out mechanisms are used. The STA prepares the response for the BTA by the Data Base (DB) searching. The probability of finding the response in the DB is denoted by f_rate. Searching time is expressed by uniform distribution over the time interval [0,b). Message...
Tipo: 15 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/estimation_of_mean_response_time_of_multi-agent_systems_using_petri_nets
Imagem não selecionada

Imprime registro no formato completo
Formalizing and Validating UML Architecture Description of Service-Oriented Applications InTech
Zhijiang Dong; Yujian Fu; Xudong He; Yue Fu.
In this paper, we proposed a method to use SO-SAM to formally specify service-oriented application architectures modeled by an extension of UML ? component and connector view. By doing so, we combine the benefit of UML ? easy to comprehend and extensive tools support, and the analyzability of SO-SAM. The cost of our methods mainly comes from three parts: the construction of algebraic specifications, the generation of algebraic high-level nets from statechart diagrams, and the creation of temporal formulas from sequence diagrams. Since an algebraic specification is used to model the implied information of statechart diagrams, generally speaking we can generate operation and sort definitions of an algebraic specification automatically, but not for the...
Tipo: 22 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/formalizing_and_validating_uml_architecture_description_of_service-oriented_applications
Imagem não selecionada

Imprime registro no formato completo
From Time Petri Nets to Timed Automata InTech
Franck Cassez; Olivier H. Roux.
In this chapter, we have presented time Petri Nets (TPNs) and a structural translation from TPNs to TA. Any TPN T and its associated TA (T ) are timed bisimilar. Such a translation has many theoretical implications. Most of the positive theoretical results on TA carry over to TPNs. The class of TPNs can be extended by allowing strict constraints (open, half-open or closed intervals) to specify the firing dates of the transitions; for this extended class, the following results follow from our translation and from Theorem 5: ? TCTL model checking is decidable for bounded TPNs. Moreover efficient algorithms used in U PPAAL (Pettersson and Larsen, 2000) and K RONOS (Yovine, 1997) are exact for the class of TA obtained with our translation; ? it is decidable...
Tipo: 11 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/from_time_petri_nets_to_timed_automata
Imagem não selecionada

Imprime registro no formato completo
Incremental Integer Linear Programming Models for Petri Nets Reachability Problems InTech
Thomas Bourdeaud'huy; Said Hanafi; Pascal Yim.
In this chapter, we present techniques for solving reachability problems in PN and TPN based on mathematical programming. The approach is based on an incremental search using step sequences that represent parallel and reentrant firings of transitions. The mathematical model used allows the formulation and verification of reachability-based analysis problems. Concerning PNs, we have proposed two formulations of the reachability problem, leading to integer and/or binary programming models. For each of them, we have developped some additional procedures, relaxation techniques and objective functions in order to improve the computational efficiency of the resolution. Numerical experiments have demonstrated the efficiency of our approach compared to standard...
Tipo: 18 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/incremental_integer_linear_programming_models_for_petri_nets_reachability_problems
Imagem não selecionada

Imprime registro no formato completo
Model Checking of Time Petri Nets InTech
Hanifa Boucheneb; Rachid Hadjidj.
In this chapter, we presented and discussed model checking techniques of time Petri nets. We pointed out some strategies which allow to make model checking techniques more efficient. For model checking LTL properties, we proposed a contraction for the state class
Tipo: 9 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/model_checking_of_time_petri_nets
Imagem não selecionada

Imprime registro no formato completo
Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets InTech
Latefa Ghomri; Hassane Alla.
Some extensions of PNs permitting HDS modeling were presented here. The first models to be presented are continuous PNs. This model may be used for modeling either a continuous system or a discrete system. In this case, it is an approximation that is often satisfactory. Hybrid PNs combine in the same formalism a discrete PN and a continuous PN. Two hybrid PN models were considered in this chapter. The first, called the hybrid PN, has a deterministic behavior; this means that we can predict the occurrence date of any possible event. The second hybrid PN considered is called the D-elementary hybrid PN; this model was conceived to be used for HPN controller synthesis. Controller synthesis algorithms consider the open system S and the specification on its...
Tipo: 6 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/modeling_and_analysis_of_hybrid_dynamic_systems_using_hybrid_petri_nets
Imagem não selecionada

Imprime registro no formato completo
Modelling and Analysis of Real-Time Systems with RTCP-Nets InTech
Marcin Szpyrka.
RTCP-nets are an adaptation of CP-nets to make modelling and verification of embedded systems easier and more efficient. Based upon the experience with application of CP-nets for embedded systems' modelling, some modifications were introduced in order to make timed CP-nets more suitable for this purpose. The main advantage of the presented formalism is the new time model. Together with transitions' priorities, the time model enable designers direct modelling of task priorities, timeouts, etc. that are typical for concurrent programming. The next advantage of RTCP-nets is the possibility of analysis of model properties with coverability graphs. Timed CP-nets can be also used to model embedded systems. A few different analysis methods have been proposed for...
Tipo: 2 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/modelling_and_analysis_of_real-time_systems_with_rtcp-nets
Imagem não selecionada

Imprime registro no formato completo
Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains InTech
Mariagrazia Dotoli; Maria Pia Fanti; Alessandro Giua; Carla Seatzu.
In this paper we focused our attention on a particular hybrid PN model called FOHPN, that is based on the fluidification of discrete PNs, and whose main feature is that the instantaneous firing speed of continuous transitions keeps constant during each macroperiod. In the first part of the paper we discuss in detail the advantages of fluidification, and provide a brief survey of the most important formalisms within the hybrid PN framework. Finally, we showed how FOHPNs can be efficiently used to model SC, and how interesting optimization problems can be solved via numerical simulation, by simply solving on-line a certain number of LPPs.
Tipo: 5 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/modelling_systems_by_hybrid_petri_nets__an_application_to_supply_chains
Imagem não selecionada

Imprime registro no formato completo
Music Description and Processing: An Approach Based on Petri Nets and XML InTech
Adriano Barate.
The author wants to acknowledge researchers and graduate students at LIM, and the members of the IEEE Standards Association WG on MX (PAR1599) for their cooperation and efforts. Special acknowledgments are due to: Denis Baggi, Goffredo Haus and Luca Andrea Ludovico for their invaluable work as working group chair, co-chair, and coordinator of the IEEE Standard Association WG on MX (PAR1599).
Tipo: 23 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/music_description_and_processing__an_approach_based_on_petri_nets_and_xml
Imagem não selecionada

Imprime registro no formato completo
On the Use of Queueing Petri Nets for Modeling and Performance Analysis of Distributed Systems InTech
Samuel Kounev; Alejandro Buchmann.
1
Tipo: 8 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/on_the_use_of_queueing_petri_nets_for_modeling_and_performance_analysis_of_distributed_systems
Imagem não selecionada

Imprime registro no formato completo
Petri Net Based Modelling of Communication in Systems on Chip InTech
Holger Blume; Thorsten von Sydow; Jochen Schleifer; Tobias G. Noll.
It is a key task of modern System-on-Chip (SoC) and Network-on-Chip (NoC) design to efficiently explore this design space regarding aspects like performance, flexibility and power consumption presumably in an early stage of the design flow in order to reduce design time and design costs. In this chapter several examples for modelling of on-chip communication using Petri Net based modelling techniques have been presented. These examples include modelling of internal processor communication and modelling of inter-processor communication using a crossbar switch fabric. For these examples deterministic and stochastic Petri Nets have been applied as modelling technique. More complex NoC communication has been modelled applying Coloured Petri Nets. The results...
Tipo: 3 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/petri_net_based_modelling_of_communication_in_systems_on_chip
Imagem não selecionada

Imprime registro no formato completo
Petri Net Transformations InTech
Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Claudia Ermel; Ulrike Prange; Enrico Biermann; Tony Modica.
The main idea of Petri net transformations is to extend the classical theory of Petri nets by a rule-based technique that allows to model the changes of the Petri net structure. There have been already a few approaches to describe transformations of Petri nets formally (e.g. in [2, 3, 31, 6, 32]). The intention has been mainly on reduction of nets to support verification, and not on the software development process as in our case. This use of transformations has been one of the main focus areas of the DFG-Research group Petri Net Technology. There are some large studies in various application areas as medical information
Tipo: 1 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/petri_net_transformations
Imagem não selecionada

Imprime registro no formato completo
Petri Nets for Component-Based Software Systems Development InTech
Leandro Dias da Silva; Kyller Gorgonio; Angelo Perkusich.
1
Tipo: 21 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/petri_nets_for_component-based_software_systems_development
Imagem não selecionada

Imprime registro no formato completo
Reliability Prediction and Sensitivity Analysis of Web Services Composition InTech
Duhang Zhong; Zhichang Qi; Xishan Xu.
In this paper, we introduce an approach to predict the reliability of Web services composition. We present the transformation algorithms from BPEL, which is the de facto industry standard of Web services composition specification, to CSPN models. Using the model, we can compute the reliability prediction of the web service composition. The major contribution of this paper is a reliability prediction technique that takes into account the structure of BPEL specification and the concurrent nature of service composition. For future work, we will transform all control-flow constructs of BPEL (including link, scope, faultHandler etc) into Petri nets. And we will use our CSPN model to give a more precise estimation of the reliability and performance of web...
Tipo: 20 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/reliability_prediction_and_sensitivity_analysis_of_web_services_composition
Imagem não selecionada

Imprime registro no formato completo
Scheduling Analysis of FMS Using the Unfolding Time Petri Nets InTech
Jong kun Lee; Ouajdi Korbaa.
In this paper, we focused on the analysis of a cyclic schedule for the determination of the optimal cycle time and minimization of WIP (Work In Process). Especially, this paper product ratio-driven FMS cyclic scheduling problem with each other products and ratios has been dealt. We proposed a model that has two jobs and two machines. And TPN slice and unfolding are applied to analyze this FMS model. We can divide original system into subsystem using TPN slice and change iterated cycle module into acyclic module without any other behavior properties. Specially, we simulated our approach with IBM PC windows 2000 using Visual C++, then our approach is faster than Korbaa's approach in the many resource shared. This means that the new approach is more useful to...
Tipo: 13 Palavras-chave: Petri Net; Theory and Applications.
Ano: 2008 URL: http://www.intechopen.com/articles/show/title/scheduling_analysis_of_fms_using_the_unfolding_time_petri_nets
Registros recuperados: 23
Primeira ... 12 ... Última
 

Empresa Brasileira de Pesquisa Agropecuária - Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área restrita

Embrapa
Parque Estação Biológica - PqEB s/n°
Brasília, DF - Brasil - CEP 70770-901
Fone: (61) 3448-4433 - Fax: (61) 3448-4890 / 3448-4891 SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional