Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system-Reference-Cited by-同舟云学术

Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system

Published:1985 Issue: Volume: Page:15-31
ISSN:0302-9743
Container-title:Advances in Petri Nets 1984
language:
Short-container-title:

Author:

Alla H.,Ladet P.,Martinez J.,Silva-Suarez M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15204-0_2.pdf

Reference9 articles.

1. CAVANNA B., DOLLE F., MOALLA H.: "Outils CAO pour l'Analyse, la Spécification et la Réalisation de l'Automatisation d'Equipements de Production Mécanique". 3ème Journées Scientifiques et Techniques de la Production Automatisée. TOULOUSE.

2. CHAMBADAL L, OVAERT J.: "Notions Fondamentales d'Algèbre et d'Analyse". Ed. GAUTHIER — VILLARS — PARIS.

3. JENSEN K.: "Coloured Petri Nets and the Invariant Method". Theoretical Computer Science 14. North Holland Publ. Co., pp. 317–336.

4. JENSEN K.: "How to Find Invariants for Coloured Petri Nets". Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 118. Springer Verlag, BERLIN.

5. LAUTENBACH K., SCHMID H.A.: "Use of Petri Nets for Proving Correctness of Concurrent Process Systems". IFIP 74. North Holland Pub. Co. pp. 187–191.

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards a model driven approach for integrating NWN models in CINCO;2022 2nd International Conference on New Technologies of Information and Communication (NTIC);2022-12-21

2. Manufacturing-Production Systems and Their Importance: Evaluation of Flexible Manufacturing Systems (FMS);European Journal of Science and Technology;2021-12-10

3. Study of manufacturing resource perception and process control of a radio-frequency-identification-enabled decentralized flexible manufacturing system;Advances in Mechanical Engineering;2017-01

4. Simulation Study of Flexible Manufacturing Cell Based on Token-Oriented Petri Net Model;International Journal of Simulation Modelling;2016-09-15

5. Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes;Transactions of the Institute of Measurement and Control;2009-09-07