Event-Driven Simulation of Timed Petri Net Models
نویسنده
چکیده
A collection of software tools for analysis of timed Petri nets, known as TPN–tools, developed over a number of years, has been extended by a simulation tool, TPNsim. The paper gives a brief characterization of TPNsim, and discusses some implementation aspects in greater detail.
منابع مشابه
A Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملModeling and Analysis of Simultaneous Multithreading
In simultaneous multithreading, several threads can issue instructions in each processor cycle. A simple and versatile timed Petri net model of simultaneous multithreading is proposed and is used to compare the performance of architectures with and without simultaneous multithreading. Performance results are obtained by event-driven simulation of net models and are verified by state–space–based...
متن کاملPetri Nets and Timed Petri Nets in Modeling and Analysis of Concurrent Systems – An Overview
Petri nets are formal models of systems which exhibit concurrent activities. Communication networks, multiprocessor systems, manufacturing systems and distributed databases are simple examples of such systems. As formal models, Petri nets are bipartite directed graphs, in which the two types of vertices represent, in a very general sense, conditions and events. An event can occur only when all ...
متن کاملColoured Petri net scheduling models: Timed state space exploration shortages
The paper deals with the problem of timed state space generation and exploration in the frame of simulation–optimization pproach for discrete-event systems. Coloured Petri net representation of a system is considered and corresponding techniques f timed state space generation and timed simulation are addressed. It is shown that the established simulation techniques do not erform adequately in s...
متن کامل