Petri Net based Multi-Elevator System with Multi-Agent Environment: Uses of Petri Nets for Elevator Systems - Couverture souple

Fakhir, Muhammad Ilyas; Ahmad, Farooq; Afzal, Sher

Couverture souple

ISBN 10 : 3848489449 ISBN 13 : 9783848489442

Editeur : LAP LAMBERT Academic Publishing, 2012

Synopsis

I’m trying to build bridges between mathematics and practical subjects like information technology and engineering. A Petri nets (PNs) are a graphical and mathematical tool that are used for describing and studying information processing systems that are characterized as being concurrent, asynchronous, distributed, parallel, non-deterministic and/or stochastic. As a graphical tool, Petri nets can be used as a visual-communication aid similar to flow charts, block diagrams and networks. Tokens are used in these nets to simulate the dynamic and concurrent states of systems. As a mathematical tool, it is possible to set up state equations, algebraic equations and other mathematical models governing the behavior of systems. Since Petri nets are a formal methods’ designing and modeling technique, so they are used to model complex systems as mathematical entities. By building a mathematically rigorous model of a complex system, it is possible to verify the system's properties in a more thorough fashion than empirical testing.

A propos du livre

Biographie de l'auteur

Muhammad Ilyas FakhirCity/Village: Angah (Khushab)

Détails de l'édition

• Éditeur: LAP LAMBERT Academic Publishing
• Date d'édition: 2012
• Langue: anglais
• ISBN 10: 3848489449
• ISBN 13: 9783848489442
• Reliure: Broché
• Nombre de pages: 100
• Coordonnées du fabricant: non disponible
• Personne responsable: KreGa Onlinehandel GmbH; 4950000000000; info@krega-onlinehandel.de; ; Birkenweg 31; Brakel; 33034; Allemagne