Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1995: Application and Theory of Petri Nets 1995 pp 218–237Cite as

Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning

  • Full Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 935))

Abstract

The main purpose of this paper is to present the use of a synchronized colored Petri net model as the formalism to specify control for discrete event real time low cost programmable controllers (PLCs), integrating an extended fuzzy controller with rule based approximate reasoning capabilities.

The goal of the proposed model is the integration of different formalisms in a common specification. Supported formalisms include the “classical” programmable controller languages, and new paradigms, like fuzzy controllers and approximate reasoning, as well.

A description of the in- and output signals to be handled by the controller is made, namely possible types and internal representations. The analysis of the Petri net model in order to support automatic code generation is pursued through the construction of the reachability tree for the non autonomous net model. Support for distributed control implementation is also discussed.

Examples of modelling a FIFO production system and intelligent buildings monitoring are presented to illustrate the modelling capabilities and applicability.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Albertos; 1992; “Fuzzy controllers”; in “Application of Artificial Intelligence in Process Control”; L. Bougart, A. Krijgsman and R. A. Vingerhoeds (eds); Pergamon Press; ISBN 0 08 042017 6

    Google Scholar 

  2. H. Atabakhche, D. Simonetti Barbalho, R. Vallete, M. Courvoisier; 1986; “From Petri net based PLCs to knowledge based control”; Proceedings IECON'86; 1986 International Conference on Industrial Electronics, Control and Instrumentation; Milwaukee, WI, USA, September 29–October 3, pp. 817–822

    Google Scholar 

  3. Tiehua Cao and Arthur C. Sanderson; 1993; “Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets”; 14th International Conference on Application and Theory of Petri Nets; Chicago; USA; in LNCS-691, Marco Ajmone Marsan (Ed.); Springer-Verlag; pp. 126–145

    Google Scholar 

  4. Shyi-Ming Chen, Jyh-Sheng Ke and Jin-Fu Chang; 1990; “Knowledge Representation Using Fuzzy Petri Nets”; IEEE Transactions on Knowledge and Data Engineering, vol. 2, no. 3, pp. 311–319

    Google Scholar 

  5. René David; 1991; “Modeling of dynamic systems by Petri nets”; European Control Conference, Grenoble, France, pp. 136–147

    Google Scholar 

  6. René David, Hassane Alla; 1992; “Petri Nets & Grafcet; Tools for modelling discrete event systems”; Prentice Hall International (UK) Ltd; ISBN 0-13-327537-X.

    Google Scholar 

  7. Luís F.S. Gomes, A. Steiger Garção; 1992; “Especificação e realização de controladores utilizando redes de Petri coloridas e sincronizadas integrando lógica imprecisa” (in Portuguese); Workshop Ibero-americano de Sistemas Autónomos em Robótica e CIM; Lisbon; November, 2–4 1992; also published in “Revista Robótica e Automatização”, n. 10, Nov 1992.

    Google Scholar 

  8. Luís Gomes, A. Steiger-Garção, Luís Gama, Nuno Correia; 1993; “Programação de controladores utilizando redes de Petri” (in Portuguese); 4as Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador; Ordern dos Engenheiros; Lisbon; May, 17–19 1993; also selected for publishing in “Revista Ingenium”, ISSN 0870-5968, no. 72 July/Agost 1993 pp. 43–52.

    Google Scholar 

  9. Luís Gomes, A. Steiger-Garção, João P. Barros, P. Próspero Luís; 1994; “Simulação de controladores especificados através de redes de Petri” (in Portuguese); CONTROLO'94, 1∘ Encontro Português de Controlo Automático; Lisbon; Portugal; September, 14–16, 1994

    Google Scholar 

  10. Luís Gomes, A. Steiger-Garção; 1995; “Petri net based Programmable Fuzzy Controller targeted for distributed control environments”; FUZZ-IEEE/IFES'95, The International Joint Conference on Fuzzy Systems of the Fourth IEEE International Conference on Fuzzy Systems and the Second International Fuzzy Engineering Symposium; Yokohama, Japan; March 20–24, 1995

    Google Scholar 

  11. P. Huber, A. M. Jensen, L. O. Jepsen and K. Jensen; 1986; “Reachability Trees for Highlevel Petri Nets”; Theoretical Computer Science 45; Elsevier Science Publishers B. V.; pp. 261–292

    Google Scholar 

  12. René Jager; 1992; “Adaptive Fuzzy Control”; in “Application of Artificial Intelligence in Process Control”; L. Bougart, A. Krijgsman and R. A. Vingerhoeds (eds); Pergamon Press; ISBN 0 08 042017 6

    Google Scholar 

  13. K. Jensen; 1990; “Coloured Petri Nets: A High Level Language for System Design and Analysis”; in Advances in Petri Nets, 1990; Lecture Notes in Computer Science; vol. 483; G. Rozenberg (ed.); Springer, Berlin; pp 342–416

    Google Scholar 

  14. Chuen Chien Lee; 1990; “Fuzzy Logic in Control Systems: Fuzzy Logic Controller”; IEEE Transactions on Systems, Man and Cybernetics, vol. 20, no. 2, pp. 404–435

    Google Scholar 

  15. Carl G. Looney; 1988; “Fuzzy Petri Nets for Rule-Based Decisionmaking”; IEEE Transactions on Systems, Man and Cybernetics, vol. SMC-18, no. 1, pp. 178–183

    Google Scholar 

  16. Tadao Murata and D. Zhang; 1988; “A predicate/transition net model for parallel interpretation of logic programs”; IEEE Transactions Software Eng., vol. 14, no. 4, pp. 481–497

    Google Scholar 

  17. Tadao Murata; 1989; “Petri Nets: Properties, Analysis and Applications”; Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580

    Google Scholar 

  18. J-C. Pascal, R. Valette and D. Andreu; 1992; “Fuzzy sequential control based on Petri nets”; ETFA'92 IEEE International Workshop on Emerging Technologies and Factory Automation; Melbourne, Australia, August 11–14

    Google Scholar 

  19. Witold Pedrycz; 1993; “Fuzzy control and fuzzy systems”; Second, extended, edition; Research Studies Press Ltd.; ISBN 0 86380 131 5

    Google Scholar 

  20. G. Peterka and Tadao Murata; 1989; “Proof procedure and answer extraction in Petri net model of logic programs”; IEEE Transactions Software Eng., vol. 15, no. 2, pp. 209–217

    Google Scholar 

  21. James Peterson; 1981; “Petri Nets Theory and the Modeling of Systems”; Prentice Hall Inc.

    Google Scholar 

  22. M. Silva; 1989; “Logical controllers”; IFAC Low Cost Automation, Techniques, Components & Instruments, Applications, Milan, Italy; pp. F-157, F-166

    Google Scholar 

  23. M. Silva; 1993; Invited talk at 14th International Conference on Application and Theory of Petri Nets; Chicago; USA; June 1993

    Google Scholar 

  24. M. Silva and S. Velilla; 1982; “Programmable Logic Controllers and Petri Nets: a comparative study”; IFAC Software for Computer Control, Madrid, Spain; pp. 83–88

    Google Scholar 

  25. Ronald R. Yager; 1984; “Approximate Reasoning as a Basis for Rule-Based Expert Systems”; IEEE Transactions on Systems, Man and Cybernetics, vol. SMC-14, no. 4, pp. 636–643

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Sciences and Technology, Department of Electrical Engineering, New University of Lisbon, Campus da FCT-UNL, 2825, Monte de Caparica, Portugal

    Luís Gomes

  2. Intelligent Robotics Center, UNINOVA, Campus da FCT-UNL, 2825, Monte de Caparica, Portugal

    A. Steiger-Garção

Authors
  1. Luís Gomes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Steiger-Garção
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio De Michelis Michel Diaz

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gomes, L., Steiger-Garção, A. (1995). Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-60029-9_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60029-9

  • Online ISBN: 978-3-540-49408-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation