Narrow your search

Library

KU Leuven (9)

Odisee (9)

Thomas More Kempen (9)

Thomas More Mechelen (9)

UCLL (9)

ULB (9)

ULiège (9)

VIVES (9)

AP (8)

KDG (8)

More...

Resource type

book (11)

digital (8)


Language

English (19)


Year
From To Submit

2019 (3)

2017 (2)

2015 (2)

2014 (6)

2013 (2)

More...
Listing 1 - 10 of 19 << page
of 2
>>
Sort by

Book
Petri Nets Applications
Author:
ISBN: 9535158678 9533070471 Year: 2010 Publisher: IntechOpen

Loading...
Export citation

Choose an application

Bookmark

Abstract

Petri Nets are graphical and mathematical tool used in many different science domains. Their characteristic features are the intuitive graphical modeling language and advanced formal analysis method. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model can be applied in modeling real-time systems. Petri Nets were introduced in the doctoral dissertation by K.A. Petri, titled “„Kommunikation mit Automaten” and published in 1962 by University of Bonn. During more than 40 years of development of this theory, many different classes were formed and the scope of applications was extended. Depending on particular needs, the net definition was changed and adjusted to the considered problem. The unusual “flexibility” of this theory makes it possible to introduce all these modifications. Owing to varied currently known net classes, it is relatively easy to find a proper class for the specific application. The present monograph shows the whole spectrum of Petri Nets applications, from classic applications (to which the theory is specially dedicated) like computer science and control systems, through fault diagnosis, manufacturing, power systems, traffic systems, transport and down to Web applications. At the same time, the publication describes the diversity of investigations performed with use of Petri Nets in science centers all over the world.


Book
Petri nets : manufacturing and computer science
Author:
ISBN: 9535156705 9535107003 Year: 2012 Publisher: IntechOpen

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Process Simulation and Optimization in Sustainable Logistics and Manufacturing
Authors: ---
ISBN: 3319073478 331907346X 1322136513 Year: 2014 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The aim of this book is to present qualitative aspects of logistics operations and supply chain management which help to implement the sustainable policy principles in the companies and public sector’s  institutions. Authors in individual chapters  address the issues related to reverse network configuration, forward and reverse supply chain integration, CO2 reduction in transportation, improvement of the  production operations and management of the recovery activities. Some best practices from different countries and industries are presented. This book will be valuable to both academics and practitioners wishing to deepen their knowledge in the field of logistics operations and management with regard to sustainability issues.


Digital
Process Simulation and Optimization in Sustainable Logistics and Manufacturing
Authors: ---
ISBN: 9783319073477 Year: 2014 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

The aim of this book is to present qualitative aspects of logistics operations and supply chain management which help to implement the sustainable policy principles in the companies and public sector’s  institutions. Authors in individual chapters  address the issues related to reverse network configuration, forward and reverse supply chain integration, CO2 reduction in transportation, improvement of the  production operations and management of the recovery activities. Some best practices from different countries and industries are presented. This book will be valuable to both academics and practitioners wishing to deepen their knowledge in the field of logistics operations and management with regard to sustainability issues.


Book
Distributed Computing and Artificial Intelligence, 11th International Conference
Authors: --- --- --- --- --- et al.
ISBN: 3319075934 3319075926 Year: 2014 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The 11th International Symposium on Distributed Computing and Artificial Intelligence 2014 (DCAI 2014) is a forum to present applications of innovative techniques for studying and solving complex problems. The exchange of ideas between scientists and technicians from both the academic and industrial sector is essential to facilitate the development of systems that can meet the ever-increasing demands of today’s society. The present edition brings together past experience, current work and promising future trends associated with distributed computing, artificial intelligence and their application in order to provide efficient solutions to real problems. This year’s technical program presents both high quality and diversity, with contributions in well-established and evolving areas of research (Algeria, Brazil, China, Croatia, Czech Republic, Denmark, France, Germany, Ireland, Italy, Japan, Malaysia, Mexico, Poland, Portugal, Republic of Korea, Spain, Taiwan, Tunisia, Ukraine, United Kingdom), representing a truly “wide area network” of research activity. DCAI'14 Special Sessions have been a very useful tool in order to complement the regular program with new or emerging topics of particular interest to the participating community. Special Sessions that emphasize on multi-disciplinary and transversal aspects, such as AI-driven methods for Multimodal Networks and Processes Modeling and Multi-Agents Macroeconomics have been especially encouraged and welcome. This symposium is organized by the Bioinformatics, Intelligent System and Educational Technology Research Group of the University of Salamanca. The present edition was held in Salamanca, Spain, from 4th to 6th June 2014.


Book
FlexSim in Academe: Teaching and Research
Authors: --- --- ---
ISBN: 3030045196 3030045188 Year: 2019 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book describes a variety of teaching and academic research applications that effectively utilize FlexSim to: (1) provide guidelines, methods and tools for simulation modeling and analysis in a variety of educational settings and (2) address a variety of important design and operational issues in industry. Simulation is increasingly proving to be an important tool for supporting decision-making and problem-solving processes in many disparate domains, including the design, management and improvement of a wide range of operations systems in manufacturing, logistics, healthcare, etc. Achieving resource efficiency and minimizing negative externalities from operations represent two of today’s greatest challenges; modern simulation methods can help to overcome them. FlexSim is a prominent software package for developing discrete-event, agent-based, continuous, and hybrid simulations.


Book
FlexSim in Academe: Teaching and Research
Authors: --- --- --- ---
ISBN: 9783030045197 Year: 2019 Publisher: Cham Springer International Publishing :Imprint: Springer


Digital
Distributed Computing and Artificial Intelligence, 11th International Conference
Authors: --- --- --- --- --- et al.
ISBN: 9783319075938 Year: 2014 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

The 11th International Symposium on Distributed Computing and Artificial Intelligence 2014 (DCAI 2014) is a forum to present applications of innovative techniques for studying and solving complex problems. The exchange of ideas between scientists and technicians from both the academic and industrial sector is essential to facilitate the development of systems that can meet the ever-increasing demands of today’s society. The present edition brings together past experience, current work and promising future trends associated with distributed computing, artificial intelligence and their application in order to provide efficient solutions to real problems. This year’s technical program presents both high quality and diversity, with contributions in well-established and evolving areas of research (Algeria, Brazil, China, Croatia, Czech Republic, Denmark, France, Germany, Ireland, Italy, Japan, Malaysia, Mexico, Poland, Portugal, Republic of Korea, Spain, Taiwan, Tunisia, Ukraine, United Kingdom), representing a truly “wide area network” of research activity. DCAI'14 Special Sessions have been a very useful tool in order to complement the regular program with new or emerging topics of particular interest to the participating community. Special Sessions that emphasize on multi-disciplinary and transversal aspects, such as AI-driven methods for Multimodal Networks and Processes Modeling and Multi-Agents Macroeconomics have been especially encouraged and welcome. This symposium is organized by the Bioinformatics, Intelligent System and Educational Technology Research Group of the University of Salamanca. The present edition was held in Salamanca, Spain, from 4th to 6th June 2014.


Digital
FlexSim in Academe: Teaching and Research
Authors: --- --- ---
ISBN: 9783030045197 Year: 2019 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book describes a variety of teaching and academic research applications that effectively utilize FlexSim to: (1) provide guidelines, methods and tools for simulation modeling and analysis in a variety of educational settings and (2) address a variety of important design and operational issues in industry. Simulation is increasingly proving to be an important tool for supporting decision-making and problem-solving processes in many disparate domains, including the design, management and improvement of a wide range of operations systems in manufacturing, logistics, healthcare, etc. Achieving resource efficiency and minimizing negative externalities from operations represent two of today’s greatest challenges; modern simulation methods can help to overcome them. FlexSim is a prominent software package for developing discrete-event, agent-based, continuous, and hybrid simulations.


Book
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection : International Workshops of PAAMS 2015, Salamanca, Spain, June 3-4, 2015. Proceedings
Authors: --- --- --- --- --- et al.
ISBN: 9783319190334 3319190326 9783319190327 3319190334 Year: 2015 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the workshops which complemented the 13th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2015, held in Salamanca, Spain, in June 2015. The 36 revised full papers presented were carefully reviewed and selected from 91 submissions. This volume presents the papers that have been accepted for the following workshops: Workshop on Agents and multi-agent Systems for AAL and e-HEALTH, Workshop on Agent-Based Solutions for Manufacturing and Supply Chain, Workshop on MAS for Complex Networks and Social Computation, Workshop on Intelligent Systems for Context-based Information Fusion, Workshop on Multi-agent based Applications for Smart Grids and Sustainable Energy Systems, Workshop on Multiagent System based Learning Environments, Workshop in Intelligent Human-Agent Societies.

Keywords

Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer Applications. --- Computers and Education. --- Information Systems Applications (incl. Internet). --- Computer science. --- Artificial intelligence. --- Education. --- Informatique --- Intelligence artificielle --- Education --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Mechanical Engineering - General --- Application software. --- Data processing. --- Computer uses in education --- Computers in education --- Educational computing --- Microcomputer uses in education --- Microcomputers in education --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Artificial Intelligence. --- Children --- Education, Primitive --- Education of children --- Human resource development --- Instruction --- Pedagogy --- Schooling --- Students --- Youth --- Civilization --- Learning and scholarship --- Mental discipline --- Schools --- Teaching --- Training --- Intelligent agents (Computer software) --- Education—Data processing.

Listing 1 - 10 of 19 << page
of 2
>>
Sort by