MRP SYSTEMS APPLIED TO pt-temporized PETRI NETS

Size: px
Start display at page:

Download "MRP SYSTEMS APPLIED TO pt-temporized PETRI NETS"

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

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 information

DEPARTMENT 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 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 information

Time Petri Nets. Miriam Zia School of Computer Science McGill University

Time 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 information

Analysis and Optimization of Discrete Event Systems using Petri Nets

Analysis 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 information

c 2011 Nisha Somnath

c 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 information

A 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 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 information

Analysis of real-time system conflict based on fuzzy time Petri nets

Analysis 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 information

Time(d) Petri Net. Serge Haddad. Petri Nets 2016, June 20th LSV ENS Cachan, Université Paris-Saclay & CNRS & INRIA

Time(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 information

Application of Mathematical Modeling to Study Flood Wave Behavior in Natural Rivers as Function of Hydraulic and Hydrological Parameters of the Basin

Application 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 information

Interorganizational 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 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 information

Specification models and their analysis Petri Nets

Specification 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 information

An Holistic State Equation for Timed Petri Nets

An 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 information

Time and Timed Petri Nets

Time 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 information

MAT12X Intermediate Algebra

MAT12X 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 information

EE263 Review Session 1

EE263 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 information

Ranking Score Vectors of Tournaments

Ranking 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 information

Recent results on Timed Systems

Recent 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 information

Instituto 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 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 information

On Parametrical Sequences in Time Petri Nets

On 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 information

Supervisory 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 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 information

A Critical Path Problem Using Triangular Neutrosophic Number

A 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 information

Solving Fuzzy PERT Using Gradual Real Numbers

Solving 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 information

OPTIMAL TOKEN ALLOCATION IN TIMED CYCLIC EVENT GRAPHS

OPTIMAL 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 information

Stochastic Petri Nets. Jonatan Lindén. Modelling SPN GSPN. Performance measures. Almost none of the theory. December 8, 2010

Stochastic 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 information

Scheduling with Constraint Programming. Job Shop Cumulative Job Shop

Scheduling 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 information

f (x) = x 2 Chapter 2 Polynomial Functions Section 4 Polynomial and Rational Functions Shapes of Polynomials Graphs of Polynomials the form n

f (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 information

Review Exercise 2. 1 a Chemical A 5x+ Chemical B 2x+ 2y12 [ x+ Chemical C [ 4 12]

Review 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 information

ARTICLE IN PRESS. Available online at Mathematics and Computers in Simulation xxx (2010) xxx xxx.

ARTICLE 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 information

c 2014 Vijayalakshmi Deverakonda

c 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 information

7. Queueing Systems. 8. Petri nets vs. State Automata

7. 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 information

Today s class. Constrained optimization Linear programming. Prof. Jinbo Bi CSE, UConn. Numerical Methods, Fall 2011 Lecture 12

Today 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 information

Primes in Spirals. Cassie Gribble. A Thesis Submitted to the Faculty of the DEPARTMENT OF MATHEMATICS

Primes 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 information

Linear Time Analysis of Properties of Conflict-Free and General Petri nets

Linear 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 information

Unit 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 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 information

A FINITE ELEMENT MODEL FOR SIZE EFFECT AND HETEROGENEITY IN CONCRETE STRUCTURES

A 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 information

Embedded Systems 6 REVIEW. Place/transition nets. defaults: K = ω W = 1

Embedded 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 information

Numerical Characterization of Concrete Heterogeneity

Numerical 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 information

REALIZING TOURNAMENTS AS MODELS FOR K-MAJORITY VOTING

REALIZING 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 information

Belo Horizonte, Minas Gerais, Brasil. Universidade Federal de Minas Gerais Belo Horizonte, Minas Gerais, Brasil

Belo 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 information

11/8/2018. Overview. PERT / CPM Part 2

11/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 information

Section 1.1 Distance, Position and Displacement

Section 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 information

CSC Design and Analysis of Algorithms. LP Shader Electronics Example

CSC 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 information

Application of Fuzzy Set Theory to Flood Risk Analysis in Natural Rivers as a Function of Hydraulic Parameters

Application 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

(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 information

Exam Spring Embedded Systems. Prof. L. Thiele

Exam 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 information

Minimum cost transportation problem

Minimum 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 information

CMSC 451: Max-Flow Extensions

CMSC 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 information

Temporal context calibrates interval timing

Temporal 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 information

In Chapters 3 and 4 we introduced linear programming

In 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 information

Clock signal in digital circuit is responsible for synchronizing the transfer to the data between processing elements.

Clock 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 information

Petri Net Modeling of Irrigation Canal Networks

Petri 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 )

(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 information

Discrete Optimization 23

Discrete 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 information

Discrete Applied Mathematics

Discrete 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 information

Multiprocessor Scheduling of Age Constraint Processes

Multiprocessor 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 information

Recitation 8: Graphs and Adjacency Matrices

Recitation 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 information

Stochastic Petri Net. Ben, Yue (Cindy) 2013/05/08

Stochastic 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 information

2018 MOAA Gunga Bowl: Problems

2018 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 information

IEOR 6711: Professor Whitt. Introduction to Markov Chains

IEOR 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 information

FILE NAME: PYTHAGOREAN_TRIPLES_012-( WED).DOCX AUTHOR: DOUG JONES

FILE 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 information

min3x 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.

min3x 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 information

40th International Mathematical Olympiad

40th 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 information

A Critical Path Problem Using Triangular Neutrosophic Number

A 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 information

Linear Programming Duality P&S Chapter 3 Last Revised Nov 1, 2004

Linear 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 information

A scheme developed by Du Pont to figure out

A 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 information

PERCOLATION PARAMETERS OF BIOMOLECULES ADSORPTION ON TWO-DIMENSIONAL NETWORK SURFACES

PERCOLATION 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 information

15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete

15.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 information

Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems

Algorithms 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 information

Application 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 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 information

1. sort of tokens (e.g. indistinguishable (black), coloured, structured,...),

1. 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 information

Solutions 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)

Solutions 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 information

A Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons

A 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 information

GRAPH ALGORITHMS Week 7 (13 Nov - 18 Nov 2017)

GRAPH 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 information

07/09/2011. A.AMRANI-ZOUGGAR IMS-Lab, University Bordeaux1. These products specific management

07/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 information

Middle Grades Mathematics (203)

Middle 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 information

Efficient TDM-based Arbitration for Mixed-Criticality Systems on Multi-Cores

Efficient 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 information

Network Flows. 7. Multicommodity Flows Problems. Fall 2010 Instructor: Dr. Masoud Yaghini

Network 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 information

Non-Work-Conserving Non-Preemptive Scheduling: Motivations, Challenges, and Potential Solutions

Non-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 information

CHAPTER 2. The Simplex Method

CHAPTER 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 information

Q 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 information

The study reported in this monograph is sponsored by the TNO Institute for Production and Logistics (IPL) as part of the TASTE project.

The 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 information

The Simplex Method of Linear Programming

The 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 information

Discrete Event Systems Exam

Discrete 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 information

A 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 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

= 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 information

Edge colored complete bipartite graphs with trivial automorphism groups

Edge 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 information

Industrial Automation (Automação de Processos Industriais)

Industrial 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 information

Extreme Point Solutions for Infinite Network Flow Problems

Extreme 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 information

Relation of Pure Minimum Cost Flow Model to Linear Programming

Relation 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 information

On the Applicability of an Interval Time Structure for Protocol Verification

On 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 information

Task Predecessors Time (hours) A - 2 B - 3 C A 1 D B 8 E B,C 7 F D,E 5

Task 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 information

Review Questions, Final Exam

Review 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 information

From Stochastic Processes to Stochastic Petri Nets

From 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 information

fakultät für informatik informatik 12 technische universität dortmund Petri nets Peter Marwedel Informatik 12 TU Dortmund Germany

fakultä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 information

DECOMPOSITION OF PETRI NETS

DECOMPOSITION 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 information

Cycle Time Analysis for Wafer Revisiting Process in Scheduling of Single-arm Cluster Tools

Cycle 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 information

Determinants: Introduction and existence

Determinants: 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 information

56:171 Operations Research Midterm Exam--15 October 2002

56: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 information

A 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 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