A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Performance Analysis of Shared-Memory Bus-Based Multiprocessors Using Timed Petri Nets
[chapter]
2018
Petri Nets in Science and Engineering
Preserved Fulltext
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]
2000
Hardware Design and Petri Nets
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Global Journal of Computer Sciences Theory and Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2011
Journal of computer and system sciences (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 7th international workshop on Software and performance - WOSP '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2020
Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1998
Performance Evaluation Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
1996
International journal of software engineering and knowledge engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2018
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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