MRP SYSTEMS APPLIED TO pt-temporized PETRI NETS
|
|
- Cathleen Hall
- 5 years ago
- Views:
Transcription
1 MRP SYSTEMS APPLIED TO pt-temporized PETRI NETS Carlos Augusto de Alcantara Gomes Adjunct Professor of Industrial Engineering Department at Universidade Federal do Rio de Janeiro Address: Rua Almte. Cóchrane 56 apt Tijuca - Rio de Janeiro - RJ - BRAZIL, CEP ABSTRACT Petri Nets for Production Systems are shown in this paper as pt-temporized Petri Nets, with its initial marking having only one token in the first place. pt-temporized Petri Nets are an easy way to control production systems, because their performance, can be seen in a real-time and their hierarchizing evidence the consumption of resources (workmanship, equipments, materials, etc.). MRP Systems are used for deciding the material request for Flexible Manufacturing Industries. Keywords: Petri Nets, Manufacturining Requirement Planning, Civil Production 1. INTRODUCTION Through a Potential-Task graph we can associate to each node a transition and to each arc a place that interconnects two transitions so, in that way, a Petri Net is equivalent to the following graph. (ALCANTARA GOMES, 1990). A 4 D 0 3 I 4 F 0 6 B C - task - duration Fig. 1 - Potential-Task graph
2 p 4 p 7 t D p 2 t A t F p 9 p 1 t I p 5 p 3 t C p 8 p 6 t B - place - transition - oriented line-connectivity place-transition and vise-versa - token Fig. 2 - An associated Petri Net In the case of a Potential-Task graph, the studied resources in the production process do not appear explicitly being only described by terms of immersed ways. Concerning to Petri Nets resources can be visualized easily which are assigned to tokens. node (task) transition arc place resource token 2. pt-temporized PETRI NETS ASSOCIATED TO THE PRODUCTION SYSTEMS IN FLEXIBLE MANUFAC-TURING SYSTEMS pt-temporized Petri Nets are Petri Nets in which the time variable is associated to places and transitions, so this way you define: pt-tpn = {P, T, Pre, Pos, M o, d, δ} Where: P = (p 1, p 2,..., p m ) is a set of places T = {t 1, t 2,...,t n } is a set of transitions Pre: P T N is a input function of transitions (N is a set of nonnegative integers) Pos: T P N is a output function of transitions M o : P N is a function from a set of places P to the nonnegative integers and is defined by {m 1, m 2,...,m m }. Where m 1 = 1 and m 2, m 3,..., = 0, what is the initial marking d = {d 1, d 2,... d m } is the finite set of places duration δ = {δ 1, δ 2,...,δ n } is the finite set of transitions duration
3 [ d 4 ] [ δ 4 ] [ d 7 ] p 4 p 7 [ d 2 ] [ δ 2 ] t 4 p 2 [ δ 6 ] [ d 8 ] [ d 1 ] [ δ 1 ] t 2 [ d 5 ] t 6 p p 5 p 1 t 1 [ d 3 ] [ δ 5 ] [ d 8 ] p 3 [ δ 3 ] [ d 6 ] t 5 p 8 t 3 p 6 Fig.3 - pt-temporized Petri Net The pt-temporized Petri Nets can represent a production system and can also control it in a real time manner. In this way, whenever a transition fires an activity is accomplished and firing a transition it removes the token(s) from its input place that causes the consumption of resources that can be easily controlled by the performance of the net. pt-temporized Petri Nets permit the hierarchizing, that is, each place or transition can be separated into another Temporized Petri Net. In this case, there is a difference in the marking, because it is no more given by the form M = {1, 0, 0,..., 0} but the marking M that associates to each place a number of tokens M(p) 0. In the figure 4 it is shown that a transition t 1 can be separated in another Temporized Petri Net, and the original token that leaves p 11 and the tokens that leave p 12 are the resources used for the firing of transition t SYSTEMS OF PRODUCTION CONTROL WITH pt-temporized PETRI NETS The execution of a pt-temporized Petri Nets is controlled by the number and distribution of tokens in the Petri net. Tokens reside in places and control the execution of the transitions of the net. A pt-temporized Petri Net executes by firing transitions. A transition fire by removing tokens from its input places and creating new tokens that are distributed to its output places. A transition may fire if it is enable. A transition is enabled if each of input places has at least as many tokens in it as arcs from the place to the transition. Multiple tokens are needed for multiple input arcs. The tokens in the input places that enable a transition are its enabling tokens. A transition fires by removing all of its enabling tokens from its input places and then depositing into each of its output places one token for each arc from the transition to place. Multiple tokens are produced for multiple output arcs. Firing a transition will in general change the marking M of the pt-temporized Petri Nets to a new marking, M. Notice that since only enabled transitions may fire, the number of tokens in each place always remains nonnegative when a transition is fired. Firing a transition can never try to remove a token that is not there. If there are not enough tokens in any input place of a transition, then the transition is not enable and can not fire
4 [ δ 1 ] t 1 [ d 12 ] [ δ 12 ] p 12 t 12 [ d 11 ] [ δ 11 ] [ d 14 ] p 11 t 11 [ d 13 ] [ δ 13 ] p 14 p 13 t 13 Marking M o = {1, 2, 0, 0} Fig.4 - Temporized Petri Net for a higher level of Hierarchy A transition t in a marked pt-temporized Petri Net with marking M may fire whenever it is enabled. Firing an enabled transition t results in a new marking M. For the pt-temporized Petri Net there is a need to know the date of the earliest and the latest fire of a transition, the date of the entrance of the earliest and the latest token in a place, besides that you must know the longest path which goes from the source of the net to its sink. This is the path that must get the greatest control, because a delay causes another delay at the net duration. The knowledge of these dates and this path are very important to control the pt- Temporized Petri Net in a possible real-time. What implies knowing which transition (task) is enable to fire and which tokens (resources) are used. Therefore the sequence of transition firing is obtained (see ALCANTARA GOMES, 1990), which permits to see how the nets evaluate during the manufacture of the product.
5 4. ALGORITHM FOR DETERMINING THE EARLIEST AND THE LATEST DATE OF A TRANSITION FIRING, THE EARLIEST AND THE LATEST DATE OF ENTRANCE OF A TOKEN IN THE PLACE AND THE LONGEST WAY WHICH GOES FROM THE SOURCE TO THE SINK IN pt- TEMPORIZED PETRI NET. (1) Sort a pt-temporized Petri Net according to the levels of the places and the transitions appear on the net. Even levels are associated to transitions and odd levels to places. The smallest index of a place (transition) of a given odd (even) level can not be higher than the lower index of a place (transition of posterior level), see figure 5. (2) A ruled in squares is formed and divided horizontally and vertically, in a number of parts equivalent to the addition of the number of places and transitions. On the above horizontal part and on the left vertical the places and the transitions are written according to the level and as the figure 6 indicates. (3) On the diagonal are assigned the duration of the places and the transitions respectively on the horizontal part below, an inferior row of squares receives the dates from the earliest fire of the transitions and the earliest date of entrance token in the places. A right column of small receives the dates from the latest transitions firing and from the latest dates of entrance tokens in the place. (4) The adjacency matrix is used in a ruled of squares where p k -t n is a way that has its provenance in the place p k and its destination in the transition t n and vice versa, in which the number 1 will be assigned. (5) The date of the earliest fire transition and the earliest date of entrance token on the place is calculated at first. The value of the first square from inferior row of squares is zero. Transplaces this value up vertically to the main diagonal and add it to the value there. Then transplace this sum horizontally to meet a value 1 from the adjacency matrix, go down vertically and assign it in a square of inferior squares. The process must be repeated to all values 1 of the adjacency matrix when the sun is moved to the right. This process is repeated as many times as the valued squares of interior row of squares. When more than a value 1 in the work column or more than a value on the square of inferior square is met the highest number must be chosen, see figure 6. (6) Determination of the latest fire date from a transition and the latest date of entrance place token. It is allowed that the latest date of the entrance in the last place is equal to the earliest date of entrance of the last place therefore this value is assigned in the last square of the right column of squares. Then go horizontally, from the above mentioned value, until the main diagonal. From this point go vertically up until the value 1 is met. The value found in the main diagonal placed in the same horizontal line is the value that will be subtracted from the above mentioned value. The resulting value is placed in the same horizontal line on the right column of squares. This process is repeated as many times as the valued squares of right column of squares. If more than a value 1 is met the process must be repeated until all these values are treated. In the case of adjacency matrix gets in
6 the same line more than one value 1 it will be evaluated on the right column of squares and the smallest one must be chosen, see figure 6. (7) The longest path that crosses the smallest slacks (slack is the difference between the latest date and earliest date of the fire transition, or the smallest entrance of a token in the place and the earliest one) is the path that goes from the source to the sink and this path must be the most controlled, see figure 5. [ 2 ] [ 0] [ 1] p 2 ( 11, ) t 2 ( 3, 3) p 4 ( 11, ) [ 3] p t 1 ( 0, 0) [ 3] p 3 ( 11, ) [ 1] t p 5 ( 5, 5) t 5 ( 7, 7) [ 0] p 7 ( 10, 10) [ 1] t f = 1 p 6 ( 6, 7) f = 1 t f = Fig. 5 - pt-temporized Petri Net separated by level The longest paths that go from the source to the sink are obtained by the step (7) of the algorithm and they are: p 1 - t 1 - p 2 - t 2 - p 4 - t 5 - p 7 p 1 - t 1 - p 3 - t 3 - p 5 - t 5 - p 7 and p 1 t 1 p 2 p 3 t 2 t 3 t 4 p 4 p 5 p 6 t 5 t 6 p 7 p t ;0 p p ;1 t t t p p p t t p Fig. 6 - A ruled of squares for determining the earliest and the latest date of transition fire, the earliest and latest date of entrance of token in the place and longest path which goes
7 from the source to the sink in a pt-temporized Petri Net 5. pt-temporized PETRI NETS ASSOCIATED TO MRP SYSTEMS IN FLEXIBLE MANUFACTURING SYSTEMS The association of Petri Nets to MRP Systems are done using the earliest fire of the transitions for determining request dates and the necessary resources at the transitions to determine the lot size. Then following with the data presented below, we will show the MRP System applied to cement bags requests, at a civil construction (that is a kind of Flexible Manufacturing System). The way considered at the example is p 1 - t 1 - p 3 - t 3 - p 5 - t 5 - p 7, and the lead time is three weeks. Transition EDTf (week) Necessities (bags) Received (bags) 300 Stock (bags ) Lot 1 Request (bags) Lot are 300 bags of cement; - Lead Time is 3 (three) weeks; - EDTf = earliest date of transition fire. BIBLIOGRAPHY ALCANTARA GOMES, C. A. (1990) Contribuição a Modelagem e Análise de Sistemas Utilizando Redes de Petri: Com Aplicação à Indústria da Construção Civil D.Sc. Thesis, COPPE/UFRJ, Rio de Janeiro, Brazil CHRETIENNE, P. (1983) Les Réseaux de Petri Temporisés Tése, Université de Paris IV, Paris, France. PETERSON, J. L. (1981) Petri Net Theory and Modeling of Systems," Printece Hall, U.S.A., p.290 ALCANTARA GOMES, C. A. and QUALHARINI, E. L. (1996) Algorithm for Determination of The viable states, in a pt-temporized Petri: Net, Associated to Production Systems Latin-Iberian-American Congresss on Operations Research and Systems Engineering. pp , Rio de Janeiro, Brazil FULLMANN, C.; RITZMAN, L.; MACHADO, M et al (1989) MRP - MRPII - OPT - GDR. IMAN, Brazil. MONKS, J. G. (1987), Administração da Produção. McGraw-Hill.
DES. 4. Petri Nets. Introduction. Different Classes of Petri Net. Petri net properties. Analysis of Petri net models
4. Petri Nets Introduction Different Classes of Petri Net Petri net properties Analysis of Petri net models 1 Petri Nets C.A Petri, TU Darmstadt, 1962 A mathematical and graphical modeling method. Describe
More informationDEPARTMENT OF STATISTICS AND OPERATIONS RESEARCH OPERATIONS RESEARCH DETERMINISTIC QUALIFYING EXAMINATION. Part I: Short Questions
DEPARTMENT OF STATISTICS AND OPERATIONS RESEARCH OPERATIONS RESEARCH DETERMINISTIC QUALIFYING EXAMINATION Part I: Short Questions August 12, 2008 9:00 am - 12 pm General Instructions This examination is
More informationTime Petri Nets. Miriam Zia School of Computer Science McGill University
Time Petri Nets Miriam Zia School of Computer Science McGill University Timing Specifications Why is time introduced in Petri nets? To model interaction between activities taking into account their start
More informationAnalysis and Optimization of Discrete Event Systems using Petri Nets
Volume 113 No. 11 2017, 1 10 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu ijpam.eu Analysis and Optimization of Discrete Event Systems using Petri Nets
More informationc 2011 Nisha Somnath
c 2011 Nisha Somnath HIERARCHICAL SUPERVISORY CONTROL OF COMPLEX PETRI NETS BY NISHA SOMNATH THESIS Submitted in partial fulfillment of the requirements for the degree of Master of Science in Aerospace
More informationA REACHABLE THROUGHPUT UPPER BOUND FOR LIVE AND SAFE FREE CHOICE NETS VIA T-INVARIANTS
A REACHABLE THROUGHPUT UPPER BOUND FOR LIVE AND SAFE FREE CHOICE NETS VIA T-INVARIANTS Francesco Basile, Ciro Carbone, Pasquale Chiacchio Dipartimento di Ingegneria Elettrica e dell Informazione, Università
More informationAnalysis of real-time system conflict based on fuzzy time Petri nets
Journal of Intelligent & Fuzzy Systems 26 (2014) 983 991 DOI:10.3233/IFS-130789 IOS Press 983 Analysis of real-time system conflict based on fuzzy time Petri nets Zhao Tian a,, Zun-Dong Zhang a,b, Yang-Dong
More informationTime(d) Petri Net. Serge Haddad. Petri Nets 2016, June 20th LSV ENS Cachan, Université Paris-Saclay & CNRS & INRIA
Time(d) Petri Net Serge Haddad LSV ENS Cachan, Université Paris-Saclay & CNRS & INRIA haddad@lsv.ens-cachan.fr Petri Nets 2016, June 20th 2016 1 Time and Petri Nets 2 Time Petri Net: Syntax and Semantic
More informationApplication of Mathematical Modeling to Study Flood Wave Behavior in Natural Rivers as Function of Hydraulic and Hydrological Parameters of the Basin
Hydrology Days 2010 Application of Mathematical Modeling to Study Flood Wave Behavior in Natural Rivers as Function of Hydraulic and Hydrological Parameters of the Basin Patrícia Freire Chagas 2, Silvia
More informationInterorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows
Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows Oana Prisecaru and Toader Jucan Faculty of Computer Science, Al. I. Cuza University,
More informationSpecification models and their analysis Petri Nets
Specification models and their analysis Petri Nets Kai Lampka December 10, 2010 1 30 Part I Petri Nets Basics Petri Nets Introduction A Petri Net (PN) is a weighted(?), bipartite(?) digraph(?) invented
More information. Introduction to CPM / PERT Techniques. Applications of CPM / PERT. Basic Steps in PERT / CPM. Frame work of PERT/CPM. Network Diagram Representation. Rules for Drawing Network Diagrams. Common Errors
More informationAn Holistic State Equation for Timed Petri Nets
An Holistic State Equation for Timed Petri Nets Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, and E. Pelz 3 Professur Betriebssysteme, Technische Universität Chemnitz Institut für Informatik,
More informationTime and Timed Petri Nets
Time and Timed Petri Nets Serge Haddad LSV ENS Cachan & CNRS & INRIA haddad@lsv.ens-cachan.fr DISC 11, June 9th 2011 1 Time and Petri Nets 2 Timed Models 3 Expressiveness 4 Analysis 1/36 Outline 1 Time
More informationMAT12X Intermediate Algebra
MAT12X Intermediate Algebra Workshop 3 Rational Functions LEARNING CENTER Overview Workshop III Rational Functions General Form Domain and Vertical Asymptotes Range and Horizontal Asymptotes Inverse Variation
More informationEE263 Review Session 1
EE263 Review Session 1 October 5, 2018 0.1 Importing Variables from a MALAB.m file If you are importing variables given in file vars.m, use the following code at the beginning of your script. close a l
More informationRanking Score Vectors of Tournaments
Utah State University DigitalCommons@USU All Graduate Plan B and other Reports Graduate Studies 5-2011 Ranking Score Vectors of Tournaments Sebrina Ruth Cropper Utah State University Follow this and additional
More informationRecent results on Timed Systems
Recent results on Timed Systems Time Petri Nets and Timed Automata Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr Based on joint work with F. Cassez, S. Haddad, D.
More informationInstituto de Engenharia de Sistemas e Computadores de Coimbra. Institute of Systems Engineering and Computers INESC - Coimbra
Instituto de Engenharia de Sistemas e Computadores de Coimbra Institute of Systems Engineering and Computers INESC - Coimbra Teresa Gomes Luís Fernandes A note on A simple algorithm to search all MCs in
More informationOn Parametrical Sequences in Time Petri Nets
On Parametrical Sequences in Time Petri Nets Louchka Popova-Zeugmann Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin e-mail: popova@informatik.hu-berlin.de Extended
More informationSupervisory Control of Petri Nets with. Uncontrollable/Unobservable Transitions. John O. Moody and Panos J. Antsaklis
Supervisory Control of Petri Nets with Uncontrollable/Unobservable Transitions John O. Moody and Panos J. Antsaklis Department of Electrical Engineering University of Notre Dame, Notre Dame, IN 46556 USA
More informationA Critical Path Problem Using Triangular Neutrosophic Number
A Critical Path Problem Using Triangular Neutrosophic Number Excerpt from NEUTROSOPHIC OPERATIONAL RESEARCH, Volume I. Editors: Prof. Florentin Smarandache, Dr. Mohamed Abdel-Basset, Dr. Yongquan Zhou.
More informationSolving Fuzzy PERT Using Gradual Real Numbers
Solving Fuzzy PERT Using Gradual Real Numbers Jérôme FORTIN a, Didier DUBOIS a, a IRIT/UPS 8 route de Narbonne, 3062, Toulouse, cedex 4, France, e-mail: {fortin, dubois}@irit.fr Abstract. From a set of
More informationOPTIMAL TOKEN ALLOCATION IN TIMED CYCLIC EVENT GRAPHS
OPTIMAL TOKEN ALLOCATION IN TIMED CYCLIC EVENT GRAPHS Alessandro Giua, Aldo Piccaluga, Carla Seatzu Department of Electrical and Electronic Engineering, University of Cagliari, Italy giua@diee.unica.it
More informationStochastic Petri Nets. Jonatan Lindén. Modelling SPN GSPN. Performance measures. Almost none of the theory. December 8, 2010
Stochastic Almost none of the theory December 8, 2010 Outline 1 2 Introduction A Petri net (PN) is something like a generalized automata. A Stochastic Petri Net () a stochastic extension to Petri nets,
More informationScheduling with Constraint Programming. Job Shop Cumulative Job Shop
Scheduling with Constraint Programming Job Shop Cumulative Job Shop CP vs MIP: Task Sequencing We need to sequence a set of tasks on a machine Each task i has a specific fixed processing time p i Each
More informationf (x) = x 2 Chapter 2 Polynomial Functions Section 4 Polynomial and Rational Functions Shapes of Polynomials Graphs of Polynomials the form n
Chapter 2 Functions and Graphs Section 4 Polynomial and Rational Functions Polynomial Functions A polynomial function is a function that can be written in the form a n n 1 n x + an 1x + + a1x + a0 for
More informationReview Exercise 2. 1 a Chemical A 5x+ Chemical B 2x+ 2y12 [ x+ Chemical C [ 4 12]
Review Exercise a Chemical A 5x+ y 0 Chemical B x+ y [ x+ y 6] b Chemical C 6 [ ] x+ y x+ y x, y 0 c T = x+ y d ( x, y) = (, ) T = Pearson Education Ltd 08. Copying permitted for purchasing institution
More informationARTICLE IN PRESS. Available online at Mathematics and Computers in Simulation xxx (2010) xxx xxx.
Available online at www.sciencedirect.com Mathematics and Computers in Simulation xxx (2010) xxx xxx Original Articles Coloured Petri net scheduling models: Timed state space exploration shortages M.A.
More informationc 2014 Vijayalakshmi Deverakonda
c 214 Vijayalakshmi Deverakonda DISJUNCTIVE NORMAL FORMULA BASED SUPERVISORY CONTROL POLICY FOR GENERAL PETRI NETS BY VIJAYALAKSHMI DEVERAKONDA THESIS Submitted in partial fulfillment of the requirements
More information7. Queueing Systems. 8. Petri nets vs. State Automata
Petri Nets 1. Finite State Automata 2. Petri net notation and definition (no dynamics) 3. Introducing State: Petri net marking 4. Petri net dynamics 5. Capacity Constrained Petri nets 6. Petri net models
More informationToday s class. Constrained optimization Linear programming. Prof. Jinbo Bi CSE, UConn. Numerical Methods, Fall 2011 Lecture 12
Today s class Constrained optimization Linear programming 1 Midterm Exam 1 Count: 26 Average: 73.2 Median: 72.5 Maximum: 100.0 Minimum: 45.0 Standard Deviation: 17.13 Numerical Methods Fall 2011 2 Optimization
More informationPrimes in Spirals. Cassie Gribble. A Thesis Submitted to the Faculty of the DEPARTMENT OF MATHEMATICS
Primes in Spirals By Cassie Gribble A Thesis Submitted to the Faculty of the DEPARTMENT OF MATHEMATICS In Partial Fulfillment of the Requirements For the Degree of MASTER OF MIDDLE SCHOOL MATHEMATICS LEADERSHIP
More informationLinear Time Analysis of Properties of Conflict-Free and General Petri nets
Linear Time Analysis of Properties of Conflict-Free and General Petri nets Paola Alimonti Esteban Feuerstein Luigi Laura Umberto Nanni Technical Report n. 9, 2010 Linear Time Analysis of Properties of
More informationUnit 4 Systems of Equations Systems of Two Linear Equations in Two Variables
Unit 4 Systems of Equations Systems of Two Linear Equations in Two Variables Solve Systems of Linear Equations by Graphing Solve Systems of Linear Equations by the Substitution Method Solve Systems of
More informationA FINITE ELEMENT MODEL FOR SIZE EFFECT AND HETEROGENEITY IN CONCRETE STRUCTURES
A FINITE ELEMENT MODEL FOR SIZE EFFECT AND HETEROGENEITY IN CONCRETE STRUCTURES Roque Luiz Pitangueira 1 and Raul Rosas e Silva 2 1 Department of Structural Engineering -Federal University of Minas Gerais
More informationEmbedded Systems 6 REVIEW. Place/transition nets. defaults: K = ω W = 1
Embedded Systems 6-1 - Place/transition nets REVIEW Def.: (P, T, F, K, W, M 0 ) is called a place/transition net (P/T net) iff 1. N=(P,T,F) is a net with places p P and transitions t T 2. K: P (N 0 {ω})
More informationNumerical Characterization of Concrete Heterogeneity
Vol. Materials 5, No. Research, 3, 2002Vol. 5, No. 3, Statistical 309-314, 2002. Characterization of the Concrete Numerical Modeling of Size Effect In Heterogeneity 2002 309 Numerical Characterization
More informationREALIZING TOURNAMENTS AS MODELS FOR K-MAJORITY VOTING
California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 6-016 REALIZING TOURNAMENTS AS MODELS FOR K-MAJORITY VOTING Gina
More informationBelo Horizonte, Minas Gerais, Brasil. Universidade Federal de Minas Gerais Belo Horizonte, Minas Gerais, Brasil
Detailed computational results for the paper entitled The k-cardinality Tree Problem: Reformulations and Lagrangian Relaxation, under revision for Discrete Applied Mathematics Frederico P. Quintão a,b
More information11/8/2018. Overview. PERT / CPM Part 2
/8/08 PERT / CPM Part BSAD 0 Dave Novak Fall 08 Source: Anderson et al., 0 Quantitative Methods for Business th edition some slides are directly from J. Loucks 0 Cengage Learning Overview Last class introduce
More informationSection 1.1 Distance, Position and Displacement
Unit 1 Motion Section 1.1 Distance, Position and Displacement Kinematics is the study of MOTION. Motion is the CHANGE in an object's location as measured by a particular observer. Why is the OBSERVER important
More informationCSC Design and Analysis of Algorithms. LP Shader Electronics Example
CSC 80- Design and Analysis of Algorithms Lecture (LP) LP Shader Electronics Example The Shader Electronics Company produces two products:.eclipse, a portable touchscreen digital player; it takes hours
More informationApplication of Fuzzy Set Theory to Flood Risk Analysis in Natural Rivers as a Function of Hydraulic Parameters
Hydrology Days 2010 Application of Fuzzy Set Theory to Flood Risk Analysis in Natural Rivers as a Function of Hydraulic Parameters Silvia Helena Santos 2,Patrícia Freire Chagas 2, Carla Freitas Andrade
More information(P ) Minimize 4x 1 + 6x 2 + 5x 3 s.t. 2x 1 3x 3 3 3x 2 2x 3 6
The exam is three hours long and consists of 4 exercises. The exam is graded on a scale 0-25 points, and the points assigned to each question are indicated in parenthesis within the text. Problem 1 Consider
More informationExam Spring Embedded Systems. Prof. L. Thiele
Exam Spring 20 Embedded Systems Prof. L. Thiele NOTE: The given solution is only a proposal. For correctness, completeness, or understandability no responsibility is taken. Sommer 20 Eingebettete Systeme
More informationMinimum cost transportation problem
Minimum cost transportation problem Complements of Operations Research Giovanni Righini Università degli Studi di Milano Definitions The minimum cost transportation problem is a special case of the minimum
More informationCMSC 451: Max-Flow Extensions
CMSC 51: Max-Flow Extensions Slides By: Carl Kingsford Department of Computer Science University of Maryland, College Park Based on Section 7.7 of Algorithm Design by Kleinberg & Tardos. Circulations with
More informationTemporal context calibrates interval timing
Temporal context calibrates interval timing, Mehrdad Jazayeri & Michael N. Shadlen Helen Hay Whitney Foundation HHMI, NPRC, Department of Physiology and Biophysics, University of Washington, Seattle, Washington
More informationIn Chapters 3 and 4 we introduced linear programming
SUPPLEMENT The Simplex Method CD3 In Chapters 3 and 4 we introduced linear programming and showed how models with two variables can be solved graphically. We relied on computer programs (WINQSB, Excel,
More informationClock signal in digital circuit is responsible for synchronizing the transfer to the data between processing elements.
1 2 Introduction Clock signal in digital circuit is responsible for synchronizing the transfer to the data between processing elements. Defines the precise instants when the circuit is allowed to change
More informationPetri Net Modeling of Irrigation Canal Networks
Petri Net Modeling of Irrigation Canal Networks Giorgio Corriga, Alessandro Giua, Giampaolo Usai DIEE: Dip. di Ingegneria Elettrica ed Elettronica Università di Cagliari P.zza d Armi 09123 CAGLIARI, Italy
More information(tree searching technique) (Boolean formulas) satisfying assignment: (X 1, X 2 )
Algorithms Chapter 5: The Tree Searching Strategy - Examples 1 / 11 Chapter 5: The Tree Searching Strategy 1. Ex 5.1Determine the satisfiability of the following Boolean formulas by depth-first search
More informationDiscrete Optimization 23
Discrete Optimization 23 2 Total Unimodularity (TU) and Its Applications In this section we will discuss the total unimodularity theory and its applications to flows in networks. 2.1 Total Unimodularity:
More informationDiscrete Applied Mathematics
Discrete Applied Mathematics 194 (015) 37 59 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: wwwelseviercom/locate/dam Loopy, Hankel, and combinatorially skew-hankel
More informationMultiprocessor Scheduling of Age Constraint Processes
Multiprocessor Scheduling of Age Constraint Processes Lars Lundberg Department of Computer Science, University of Karlskrona/Ronneby, Soft Center, S-372 25 Ronneby, Sweden, email: Lars.Lundberg@ide.hk-r.se
More informationRecitation 8: Graphs and Adjacency Matrices
Math 1b TA: Padraic Bartlett Recitation 8: Graphs and Adjacency Matrices Week 8 Caltech 2011 1 Random Question Suppose you take a large triangle XY Z, and divide it up with straight line segments into
More informationStochastic Petri Net. Ben, Yue (Cindy) 2013/05/08
Stochastic Petri Net 2013/05/08 2 To study a formal model (personal view) Definition (and maybe history) Brief family tree: the branches and extensions Advantages and disadvantages for each Applications
More information2018 MOAA Gunga Bowl: Problems
208 MOAA Gunga Bowl: Problems MOAA 208 Gunga Bowl Set. [5] Find + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +. 2. [5] Find + 2 0 + 3 9 + 4 8 + 5 7 + 6 6. 3. [5] Let 2 + 2 3 + 3 4 + 4 5 + 5 6 + 6 7 + 7 8 + integers
More informationIEOR 6711: Professor Whitt. Introduction to Markov Chains
IEOR 6711: Professor Whitt Introduction to Markov Chains 1. Markov Mouse: The Closed Maze We start by considering how to model a mouse moving around in a maze. The maze is a closed space containing nine
More informationFILE NAME: PYTHAGOREAN_TRIPLES_012-( WED).DOCX AUTHOR: DOUG JONES
FILE NAME: PYTHAGOREAN_TRIPLES_01-(0090107WED.DOCX AUTHOR: DOUG JONES A. BACKGROUND & PURPOSE THE SEARCH FOR PYTHAGOREAN TRIPLES 1. Three positive whole numbers ( a,b,c which are such that a + b = c are
More informationmin3x 1 + 4x 2 + 5x 3 2x 1 + 2x 2 + x 3 6 x 1 + 2x 2 + 3x 3 5 x 1, x 2, x 3 0.
ex-.-. Foundations of Operations Research Prof. E. Amaldi. Dual simplex algorithm Given the linear program minx + x + x x + x + x 6 x + x + x x, x, x. solve it via the dual simplex algorithm. Describe
More information40th International Mathematical Olympiad
40th International Mathematical Olympiad Bucharest, Romania, July 999 Determine all finite sets S of at least three points in the plane which satisfy the following condition: for any two distinct points
More informationA Critical Path Problem Using Triangular Neutrosophic Number
A ritical Path Problem Using Triangular Neutrosophic Number Mai Mohamed 1 Department of Operations Research Faculty of omputers and Informatics Zagazig University, Sharqiyah, Egypt Yongquan Zhou 2 ollege
More informationLinear Programming Duality P&S Chapter 3 Last Revised Nov 1, 2004
Linear Programming Duality P&S Chapter 3 Last Revised Nov 1, 2004 1 In this section we lean about duality, which is another way to approach linear programming. In particular, we will see: How to define
More informationA scheme developed by Du Pont to figure out
CPM Project Management scheme. A scheme developed by Du Pont to figure out Length of a normal project schedule given task durations and their precedence in a network type layout (or Gantt chart) Two examples
More informationPERCOLATION PARAMETERS OF BIOMOLECULES ADSORPTION ON TWO-DIMENSIONAL NETWORK SURFACES
Proceedings of COBEM 2009 Copyright 2009 by ABCM 20th International Congress of Mechanical Engineering November 15-20, 2009, Gramado, RS, Brazil PERCOLATION PARAMETERS OF BIOMOLECULES ADSORPTION ON TWO-DIMENSIONAL
More information15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete
CS125 Lecture 15 Fall 2016 15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete Already know SAT NP, so only need to show SAT is NP-hard. Let L be any language in NP. Let M be a NTM that decides L
More informationAlgorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems
University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School 1-1-2013 Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems Yingying
More informationApplication of product dioids for dead token detection in interval P-time event graphs
Application of product dioids for dead token detection in interval P-time event graphs Jan Komenda Sébastien Lahaye Pavel Špaček Institute of Mathematics, Czech Academy of Sciences, Žižkova 22, 616 62
More information1. sort of tokens (e.g. indistinguishable (black), coloured, structured,...),
7. High Level Petri-Nets Definition 7.1 A Net Type is determined if the following specification is given: 1. sort of tokens (e.g. indistinguishable (black), coloured, structured,...), 2. sort of labeling
More informationSolutions to Quiz 1. Problem 1 (20 points). Suppose S(n) is a predicate on natural numbers, n, and suppose. k N S(k) S(k + 2). (1)
Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Radhika Nagpal Solutions to Quiz 1 Problem 1 (20 points). Suppose S(n) is
More informationA Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons
Proceedings of the 2001 IEEE International Conference on Robotics & Automation Seoul, Korea May 21-26, 2001 A Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons YiSheng Huang 1
More informationGRAPH ALGORITHMS Week 7 (13 Nov - 18 Nov 2017)
GRAPH ALGORITHMS Week 7 (13 Nov - 18 Nov 2017) C. Croitoru croitoru@info.uaic.ro FII November 12, 2017 1 / 33 OUTLINE Matchings Analytical Formulation of the Maximum Matching Problem Perfect Matchings
More information07/09/2011. A.AMRANI-ZOUGGAR IMS-Lab, University Bordeaux1. These products specific management
A.AMRANI-ZOUGGAR IMS-Lab, University Bordeaux These products specific management What leads the industrialist to start projects? BENEFITS Ageing of the range Benchmarking, comparing the market and industrial
More informationMiddle Grades Mathematics (203)
Middle Grades Mathematics (203) NES, the NES logo, Pearson, the Pearson logo, and National Evaluation Series are trademarks, in the U.S. and/or other countries, of Pearson Education, Inc. or its affiliate(s).
More informationEfficient TDM-based Arbitration for Mixed-Criticality Systems on Multi-Cores
Efficient TDM-based Arbitration for Mixed-Criticality Systems on Multi-Cores Florian Brandner with Farouk Hebbache, 2 Mathieu Jan, 2 Laurent Pautet LTCI, Télécom ParisTech, Université Paris-Saclay 2 CEA
More informationNetwork Flows. 7. Multicommodity Flows Problems. Fall 2010 Instructor: Dr. Masoud Yaghini
In the name of God Network Flows 7. Multicommodity Flows Problems 7.3 Column Generation Approach Fall 2010 Instructor: Dr. Masoud Yaghini Path Flow Formulation Path Flow Formulation Let first reformulate
More informationNon-Work-Conserving Non-Preemptive Scheduling: Motivations, Challenges, and Potential Solutions
Non-Work-Conserving Non-Preemptive Scheduling: Motivations, Challenges, and Potential Solutions Mitra Nasri Chair of Real-time Systems, Technische Universität Kaiserslautern, Germany nasri@eit.uni-kl.de
More informationCHAPTER 2. The Simplex Method
CHAPTER 2 The Simplex Method In this chapter we present the simplex method as it applies to linear programming problems in standard form. 1. An Example We first illustrate how the simplex method works
More informationQ 1 Find the square root of 729. 6. Squares and Square Roots Q 2 Fill in the blank using the given pattern. 7 2 = 49 67 2 = 4489 667 2 = 444889 6667 2 = Q 3 Without adding find the sum of 1 + 3 + 5 + 7
More informationThe study reported in this monograph is sponsored by the TNO Institute for Production and Logistics (IPL) as part of the TASTE project.
Timed coloured Petri nets and their application to logistics The study reported in this monograph is sponsored by the TNO Institute for Production and Logistics (IPL) as part of the TASTE project. TIMED
More informationThe Simplex Method of Linear Programming
The Simplex Method of Linear Programming Online Tutorial 3 Tutorial Outline CONVERTING THE CONSTRAINTS TO EQUATIONS SETTING UP THE FIRST SIMPLEX TABLEAU SIMPLEX SOLUTION PROCEDURES SUMMARY OF SIMPLEX STEPS
More informationDiscrete Event Systems Exam
Computer Engineering and Networks Laboratory TEC, NSG, DISCO HS 2016 Prof. L. Thiele, Prof. L. Vanbever, Prof. R. Wattenhofer Discrete Event Systems Exam Friday, 3 rd February 2017, 14:00 16:00. Do not
More informationA comparison of sequencing formulations in a constraint generation procedure for avionics scheduling
A comparison of sequencing formulations in a constraint generation procedure for avionics scheduling Department of Mathematics, Linköping University Jessika Boberg LiTH-MAT-EX 2017/18 SE Credits: Level:
More information= c, we say that f ( c ) is a local
Section 3.4 Extreme Values Local Extreme Values Suppose that f is a function defined on open interval I and c is an interior point of I. The function f has a local minimum at x= c if f ( c) f ( x) for
More informationEdge colored complete bipartite graphs with trivial automorphism groups
Edge colored complete bipartite graphs with trivial automorphism groups Michael J. Fisher Garth Isaak Abstract We determine the values of s and t for which there is a coloring of the edges of the complete
More informationIndustrial Automation (Automação de Processos Industriais)
Industrial Automation (Automação de Processos Industriais) Discrete Event Systems http://users.isr.ist.utl.pt/~jag/courses/api1516/api1516.html Slides 2010/2011 Prof. Paulo Jorge Oliveira Rev. 2011-2015
More informationExtreme Point Solutions for Infinite Network Flow Problems
Extreme Point Solutions for Infinite Network Flow Problems H. Edwin Romeijn Dushyant Sharma Robert L. Smith January 3, 004 Abstract We study capacitated network flow problems with supplies and demands
More informationRelation of Pure Minimum Cost Flow Model to Linear Programming
Appendix A Page 1 Relation of Pure Minimum Cost Flow Model to Linear Programming The Network Model The network pure minimum cost flow model has m nodes. The external flows given by the vector b with m
More informationOn the Applicability of an Interval Time Structure for Protocol Verification
On the Applicability of an Interval Time Structure for Protocol Verification Jerzy BRZZIŃSKI, Michał SAJKOWSKI Institute of Computing Science, Poznań University of Technology Piotrowo 3a, 60-965 Poznań,
More informationTask Predecessors Time (hours) A - 2 B - 3 C A 1 D B 8 E B,C 7 F D,E 5
AMS 34 (Spring, 00) Exam - Solution notes Estie Arkin Mean 73.95, median 76, top quartile 87, high 99, low.. (0 points) I am planning a vacation once the spring semester is over. There are many tasks that
More informationReview Questions, Final Exam
Review Questions, Final Exam A few general questions. What does the Representation Theorem say (in linear programming)? In words, the representation theorem says that any feasible point can be written
More informationFrom Stochastic Processes to Stochastic Petri Nets
From Stochastic Processes to Stochastic Petri Nets Serge Haddad LSV CNRS & ENS Cachan & INRIA Saclay Advanced Course on Petri Nets, the 16th September 2010, Rostock 1 Stochastic Processes and Markov Chains
More informationfakultät für informatik informatik 12 technische universität dortmund Petri nets Peter Marwedel Informatik 12 TU Dortmund Germany
12 Petri nets Peter Marwedel Informatik 12 TU Dortmund Germany Introduction Introduced in 1962 by Carl Adam Petri in his PhD thesis. Focus on modeling causal dependencies; no global synchronization assumed
More informationDECOMPOSITION OF PETRI NETS
Cybernetics and Systems Analysis, Vol. 40, No. 5, 2004 DECOMPOSITION OF PETRI NETS D. A. Zaitsev UDC 519.74 The problem of splitting any given Petri net into functional subnets is considered. The properties
More informationCycle Time Analysis for Wafer Revisiting Process in Scheduling of Single-arm Cluster Tools
International Journal of Automation and Computing 8(4), November 2011, 437-444 DOI: 10.1007/s11633-011-0601-5 Cycle Time Analysis for Wafer Revisiting Process in Scheduling of Single-arm Cluster Tools
More informationDeterminants: Introduction and existence
Math 5327 Spring 2018 Determinants: Introduction and existence In this set of notes I try to give the general theory of determinants in a fairly abstract setting. I will start with the statement of the
More information56:171 Operations Research Midterm Exam--15 October 2002
Name 56:171 Operations Research Midterm Exam--15 October 2002 Possible Score 1. True/False 25 _ 2. LP sensitivity analysis 25 _ 3. Transportation problem 15 _ 4. LP tableaux 15 _ Total 80 _ Part I: True(+)
More informationA Branch and Bound Algorithm for the Project Duration Problem Subject to Temporal and Cumulative Resource Constraints
A Branch and Bound Algorithm for the Project Duration Problem Subject to Temporal and Cumulative Resource Constraints Christoph Schwindt Institut für Wirtschaftstheorie und Operations Research University
More information