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

 
9783848489442: Petri Net based Multi-Elevator System with Multi-Agent Environment: Uses of Petri Nets for Elevator Systems
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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Biographie de l'auteur

Muhammad Ilyas FakhirCity/Village: Angah (Khushab)

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

É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