More Web Proxy on the site http://driver.im/

article

Generalised Batches Petri Net: Hybrid Model For High SpeedSystems With Variable Delays

Author:

I. DemongodinAuthors Info & Claims

Discrete Event Dynamic Systems, Volume 11, Issue 1-2

Pages 137 - 162

https://doi.org/10.1023/A:1008343317511

Published: 01 January 2001 Publication History

Abstract

Recently, the possibility of associating both discrete events and continuous time behaviour in the same formalism has generated a considerable interest in the Petri net paradigm. A central issue in this field is the concept of Hybrid Petri net which consists in continuous transitions and places holding non negative real number, and discrete transitions and places holding integer tokens. By adding a new type of nodes, batch transitions and batch places, Batches Petri nets have been defined. A batch node combines both a discrete event and a linear continuous dynamic behaviour in a single structure. Batches Petri nets can then be used in the control design and performance analysis of high-speed systems composed of continuous transfer elements which introduce variable delays on continuous flows. In this paper, the complete formalism of Generalised Batches Petri nets is given through the definition of the model, the enabling and firing rules, the time analysis methods, and two examples illustrate these notions.

References

[1]

Alla, H., and David, R. 1987. Continuous Petri nets. European Workshop on Application and Theory of Petri Nets Zaragoza, Spain, pp. 275-294.

[2]

Alla, H., and David, R. 1998. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 8(1): 159-188.

[3]

Allam, M., and Alla, H. 1998. From Petri nets to hybrid automata. European Journal of Automation 32(9-10): 1165-1185.

[4]

Antsaklis, P. J., Koutsoukos, X. D., and Zaytoon, J. 1998. On hybrid control of complex systems: a survey. European Journal of Automation 32(9-10): 1023-1045.

[5]

Audry, N., and Prunet, F. 1994. Controlled batches Petri nets. International Conference on Systems, Man and Cybernetics, IEEE/SMC Vancouver, Canada, pp. 1849-1854.

[6]

Audry, N., Demongodin, I., and Prunet, F. 1994. Modelling of high throughput production lines by using generic models described in Batches Petri nets. International Conference on Robotics and Automation, IEEE/RA San Diego, USA, pp. 807-812.

[7]

Audry, N., Ghabri, M. K., Demongodin, I., Prunet, F., and Ladet, P. 1994. Modelling and control of high throughput production lines. IFAC Workshop on New Trends in Design of Control Systems Smolenice, Slovakia, pp. 392-397.

[8]

Balduzzi, F., Di Febbraro, A., Giua, A., and Sacone, S. 1999. Control of hybrid Petri nets using Max-plus algebra. CSCC'99 IEEE/IMACS Athens, Greece, pp. 2651-2656.

[9]

Balduzzi, F., Giua, A., and Menga, G. 1998. Hybrid stochastic Petri nets: firing speed computation and FMS modelling. Workshop on Discrete Event Systems Cagliari, Italy, pp. 432-438.

[10]

Brinkman, P. L., and Blaauboer, W. A. 1990. Timed continuous Petri net: A tool for analysis and simulation of discrete event systems. European Simulation Symposium Ghent, Belgium, pp. 164-168.

[11]

Caradec, M., and Prunet, F. 1998. Modelling of hybrid flexible production systems by coloured batches Petri nets. European Journal of Automation 32(9-10): 1255-1269.

[12]

Däne, B., Mölders, A., Melber, A., and Fengler, W. 1997. Modeling an industrial transportation facility with colored Petri nets. Workshop on Manufacturing and Petri Nets Toulouse, France, pp. 104-116.

[13]

David, R., and Caramihai, S. I., 2000. Modeling of delays on continuous flows thanks to extended hybrid Petri nets. Conference on Automation of Mixed Processes: Hybrid Dynamic Systems Dortmund, Germany, pp. 343-350.

[14]

David, R. 1997. Modeling of hybrid systems by continuous and hybrid Petri nets. International Workshop on Petri Nets and Performance Models Saint Malo, France, pp. 47-58.

Digital Library

[15]

David, R., and Alla, H. 1992. Petri Nets and Grafcet. London: Prentice Hall Int.

Digital Library

[16]

David, R., and Alla, H. 1994. Petri nets for modeling of dynamic systems--a survey. Automatica 30(2): 175-202.

Digital Library

[17]

Demongodin, I., and Prunet, F. 1992. Extensions of hybrid Petri nets to accumulation systems. IMACS International Symposium on Mathematical Modelling and Scientific Computing Bangalore, India, pp. 558-568.

[18]

Demongodin, I., and Prunet, F. 1993. Simulation modelling for accumulation conveyors in transient behaviour. COMPEURO 7th. Annual Computer Conference IEEE Paris, France, pp. 29-37.

[19]

Demongodin, I., and Prunet, F. 1997. The modeling of production lines by discrete events and continuous time aspect in Petri nets. IFAC/IFIP Conference on Management and Control of Production and Logistics Campinas, Brasil, pp. 235-243.

[20]

Demongodin, I. Mostefaoui, M., and Sauer, N. 1999. Liveness of neutral hybrid marked graphs. International Workshop on Formal Methods and Manufacturing Zaragoza, Spain, pp. 49-64.

[21]

Demongodin, I. 1999. Extended structures of batches Petri nets. International Conference on Systems, Man and Cybernetics, IEEE/SMC Tokyo, Japan, pp. 182-187.

[22]

Demongodin, I., Audry, N., and Prunet, F. 1993. Batches Petri nets. International Conference on Systems, Man and Cybernetics, IEEE/SMC Le Touquet, France, pp. 607-617.

[23]

Demongodin, I., Caradec, M., and Prunet, F. 1998. Fundamental concepts of analysis of batches Petri nets. International Conference on Systems, Man and Cybernetics, IEEE/SMC San Diego, USA, pp. 845-850.

[24]

Dubois, E., and Alla, H. 1993. Hybrid Petri nets with a stochastic discrete part. European Conference Control Groningen, NL, pp. 144-149.

[25]

Lebail, J. Alla, H., and David, R. 1991. Hybrid Petri nets. European Control Conference, ECC'91 Grenoble, France, pp. 1472-1477.

[26]

Murata, T. 1989. Petri nets: properties, analysis and applications. Proceeding of the IEEE, pp. 541-579.

[27]

Silva, M., and Teruel, E. 1997. Petri nets for the design and operation of manufacturing systems. European Journal of Control 3: 182-199.

[28]

Trivedi and Kulkani. 1993. FSPNs: Fluid stochastic Petri nets. International Conference on Application and Theory of Petri Nets Chicago, USA, pp. 24-31.

Digital Library

[29]

Valette, R. 1997. Some issues about Petri net application to manufacturing and process supervisory control. International Conference on Application and Theory of Petri Nets Toulouse, France, pp. 23-41.

Digital Library

Cited By

Hélouët LThébault A(2023)Mochy: A Tool for the Modeling of Concurrent Hybrid SystemsApplication and Theory of Petri Nets and Concurrency10.1007/978-3-031-33620-1_11(205-216)Online publication date: 25-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-33620-1_11
Liu RAmmour RBrenner LDemongodin I(2020)ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri NetsVerification and Evaluation of Computer and Communication Systems10.1007/978-3-030-65955-4_7(84-99)Online publication date: 26-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-65955-4_7
Riouali YBenhlima LBah S(2017)Toward a Global WSN-Based System to Manage Road TrafficProceedings of the International Conference on Future Networks and Distributed Systems10.1145/3102304.3102332(1-6)Online publication date: 19-Jul-2017
https://dl.acm.org/doi/10.1145/3102304.3102332
Show More Cited By

Generalised Batches Petri Net: Hybrid Model For High SpeedSystems With Variable Delays
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis

Recommendations

Modelling by Petri nets of the hybrid systems in electrical engineering
ISTASC'06: Proceedings of the 6th WSEAS International Conference on Systems Theory & Scientific Computation

Petri nets enable a discrete event system of any kind whatsoever to be modeled. They present two interesting characteristics. Firstly they make it possible to model and visualize behaviors comprising concurrency, synchronization and resource sharing. ...
Agent-based modelling of the evacuation of endangered areas in crisis situations

The evacuation process from endangered areas (EA) into safe spaces in crisis situations is modelled by means of simple agents (gate-ways equipped by sensors). Petri nets (PN) are utilized here to model the EA structure as well as the agents and their ...
A petri net system: an overview
Special issue on theory and applications of soft computing (TASC04)

Petri nets are one of well established tools in both theoretical analysis and practical modelling of concurrent systems as well as approximate reasoning. However, practical usage of Petri nets is limited by the lack of computer tools which would allow ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Discrete Event Dynamic Systems

Discrete Event Dynamic Systems Volume 11, Issue 1-2

January 2001

178 pages

ISSN:0924-6703

Issue’s Table of Contents

Copyright © Copyright © 2001 Kluwer Academic Publishers.

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 January 2001

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hélouët LThébault A(2023)Mochy: A Tool for the Modeling of Concurrent Hybrid SystemsApplication and Theory of Petri Nets and Concurrency10.1007/978-3-031-33620-1_11(205-216)Online publication date: 25-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-33620-1_11
Liu RAmmour RBrenner LDemongodin I(2020)ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri NetsVerification and Evaluation of Computer and Communication Systems10.1007/978-3-030-65955-4_7(84-99)Online publication date: 26-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-65955-4_7
Riouali YBenhlima LBah S(2017)Toward a Global WSN-Based System to Manage Road TrafficProceedings of the International Conference on Future Networks and Distributed Systems10.1145/3102304.3102332(1-6)Online publication date: 19-Jul-2017
https://dl.acm.org/doi/10.1145/3102304.3102332
Hiraishi K(2015)Simulating Markovian stochastic Petri Nets by difference equations with interval parametersDiscrete Event Dynamic Systems10.1007/s10626-014-0188-425:3(365-386)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1007/s10626-014-0188-4
Silva MJúlvez JMahulea CVázquez C(2011)On fluidization of discrete event modelsDiscrete Event Dynamic Systems10.1007/s10626-011-0116-921:4(427-497)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1007/s10626-011-0116-9
Bohlmann SKlinger VSzczerbicka HDunkin AIngalls R(2009)HPNSWinter Simulation Conference10.5555/1995456.1995584(874-885)Online publication date: 13-Dec-2009
https://dl.acm.org/doi/10.5555/1995456.1995584
Demongodin I(2009)Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch SpeedProceedings of the 30th International Conference on Applications and Theory of Petri Nets10.1007/978-3-642-02424-5_13(204-222)Online publication date: 18-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02424-5_13

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents