Petri net models are useful tools for the modelling of discrete event systems and hybrid systems. This paper is about the parameters estimation for two classes of timed PN: Ttimed Petri nets and continuous Petri nets with variable speeds. The parameters to be estimated are either incidence, either temporal parameters. Data based and model based methods are proposed. In each case, on line and of...

In this paper a flexible manufacturing system is investigated where the production process is accomplished in two main stages: machining and assembling. For Modeling of the system the timed Petri net is used. The minimum time requirement for completing the machining is discussed so that assembling the parts would be performed at the possible least time. Scheduling the manufacturing system is pe...

Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equivalence. Thus we propose an extension of timed Petri nets with read-arcs (RA-TdPN), whose coverability problem is decidable. We also show that this model unifies timed Petri nets and timed automata. Then, we establish nu...

Abstract: Aero-engines maintenance procedure can be treated as a typical discrete event dynamic system. A theory that synthesized timed colored Petri net is proposed. The theory adopts a bottom-up approach by merging all sub modules, and each one characterizes the critical resource contention among processes. Nevertheless Petri net seems inapplicable to dynamic scheduling modelling because of i...

This paper presents an efficient method to evaluate the performance 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, using a semi-Markov process. The n-th moments of the performance index are derived by algebraic manipulations with each of the n-th ...

Testing requirements in the earlier stages of system design is a necessary step in system development. Mobile TV system has been in the spotlight due to widespread use of smart devices. Nowadays, most people in public transportation watch TV programs on their smartphones. However, this activity consumes a lot of smartphone battery power. The solution to this problem can be a cloud-based mobile ...

In timed Petri nets temporal properties are associated with transitions as transition firing times (or occurrence times). Specific properties of timed nets, such as boundedness or absence of deadlocks, can depend upon temporal properties and sometimes even a small change of these properties has a significant effect on the net’s behavior (e.g., a bounded net becomes unbounded or vice versa). The...

Asynchronous circuits have experienced a resurgence due to potential advantages to low-power and high-speed design. The timed signal transition graph model, an interpreted Petri net, is a formal specification that is capable to characterize the temporal behavior of asynchronous circuits by utilizing interval delays. However asynchronous circuits are prone to metastability, which may subside aft...

The paper discusses and illustrates by examples the role of Petri net (PN) models in the analysis and design of flexible manufacturing systems (FMSs). Qualitative techniques use untimed PN models in developing control strategies that ensure good behavioral properties of FMSs. Timed PN models serve for a refined approach where quantitative information is incorporated in the model. The case study...

In this paper, we propose a modeling tool named QCPN (Queueing Colored Petri Net). The main idea of this tool is to combine the original CTPN (Colored Timed Petri Net) with the queueing systems. With QCPN model, we can predict the delivery date of any specific product under some scheduling policies eflcientfy and rather precisely. In the scheduling phase. we use the GA based approach to search,...