ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets

“…ExSpect [122] is another tool for CP-nets. The tool provides libraries of socalled building blocks that provide support for, e.g., creating message sequence charts and performance analysis.…”

Section: Resultsmentioning

confidence: 99%

“…The PN performance tools have long histories in supporting both analytic and simulationbased performance analysis using Petri nets. In addition to Design/CPN and CPN Tools, the ExSpect [122,43] and Artifex [7] tools also support simulation of CP-nets. As we have seen, it is possible to use CP-nets and simulation for performance analysis.…”

Section: Petri Nets For Performance Analysismentioning

confidence: 99%

See 1 more Smart Citation

Performance Analysis using Coloured Petri Nets

Wells

2002

DPB

View full text Add to dashboard Cite

Performance is often a central issue in the design, development, and configuration of systems. It is not always enough to know that systems work properly, they must also work effectively. There are numerous studies, e.g. in the areas of computer and telecommunication systems, manufacturing, military, health care, and transportation, that have shown that time, money, and even lives can be saved if the performance of a system is improved. Performance analysis studies are conducted to evaluate existing or planned systems, to compare alternative configurations, or to find an optimal configuration of a system. There are three alternative techniques for analysing the performance of a system: measurement, analytical models, and simulation models.This dissertation focuses on the the use of coloured Petri nets for simulationbased performance analysis of industrial-sized systems. Coloured Petri nets are particularly well suited for modelling and analysing large and complex systems for several reasons: they have an intuitive graphical representation; they are executable; hierarchical models can be constructed; it is possible to model the time used by different activities in a system; and mature and well-tested tools exist for creating, simulating, and analysing coloured Petri net models.The dissertation consists of two parts. Part II is composed of four individual papers and constitutes the core of the dissertation. All four papers have been published or accepted for publication as workshop papers. Part I is the obligatory overview paper with summarises the work that has been done. The overview paper introduces the research field of performance analysis using coloured Petri nets, and it summarises the contents and contributions of the four individual papers.The first paper presents an overview of improved facilities for performance analysis using coloured Petri nets. Personal experience has shown that people with different backgrounds have very different needs with regards to tools supporting simulation-based performance analysis. Inexperienced data analysts will have a tendency to believe what a tool tells them, therefore care must be taken to avoid generating misleading results. More experienced data analysts generally require that more sophisticated kinds of data are generated for specific purposes. The paper presents new performance-related facilities such as support for running multiple simulations, calculating confidence intervals, generating organised and systematic simulation output, simulating and comparing alternative system configurations, and variance reduction techniques.The second paper presents a framework for implementing monitoring facilities that observe, inspect, and control simulations of coloured Petri nets. During v the past decade, a number of libraries and tool extensions have been developed for tools supporting coloured Petri nets, including support for data collection, message sequence charts, updating domain-specific graphics, and communication between simulators and other processes. Whil...

show abstract

“…In this section, the authors want to raise the issue related to executable specification [54][55][56][57][58][59][60]. A graphical representation based on FIPN created in FIPN-SML allows the presentation of the control system behaviour, validation of this system before it is implemented, and clarification of the requirements (that may be initially unclear).…”

Section: Comparison To Related Workmentioning

confidence: 99%

A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems

Markiewicz

Gniewek

2017

Applied Sciences

View full text Add to dashboard Cite

Using Petri nets (PNs) to control discrete event systems (DES) has many benefits, because of their graphical representations, the possibility of parallel process control, and their formal descriptions. Amongst the different PNs that are applied for this purpose, most have some limitations for visualization. For many of these PNs, another restriction is the length of time between the creation of the control algorithm in the form of a graph and its practical implementation. These two issues can be resolved with one solution called fuzzy interpreted PN (FIPN). This article proposes the use of a program model based on FIPN to control DES and the method for generation of this model using the graphical representation of the net. FIPN offers a better visualization in comparison to discrete PNs and it allows for the quick creation of program code through the application of a simulator called FIPN-SML. This computer tool implements a method that transforms the graphical form of FIPN into Structured Text (ST) language supported by the IEC 61131-3.

show abstract

ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets

Cited by 29 publications

References 2 publications

The effectiveness of workflow management systems: Predictions and lessons learned

The effectiveness of workflow management systems: Predictions and lessons learned

Performance Analysis using Coloured Petri Nets

A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems

Contact Info

Product

Resources

About