Formal methods in manufacturing / edited by Javier Campos, Carla Seatzu, Xiaolan Xie.
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalis...
Saved in:
| Online Access: |
Full Text (via Taylor & Francis) |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Boca Raton :
CRC Press,
[2014]
|
| Series: | Industrial information technology series.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b11585009 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 140222s2014 flu ob 001 0 eng d | ||
| 005 | 20240930163542.4 | ||
| 010 | |a 2013048177 | ||
| 019 | |a 870905510 |a 874180142 |a 880898160 |a 1065701087 |a 1162699125 |a 1175728447 |a 1202558446 | ||
| 020 | |a 9781466561564 |q (electronic bk.) | ||
| 020 | |a 1466561564 |q (electronic bk.) | ||
| 020 | |a 9781315216140 | ||
| 020 | |a 1315216140 | ||
| 020 | |a 9781351823340 | ||
| 020 | |a 1351823345 | ||
| 020 | |z 9781466561557 |q (hardback) | ||
| 020 | |z 1466561556 |q (hardback) | ||
| 020 | |z 9781138074293 | ||
| 024 | 7 | |a 10.1201/9781315216140 | |
| 035 | |a (OCoLC)tfe870946300 | ||
| 035 | |a (OCoLC)870946300 |z (OCoLC)870905510 |z (OCoLC)874180142 |z (OCoLC)880898160 |z (OCoLC)1065701087 |z (OCoLC)1162699125 |z (OCoLC)1175728447 |z (OCoLC)1202558446 | ||
| 037 | |a tfe9781315216140 | ||
| 040 | |a EBLCP |b eng |e rda |e pn |c EBLCP |d OCLCQ |d N$T |d WAU |d OCLCA |d E7B |d YDXCP |d OCLCO |d VLB |d IDEBK |d OCLCA |d CDX |d OCLCO |d OCLCF |d CRCPR |d OCLCQ |d COO |d UMI |d DEBBG |d DEBSZ |d OTZ |d OCLCQ |d UAB |d OCLCQ |d ERL |d OCLCQ |d CEF |d OCLCQ |d U3W |d NLE |d YDX |d UKMGB |d WYU |d S9I |d LEAUB |d UKAHL |d OCLCQ |d UHL |d OCLCQ |d VT2 |d SFB | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a TS183 | |
| 245 | 0 | 0 | |a Formal methods in manufacturing / |c edited by Javier Campos, Carla Seatzu, Xiaolan Xie. |
| 264 | 1 | |a Boca Raton : |b CRC Press, |c [2014] | |
| 264 | 4 | |c ©20. | |
| 264 | 4 | |c ©2014. | |
| 300 | |a 1 online resource (xviii, 698 pages) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a data file |2 rda. | ||
| 490 | 1 | |a Industrial information technology series. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Front Cover; Contents; Preface; Editors; Contributors; Part I -- Modelling and Simulations of Manufacturing Systems; Chapter 1 -- Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets; Chapter 2 -- Modelling Manufacturing Systems in a Dioid Framework; Chapter 3 -- Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets; Chapter 4 -- Hybrid Models for the Control and Optimization of Manufacturing Systems; Chapter 5 -- Freight Transportation in Distributed Logistic Chains; Part II -- Supervisory Control of Manufacturing Systems. | |
| 505 | 8 | |a Chapter 6 -- Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State AutomataChapter 7 -- Structural Deadlock Prevention Policies for Flexible Manufacturing Systems: A Petri Net Outlook; Chapter 8 -- Deadlock Avoidance Policies in Production Systems by a Digraph Approach; Chapter 9 -- Supervisory Control of Manufacturing Systems Using Petri Nets; Chapter 10 -- Supervisory Control of Manufacturing Systems Using Extended Finite Automata; Chapter 11 -- Inference-Based and Modular Decentralized Control of Manufacturing Systems with Event-Driven Dynamics. | |
| 505 | 8 | |a Chapter 12 -- Model Predictive Control of Manufacturing Systems with Max-Plus AlgebraPart III -- Performance Evaluation of Manufacturing Systems and Supply Chains; Chapter 13 -- Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation; Chapter 14 -- Performance Evaluation and Control of Manufacturing Systems: A Continuous Petri Nets View; Chapter 15 -- Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra; Chapter 16 -- Lean Buffer Design in Production Systems. | |
| 505 | 8 | |a Chapter 17 -- Inventory Allocation and Cycle Time Estimation in Manufacturing and Supply SystemsChapter 18 -- Minimizing Total Place Capacity under Throughput Constraint for a Weighted Timed Event Graph; Chapter 19 -- Scheduling of Semiconductor Manufacturing Systems Using Petri Nets; Chapter 20 -- Model Synthesis, Planning, Scheduling and Simulation of Health-Care Delivery Systems Using Petri Nets; Part IV -- Fault Diagnosis of Manufacturing Systems; Chapter 21 -- Fault Diagnosis of Manufacturing Systems Using Finite State Automata; Chapter 22 -- Fault Diagnosis in PetriNets. | |
| 505 | 8 | |a Chapter 23 -- Online Control Reconfiguration for Manufacturing SystemsBack Cover. | |
| 520 | |a Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration. | ||
| 546 | |a English. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Manufacturing processes |x Mathematical models. |0 http://id.loc.gov/authorities/subjects/sh2010100512. | |
| 650 | 7 | |a Manufacturing processes |x Mathematical models. |2 fast |0 (OCoLC)fst01008179. | |
| 700 | 1 | |a Campos, Javier, |d 1963- |e editor. |0 http://id.loc.gov/authorities/names/no2014041756. | |
| 700 | 1 | |a Seatzu, Carla, |e editor. |0 http://id.loc.gov/authorities/names/no2011015759 |1 http://isni.org/isni/0000000115134499. | |
| 700 | 1 | |a Xie, Xiaolan, |e editor. |0 http://id.loc.gov/authorities/names/n96057785 |1 http://isni.org/isni/0000000116417343. | |
| 776 | 0 | 8 | |i Print version: |t Formal methods in manufacturing. |d Boca Raton : CRC Press, 2014 |z 9781466561557 |w (DLC) 2013048177 |w (OCoLC)792875378. |
| 830 | 0 | |a Industrial information technology series. |0 http://id.loc.gov/authorities/names/n2004015661. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://www.taylorfrancis.com/books/9781315216140 |z Full Text (via Taylor & Francis) |
| 907 | |a .b115850090 |b 10-19-21 |c 01-22-21 | ||
| 956 | |a Taylor & Francis Ebooks | ||
| 956 | |b Taylor & Francis All eBooks | ||
| 956 | |a Taylor & Francis Perpetual | ||
| 998 | |a web |b 06-23-21 |c b |d b |e - |f eng |g flu |h 0 |i 1 | ||
| 907 | |a .b115850090 |b 07-01-21 |c 01-22-21 | ||
| 907 | |a .b115850090 |b 06-23-21 |c 01-22-21 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 915 | |a I | ||
| 999 | f | f | |i 7ad95127-970d-54db-a3f5-3e459cd32fb9 |s 76f59d26-9976-5240-b5e9-08755459d15a |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e TS183 |h Library of Congress classification |i web |n 1 |