This paper presents an ARENA®-based library for the development of Timed Colored Petri Net (TCPN) models. In this way, the strengths of Petri Nets and Discrete Event Simulation (DES) are combined in a powerful tool for modeling and analysis of systems. The use of the library is illustrated on a cosmetics manufacturing facility in Bogotá (Colombia). This facility was modeled via both TCPNs and a...

As a benchmark circuit for timed asynchronous circuit verification, we have developed an abstracted version of TITAC 2 instruction cache sub-system and its formal specification. This document shows all the figures of the gate level sub-circuits which compose the abstracted instruction cache. A time Petri net model for the formal specification is also shown with the detailed explanation. The tex...

This paper describes how to apply timed Petri nets and existing production data to the modelling 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 management systems. We describe a method for using these data to algorithmically build a Petri-net model. The approach was implemented in th...

A discrete event system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Place-transitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets that model discrete ev...

1 Semantics for timed Petri nets used in case study 5 model An (untimed) Petri net 6] is deened by the triple (P; T; F) with P a nite set of places, T a nite set of transitions, P \T = ;, and F (P T)(T P) a set of relations. The state of the untimed Petri net is the marking m : P ! Z + , assigning to each place p the number of tokens m(p) present in the place p: The set t := fp 2 P j (p; t) 2 F...

Model-Based Testing is an automated test approach used for automated test generation, execution, and evaluation. For this purposes, it uses a formal model of system behavior. In this paper, an advanced variant of Petri net is presented as a tool for description of the systems under test. Petri nets have been selected for their graphical and executable nature and for the ability to describe para...

Time and Petri nets-do they not contradict each other? While time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and represent events as a concurrent system. At first, these two appear to be at odds with each other, but taking a closer look at how time and causality are intertwined, one realizes that time actually enriches Petri nets. Th...

This paper presents an efficient method to derive the first passage time of an extended stochastic Petri net by simple algebraic operations. The reachability graph is derived from an extended stochastic Petri net, and then converted to a timed stochastic state machine which is a semi-Markov process. The mean and the variance of the first passage time are derived by algebraic manipulations with ...

A queuing system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Placetransitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to queuing systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets, where now the timing at which the st...

Petri Nets (PNs) is a well suited formalism to model and analyze parallel and distributed discrete event dynamic systems. Provided with adequate timed interpretation, PNs allow to build performance models in which true concurrence can be described together with synchronization and sharing phenomena. This survey paper gives a fast overview of some major topics related to net performance models, ...