Timed Petri nets can be used for the modeling and analysis of a wide range of concurrent discrete-event systems, e.g. production systems. This paper describes how to apply production management data and timed Petri nets to the modeling of production systems. Information about the structure of a production facility and about the products that can be produced is usually given in production-data m...

A MATLAB toolbox has been developed to handle the basic problems of discrete event dynamical systems that are modeled by Petri nets. In the Petri Net Toolbox five types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic), with finite or infinite capacity, can be used. A user-friendly graphical interface allows activating three simulation modes (accompan...

We present a definition for a generic Time Petri net class covering most Time Petri net types known to the community. Due to the generic approach presented in this paper, the proposed syntax may as well be used as a proposal for an expression syntax of High-level Petri nets. Furthermore we present an implementation of translations between different Statically Timed Petri nets based on the prese...

Timed Petri net models of multithreaded ... (January 31, 1997) 2

In this paper, the performance evaluation of CEBus protocol using Stochastic Timed Petri Nets is proposed. The aim of this paper is to present the model and the performance evaluation of CEBus protocol based on three priority by Stochastic Timed Petri Nets. For this, modular and composite Petri Nets models of CEBus protocol are proposed. For the performance evaluation, Stochastic Timed Petri Ne...

Generalized Stochastic Petri nets (GSPNs) comprise two types of transitions: timed and immediate. Since ring of immediate transitions has priority on ring of timed transitions several properties of the underlying Petri net need not be valid for the GSPN. This article proves that liveness and the existence of home states of equal connict nets, a generalisation of extended free choice nets, carry...

Topics: higher-level net models, timed and stochastic nets. Abstract System analysis is often done due to qualitative and quantitative aspects. Queueing networks and Petri nets are suitable and wide spread model worlds for such a form of analysis, because for both a well founded theory exists. The problem is that Petri nets and queueing networks are only suitable for qualitative analysis resp. ...

In the core of every theory of systems lies a notion of equivalence between systems: it indicates which particular aspects of systems behaviors are considered to be observable. In concurrency theory, a variety of observational equivalences has been promoted, and the relationships between them have been quite wellunderstood. In order to investigate the performance of systems (e.g. the maximal ti...

TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verification module translates timed-arc Petri net models into networks of timed automata and uses the UPPAAL engine for the automatic analysis. We report on the status of the first release of TAPAAL (available at www.tapaal....