Author: José de Jesús Medel JuárezPublisher:
ISBN: 9789703604388
Category :
Languages : es
Pages : 16
Book Description
Introducción a las redes de Petri
Author: José de Jesús Medel JuárezPublisher:
ISBN: 9789703604388
Category :
Languages : es
Pages : 16
Book Description
Introducción a las redes de petri
Author: Manuel SilvaConcurrencia y sistemas distribuidos
Author: Vicente Cholvi JuanPublisher: Publicacions de la Universitat Jaume I
ISBN: 9788480214346
Category : Computers
Languages : en
Pages : 352
Book Description
In extensive sense, the content of the book treats aspects related to the concurrent systems and distributed of investigators or lines of emerging work that have a quality very remarcabale, all they presented in the XI Days of Assembly, that took place in Benicassim you gave them 11, 12 and 13 of June of 2003
Petri Nets
Author: Pawel PawlewskiPublisher: BoD – Books on Demand
ISBN: 9535107003
Category : Computers
Languages : en
Pages : 506
Book Description
Petri Nets were introduced in the doctoral dissertation by K.A. Petri, titled "Kommunikation mit Automaten" and published in 1962 by University of Bonn. Petri Nets are graphical (the intuitive graphical modeling language) and mathematical (advanced formal analysis method) tool. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The main idea of this theory was modified by many researchers according to their needs, owing to the unusual "flexibility" of this theory. The present monograph focuses on Petri Nets applications in two main areas: manufacturing (section 1) and computer science (section 2). These two areas have still huge influence on our lives and our world. The theory of Petri Nets is still developing: some directions of investigations are presented in section 3. And at the end there is section 4 including some infesting facts concerning application of Petri Nets in the public area: the analysis and control of public bicycle sharing systems. The monograph shows the results of research works performed with use of Petri Nets in science centers all over the world.
Petri Nets in Science and Engineering
Author: Raul Campos-RodriguezPublisher: BoD – Books on Demand
ISBN: 1789236924
Category : Computers
Languages : en
Pages : 146
Book Description
This book presents a collection of chapters from different areas of science and engineering, where Petri Nets have been shown to be a useful tool for the design and modeling of the problems that arise in such fields. The areas covered in this book include manufacturing systems, authentication and cyber-security, computer architectures, mechanical systems, process mining, control theory and time analysis. The main focus of the chapters was to be illustrative, to help the development of intuitive ideas that may guide the reader to adopt Petri Nets in their scientific or engineering work. However, there are other chapters with deep mathematical basis such as time analysis. Whenever possible, models, graphics and examples illustrate the developed concepts.
Petri Net Technology for Communication-Based Systems
Author: Hartmut EhrigPublisher: Springer Science & Business Media
ISBN: 3540205381
Category : Computers
Languages : en
Pages : 466
Book Description
This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes. The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community.
Petri Nets for Systems Engineering
Author: Claude GiraultPublisher: Springer Science & Business Media
ISBN: 3662053241
Category : Computers
Languages : en
Pages : 602
Book Description
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
Applications and Theory of Petri Nets
Author: Las redes de Petri
Author: G. W. BramsPublisher:
ISBN: 9788431103934
Category :
Languages : es
Pages : 176
Book Description
Unifying Petri Nets
Author: Hartmut EhrigPublisher: Springer Science & Business Media
ISBN: 9783540430674
Category : Computers
Languages : en
Pages : 500
Book Description
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.