Time, Petri nets, and robotics

Based on the Petri net (PN) theory a particular class of condition/event nets called Omega , suitable for modeling repetitive workcell tasks, is defined. Nets in Omega are either deterministic or exhibit a restricted kind of conflict called choice among alternatives. It is shown how the repetitive behavior of such a net may be studied by decomposing this conflict into deterministic components associated with mutually exclusive alternatives. A unified description of the important temporal extensions of PN theory is presented, with emphasis on formal analysis. The PN notion of coverability is extended in the temporal sense and it is demonstrated that, for nets in Omega , the period of repetition (cycle time) can be directly computed from the durations associated with the individual operations, once the decomposition into components is performed. When the durations are specified in the form of minimum and maximum values, this period of repetition may be described by optimistic and pessimistic bounds. A typical assembly example adapted from work with a multirobot workcell testbed is also presented to illustrate two forms of temporal analysis. >

[1]  Paul Freedman,et al.  The analysis of repetitive sequencing at the workcell level: from workcell tasks to workcell cycles , 1990 .

[2]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[3]  Clare D. McGillem,et al.  Task assignment and load balancing of autonomous vehicles in a flexible manufacturing system , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[4]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[5]  George Loizou,et al.  Enumerating the cycles of a digraph: A new preprocessing strategy , 1982, Inf. Sci..

[6]  P. Ladet,et al.  Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system , 1985, European Workshop on Applications and Theory in Petri Nets.

[7]  Paul Freedman,et al.  Characterizing Repetition in Workcell Applications and the Implications for Sequence Optimization , 1989 .

[8]  J. Quadrat,et al.  Algebraic tools for the performance evaluation of discrete event systems , 1989, Proc. IEEE.

[9]  C. Vercauter,et al.  Application of an extension of petri nets to modelization of control and production processes , 1985 .

[10]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[11]  Michael J. Shaw.  Knowledge-based scheduling in flexible manufacturing systems , 1987 .

[12]  Frank DiCesare,et al.  Real time control of multilevel manufacturing systems using colored Petri nets , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[13]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[14]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[15]  Neil D. Jones,et al.  Complexity of Some Problems in Petri Nets , 1977, Theor. Comput. Sci..

[16]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[17]  Manuel Silva Suárez,et al.  Modeling, validation and software implementation of production systems using high level Petri nets , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[18]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[19]  Jan Magott.  Performance Evaluation of Dystems of Cyclic Sequential Processes with Mutual Exclusion Using Petri Nets , 1985, Inf. Process. Lett..

[20]  Jean-Claude Gentina,et al.  Coloured adaptive structured Petri-net: A tool for the automatic synthesis of hierarchical control of Flexible Manufacturing Systems (F.M.S.) , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[21]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[22]  P. Merlin,et al.  A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..

[23]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[24]  Francesco Archetti,et al.  Computation of the makespan in a transfer line with station breakdowns using stochastic petri nets , 1987, Comput. Oper. Res..

[25]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[26]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[27]  Giorgio Bruno,et al.  Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets , 1985, PNPM.

[28]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[29]  Rachid Alami,et al.  Dealing with time in planning and execution monitoring , 1988 .

[30]  Giorgio De Michelis,et al.  Superposed Automata Nets , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[31]  Jan Magott,et al.  Performance Evaluation of Concurrent Systems Using Petri Nets , 1984, Inf. Process. Lett..

[32]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[33]  Robert Valette,et al.  Nets in Production Systems , 1986, Advances in Petri Nets.

[34]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[35]  Ramarathnam Ravichandran,et al.  Decision support in flexible manufacturing systems using timed Petri nets , 1986 .

[36]  Giovanni Chiola,et al.  Generalized stochastic Petri nets for the performance evaluation of FMS , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[37]  Paul Freedman,et al.  The analysis and optimization of repetition within robot workcell sequencing problems , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[38]  Hidemi Kodate,et al.  Representation of FMS with Petri Net graph and its application to simulation of system operation , 1987 .

[39]  Ichiro Suzuki,et al.  Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter , 1989, IEEE Trans. Computers.

[40]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[41]  Miguel Menasche,et al.  PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets , 1985, Petri Nets and Performance Models.

[42]  Tadao Murata.  Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance , 1980, IEEE Transactions on Software Engineering.

[43]  B. Krogh,et al.  Models for simulation and discrete control of manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[44]  Steven Dubowsky,et al.  Planning time-optimal robotic manipulator motions and work places for point-to-point tasks , 1989, IEEE Trans. Robotics Autom..

[45]  David P. Miller,et al.  Deadlines, Travel Time, and Robot Problem Solving , 1985, IJCAI.

[46]  Miryam Barad,et al.  Flexibility in manufacturing systems: definitions and Petri net modelling , 1988 .

[47]  Michael K. Molloy.  Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.

[48]  Guy Juanole,et al.  Functional and Performance Analysis Using Extended Time Petri Nets , 1987, Petri Nets and Performance Models.

[49]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[50]  M. Zhou,et al.  A top-down approach to systematic synthesis of Petri net models for manufacturing systems , 1989, Proceedings, 1989 International Conference on Robotics and Automation.