Computing Optimal Coverability Costs in Priced Timed Petri Nets

We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints on the ages of tokens. Our cost model assigns token storage costs per time unit to places, and firing costs to transitions. We study the cost to reach a given control-state. In general, a cost-optimal run may not exist. However, we show that the infimum of the costs is computable.Comment: 26 pages. Contribution to LICS 201

Petri Nets with Time and Cost

We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints on the ages of tokens. Our cost model assigns token storage costs per time unit to places, and firing costs to transitions. We study the cost to reach a given control-state. In general, a cost-optimal run may not exist. However,we show that the infimum of the costs is computable.Comment: In Proceedings Infinity 2012, arXiv:1302.310

Priced Timed Petri Nets

We consider priced timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints on the ages of tokens. Furthermore, our cost model assigns token storage costs per time unit to places, and firing costs to transitions. This general model strictly subsumes both priced timed automata and unbounded priced Petri nets. We study the cost of computations that reach a given control-state. In general, a computation with minimal cost may not exist, due to strict inequalities in the time constraints. However, we show that the infimum of the costs to reach a given control-state is computable in the case where all place and transition costs are non-negative. On the other hand, if negative costs are allowed, then the question whether a given control-state is reachable with zero overall cost becomes undecidable. In fact, this negative result holds even in the simpler case of discrete time (i.e., integer-valued clocks).Comment: 51 pages. LMCS journal version of arXiv:1104.061

Identification of Stochastic Timed Discrete Event Systems with st-IPN

[EN] This paper presents amethod for the identification of stochastic timed discrete event systems, based on the analysis of the behavior of the input and output signals, arranged in a timeline. To achieve this goal stochastic timed interpreted Petri nets are defined.These nets link timed discrete event systems modelling with stochastic time modelling. The procedure starts with the observation of the input/output signals; these signals are converted into events, so that the sequence of events is the observed language. This language arrives to an identifier that builds a stochastic timed interpreted Petri net which generates the same language. The identified model is a deterministic generator of the observed language.The identification method also includes an algorithm that determines when the identification process is over.This work was supported by a Grant from the Universidad del Cauca, reference 2.3-31.2/05 2011.Muñoz-Añasco, DM.; Correcher Salvador, A.; García Moreno, E.; Morant Anglada, FJ. (2014). Identification of Stochastic Timed Discrete Event Systems with st-IPN. Mathematical Problems in Engineering. 2014:1-21. https://doi.org/10.1155/2014/835312S1212014Cassandras, C. G., & Lafortune, S. (Eds.). (2008). Introduction to Discrete Event Systems. doi:10.1007/978-0-387-68612-7Yingwei Zhang, Jiayu An, & Chi Ma. (2013). Fault Detection of Non-Gaussian Processes Based on Model Migration. IEEE Transactions on Control Systems Technology, 21(5), 1517-1526. doi:10.1109/tcst.2012.2217966Ichikawa, A., & Hiraishi, K. (s. f.). Analysis and control of discrete event systems represented by petri nets. Lecture Notes in Control and Information Sciences, 115-134. doi:10.1007/bfb0042308Fanti, M. P., Mangini, A. M., & Ukovich, W. (2013). Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches. IEEE Transactions on Automation Science and Engineering, 10(2), 392-404. doi:10.1109/tase.2012.2203596Cabasino, M. P., Giua, A., & Seatzu, C. (2010). Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, 46(9), 1531-1539. doi:10.1016/j.automatica.2010.06.013Hu, H., Zhou, M., Li, Z., & Tang, Y. (2013). An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems. IEEE Transactions on Automation Science and Engineering, 10(3), 772-782. doi:10.1109/tase.2012.2201714Hu, H., Zhou, M., & Li, Z. (2011). Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets. IEEE Transactions on Automation Science and Engineering, 8(4), 794-804. doi:10.1109/tase.2011.2156783Hiraishi, K. (1992). Construction of a class of safe Petri nets by presenting firing sequences. Lecture Notes in Computer Science, 244-262. doi:10.1007/3-540-55676-1_14Estrada-Vargas, A. P., López-Mellado, E., & Lesage, J.-J. (2010). A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems. Mathematical Problems in Engineering, 2010, 1-21. doi:10.1155/2010/453254Shaolong Shu, & Feng Lin. (2013). I-Detectability of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering, 10(1), 187-196. doi:10.1109/tase.2012.2215959Li, L., & Hadjicostis, C. N. (2011). Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets With Unobservable Transitions. IEEE Transactions on Automation Science and Engineering, 8(2), 394-403. doi:10.1109/tase.2010.2070065Supavatanakul, P., Lunze, J., Puig, V., & Quevedo, J. (2006). Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem. Control Engineering Practice, 14(6), 609-619. doi:10.1016/j.conengprac.2005.03.028Dotoli, M., Fanti, M. P., & Mangini, A. M. (2008). Real time identification of discrete event systems using Petri nets. Automatica, 44(5), 1209-1219. doi:10.1016/j.automatica.2007.10.014Chen, Y., Li, Z., Khalgui, M., & Mosbahi, O. (2011). Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. IEEE Transactions on Automation Science and Engineering, 8(2), 374-393. doi:10.1109/tase.2010.2060332Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. doi:10.1109/5.24143Ramirez-Trevino, A., Ruiz-Beltran, E., Aramburo-Lizarraga, J., & Lopez-Mellado, E. (2012). Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 42(2), 416-429. doi:10.1109/tsmca.2011.2169950Ramirez-Trevino, A., Ruiz-Beltran, E., Rivera-Rangel, I., & Lopez-Mellado, E. (2007). Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach. IEEE Transactions on Automation Science and Engineering, 4(1), 31-39. doi:10.1109/tase.2006.872120Toutenburg, H. (1974). Fleiss, J. L.: Statistical Methods for Rates and Proportions. John Wiley & Sons, New York-London-Sydney-Toronto 1973. XIII, 233 S. Biometrische Zeitschrift, 16(8), 539-539. doi:10.1002/bimj.19740160814Livingston, E. H., & Cassidy, L. (2005). Statistical Power and Estimation of the Number of Required Subjects for a Study Based on the t-Test: A Surgeon’s Primer. Journal of Surgical Research, 126(2), 149-159. doi:10.1016/j.jss.2004.12.013Ruppert, D. (2011). Statistics and Data Analysis for Financial Engineering. Springer Texts in Statistics. doi:10.1007/978-1-4419-7787-

An integrated approach for remanufacturing job shop scheduling with routing alternatives.

Remanufacturing is a practice of growing importance due to increasing environmental awareness and regulations. However, the stochastic natures inherent in the remanufacturing processes complicate its scheduling. This paper undertakes the challenge and presents a remanufacturing job shop scheduling approach by integrating alternative routing assignment and machine resource dispatching. A colored timed Petri net is introduced to model the dynamics of remanufacturing process, such as various process routings, uncertain operation times for cores, and machine resource conflicts. With the color attributes in Petri nets, two types of decision points, recovery routing selection and resource dispatching, are introduced and linked with places in CTPN model. With time attributes in Petri nets, the temporal aspect of recovery operations for cores as well as the evolution dynamics in cores\u27 operational stages is mathematically analyzed. A hybrid meta-heuristic algorithm embedded scheduling strategy over CTPN is proposed to search for the optimal recovery routings for worn cores and their recovery operation sequences on workstations, in minimizing the total production cost. The approach is demonstrated through the remanufacturing of used machine tool and its effectiveness is compared against another two cases: baseline case with fixed recovery process routings and case 2 using standard SA/MST

Time Analysis of the State Space of Real-time Preemptive Systems

We present in this paper an algorithm making it possible an efficient time analysis of the state space of preemptive real time systems modeled using Time Petri Nets with inhibitor arcs. For this effect, we discuss how to determine from the reachability graph linear and quantitative properties of the remote model. Then, we propose an algorithm to compute an approximation of the minimal and the maximal time distances of any firing sequence. Contrarily to other techniques, our algorithm enjoys a linear complexity time cost and can be performed on the fly when building the reachability graph without requiring to extend the original model with observers

A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants.

This article presents an optimization methodology of batch production processes assembled by shared resources which rely on a mapping of state-events into time-events allowing in this way the straightforward use of a well consolidated scheduling policies developed for manufacturing systems. A technique to generate the timed Petri net representation from a continuous dynamic representation (Differential-Algebraic Equations systems (DAEs)) of the production system is presented together with the main characteristics of a Petri nets-based tool implemented for optimization purposes. This paper describes also how the implemented tool generates the coverability tree and how it can be pruned by a general purpose heuristic. An example of a distillation process with two shared batch resources is used to illustrate the optimization methodology proposed

Hybrid algorithm for scheduling and risk assessment of projects

IFAC CONFERENCE ON ANALYSIS AND DESIGN OF HYBRID SYSTEMS (.2003.SAINT-MALO BRITTANY, FRANCIA)This work presents a technique for optimal scheduling of projects in terms of time and cost, taking into account risk assessment. Tasks are characterized by p-timed Petri nets, where places have assigned an execution time. The proposed technique minimizes the time execution and the cost of the whole project taking into account the Petri nets describing the tasks and the project risk assessment plan. The risk mitigation is carried on through actions where variables that model them may be discrete or continuousMinisterio de Ciencia y Tecnología DPI200 1-2380-C02-0

A Simulation Model Articulation of the REA Ontology

This paper demonstrates how the REA enterprise ontology can be used to construct simulation models for business processes, value chains and collaboration spaces in supply chains. These models support various high-level and operational management simulation applications, e.g. the analysis of enterprise sustainability and day-to-day planning. First, the basic constructs of the REA ontology and the ExSpect modelling language for simulation are introduced. Second, collaboration space, value chain and business process models and their conceptual dependencies are shown, using the ExSpect language. Third, an exhibit demonstrates the use of value chain models in predicting the financial performance of an enterprise

Tools for efficient analysis of concurrent software systems

The ever increasing use of distributed computing as a method of providing added computing power and reliability has sparked interest in methods to model and analyze concurrent hardware/ software systems. Efficient automated analysis tools are needed to aid designers of such systems. The Distributed Systems Project at UCI has been developing a suite of tools (dubbed the P-NUT system) which supports efficient analysis of models of concurrent software. This paper presents the principles which guide the development of P-NUT tools and discusses the development of one of the tools: the Reachability Graph Builder (RGB). The P-NUT approach to tool development has resulted in the production of a highly efficient tool for constructing reachability graphs. The careful design of data structures and associated algorithms has significantly enlarged the class of models which can be analyzed