Filters








54,787 Hits in 4.8 sec

Performance Analysis of Shared-Memory Bus-Based Multiprocessors Using Timed Petri Nets [chapter]

Wlodek M. Zuberek
2018 Petri Nets in Science and Engineering  
This chapter uses timed Petri nets to model shared-memory bus-based multiprocessors at the instruction execution level and shows how the performance of processors and the system are affected by different  ...  Discrete-event simulation of the developed net models is used to get performance results.  ...  0.3846 0.3846 0.9 0.8 0.4763 0.4762 0.9 0.9 0.5255 0.5263 Performance Performance Analysis of Shared-Memory Bus-Based Multiprocessors Using Timed Petri Nets http://dx.doi.org/10.5772  ... 
doi:10.5772/intechopen.75589 fatcat:d3ao5fctinhahohd3psnetvyke

Performance Analysis of Dataflow Architectures Using Timed Coloured Petri Nets [chapter]

B. R. T. M. Witlox, P. van der Wolf, E. H. L. Aarts, W. M. P. van der Aalst
2000 Hardware Design and Petri Nets  
We present an approach to model dataflow architectures at a high level of abstraction using timed coloured Petri nets.  ...  Because our aim is to use the models for performance analysis, we focus on representing the timing and communication behaviour of the architecture rather than the functionality.  ...  We propose to use timed coloured Petri nets to model datafiow architectures at a high level of abstraction for performance analysis.  ... 
doi:10.1007/978-1-4757-3143-9_14 fatcat:l6gdfvr3jnbcvowlsp46j5cywu

Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language

Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Dario Serey Guerrero
2005 Electronical Notes in Theoretical Computer Science  
The timing strategy of the proposed extension, called RPOOt, is based on the timing strategy from the Timed Coloured Petri nets formalism.  ...  In this paper we propose a timed extension for RPOO, a Petri-net based object-oriented modeling language.  ...  Currently, RPOO uses Coloured Petri nets (CP-nets [9] ) for describing its classes.  ... 
doi:10.1016/j.entcs.2005.03.011 fatcat:3gdbuptgkvfhtmjvk6rco3hkrq

Performance analysis of software maintenance process using stochastic Petri nets

Muhammad Nabeel, Zeeshan Anwar, Ali Ahsan
2018 Global Journal of Computer Sciences Theory and Research  
Keywords: Generalised stochastic Petri nets (GSPN), GSPN analysis, performance evaluation, performance modelling, software maintenance process, stochastic Petri nets.  ...  We used PIPE2 to analyse the GSPN. PIPE2 calculates average number of tokens on a place in the GSPN, throughput of timed transition and state space analysis.  ...  Petri nets Petri nets are successful, because they use theoretical characteristics for precise modelling and analysis of system behaviour.  ... 
doi:10.18844/gjcs.v8i1.3285 fatcat:ku5xnhs76jadldmlf3536vm7bm

Page 1047 of The Journal of the Operational Research Society Vol. 53, Issue 9 [page]

2002 The Journal of the Operational Research Society  
Performance analysis using stochastic Petri nets. JEEE Trans Computers C-31: 913-917. Ajmone Marsan M, Conte G and Balbo G (1984).  ...  Performance and dependability evaluation of manufacturing systems using Petri nets.  ... 

Model interoperability via Model Driven Development

Mohamed A. Ameedeen, Behzad Bordbar, Rachid Anane
2011 Journal of computer and system sciences (Print)  
Petri Nets on the other hand have a strong mathematical basis that are well suited for formal analysis; they lack however the appeal and the ease-of-use of UML.  ...  Petri Nets.  ...  , behavioural and performance analysis using Petri Net tools such as PIPE and CPNTools.  ... 
doi:10.1016/j.jcss.2010.01.011 fatcat:3gljhlewbrfhngefft3gdnyrtm

Petri nets approach for designing the migration process towards industrial cyber-physical production systems

Ana Cachada, Flavia Pires, Jose Barbosa, Paulo Leitao
2017 IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society  
This paper describes the use of Petri nets to design the migration process under the PERFoRM perspective, taking advantage of its inherent capabilities to design, analyze, simulate and validate such complex  ...  PERFoRM project focuses the conceptual transformation of existing production systems towards plug&produce ones to achieve flexible and reconfigurable manufacturing environments.  ...  Quantitative Analysis The quantitative analysis is related to the simulation of the temporized Petri nets models by performing the token-game, which requires the association of the time parameter to the  ... 
doi:10.1109/iecon.2017.8216591 dblp:conf/iecon/CachadaPBL17 fatcat:ie4vdqzb2bcyxgsvtyqd2tzoje

Experimentation and output interchange for petri net models

Marc Melia, Catalina M. Llado, Connie U. Smith, Ramon Puigjaner
2008 Proceedings of the 7th international workshop on Software and performance - WOSP '08  
Petri nets are different from the other paradigms, however, because they provide additional representation and analysis capabilities in addition to performance analysis.  ...  The viability of the approach is demonstrated with a case study carried out using PIPE2 (Platform Independent Petri net Editor 2) with an experimental framework.  ...  On the other hand, TimeNet (TIMEd Net Evaluation Tool) [5, 20], a tool for modelling and analysis of stochastic Petri nets uses an xml based format for the specification of the nets that defines the specifications  ... 
doi:10.1145/1383559.1383576 dblp:conf/wosp/MeliaLSP08 fatcat:bnniq77mprhopfros53x7z43da

An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net

Tanuja Shailesh, Ashalatha Nayak, Devi Prasad
2020 Computers  
In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model.  ...  Mostly performance analysis is performed after the system development but an early stage analysis and validation of performance using system models can improve the system quality.  ...  Preliminaries Timed Petri Net In this section, we present the definition, theories, and analysis methods for Timed Petri nets used in subsequent parts of this paper.  ... 
doi:10.3390/computers9040094 fatcat:u32zum3t7nfs7lpnrptrp7xplq

Modelling with Generalized Stochastic Petri Nets

M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis
1998 Performance Evaluation Review  
Book description (from the cover): This book presents a unified theory of Generalized Stochastic Petri Nets (GSPNs) together with a set of illustrative examples from different application fields.  ...  The continuing success of GSPNs and the increasing interest in using them as a modelling paradigm for the quantitative analysis of distributed systems suggested the preparation of this volume with the  ...  Introduction Petri nets and their properties Time in Petri nets Petri nets with priority GSPN basics Analysis of GSPN models GSPN representation of Phase-Type distributions Modelling flexible manufacturing  ... 
doi:10.1145/288197.581193 fatcat:aoiswp3oibfelirgnigmmaguxm

SPECIFICATION AND ANALYSIS OF REAL-TIME SYSTEMS USING CSP AND PETRI NETS

KRISHNA M. KAVI, FREDERICK T. SHELDON, SHERMAN REED
1996 International journal of software engineering and knowledge engineering  
In doing so, we translate a CSP-based specification into a Petri net which is analyzed to predict system behavior in terms of reliability and performability as a function of observable parameters (e.g.  ...  An example translation is given (in addition, some general examples of CSP -> Petri net translations can be viewed in Appendix A).  ...  Stochastic Analysis. Using conventional techniques or stochastic Petri net tools (e.g., SPNP), discrete and continuous analyses can be performed.  ... 
doi:10.1142/s0218194096000119 fatcat:5it32jkpxbb4hlqtdmldzfo7fm

Performance Analysis of Distributed Internet System Models using QPN Simulation

Tomasz Rak
2014 Proceedings of the 2014 Federated Conference on Computer Science and Information Systems  
From many possible methods we have selected Queueing Petri Nets consisted of two classes of formal models (Queuing Nets and Petri Nets).  ...  In the paper web systems are modeled by Queueing Petri Nets tool. The paper includes the selected results of models simulation. Our approach predicts the performance of distributed Internet system.  ...  Petri Net cannot be used for a quantitative analysis due to lack of time aspects.  ... 
doi:10.15439/2014f366 dblp:conf/fedcsis/Rak14 fatcat:in5pfybrevcnhi4qyyalpvuuca

Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets [chapter]

Shabnam Pasandideh, Luis Gomes, Pedro Maló
2018 IFIP Advances in Information and Communication Technology  
Petri nets models, augmented with dynamic time dependencies associated with transitions, are applied in a case study, and validated as a promising tool for modelling and analysis of these kind of systems  ...  This paper presents a Petri nets based strategy supporting behavioural modelling as well as performance analysis of Cyber-Physical-Social Systems (CPSSs) covering uncertainty situations when the social  ...  Petri nets Petri nets (PN) are a graphical and mathematical modelling formalism, which are proper for analysis of behavioural properties and performance evaluation of discrete event systems [4] .  ... 
doi:10.1007/978-3-319-78574-5_8 fatcat:rimvcfglcnc3tieyxfs7uqjw7y

Distributed Collaborative Simulation Control Model Based on Pertri Net

2016 Revista Técnica de la Facultad de Ingeniería Universidad del Zulia  
After the Petri net is decomposed, each subnet is used as a federal member, then, the complex system modeling and simulation method of Petri network based on HLA is designed by using the HLA technology  ...  and the matrix model of Petri nets.  ...  In the time series analysis modeling of collaborative design, (Li, 2015) uses the time delay Petri net modeling method to analyze the time domain problem of the real time parallel process.  ... 
doi:10.21311/001.39.3.35 fatcat:tkhm4xtqezh4zblobi5l3rywqe

Petri Net-based System Modelling for Performance Analysis of Reconfigurable Soft-core Processor using FPGA

R. Maheswari, V. Pattabiraman
2016 International Journal of Technology  
This work proposes an analytic performance model using Petri Nets (PN) for a Reconfigurable OR1200 (ROR1200) soft-core processor with model validation and verifications.  ...  By modeling the ROR1200 system using Petri Nets, both behavioral and structural properties existing in parallel systems were analyzed.  ...  The Petri Net model is well suitable for both qualitative (time-less) and quantitative (time-dependent) analysis modeling (Monika et al., 1997) .  ... 
doi:10.14716/ijtech.v7i6.1959 fatcat:xrtzs6gwsbf23i3crvh6kmofn4
« Previous Showing results 1 — 15 out of 54,787 results