Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems

<div>Behavior module of <svg height="11.6836pt" id="M450" style="vertical-align:-3.29562pt" version="1.1" viewbox="-0.0498162 -8.38798 41.2902 11.6836" width="41.2902pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M380 106C343 72 306 56 265 56C195 56 116 112 115 248C235 252 361 262 377 265C396 269 400 277 400 297C400 374 333 449 250 449H249C198 449 144 421 103 376S37 269 37 201C37 88 109 -12 232 -12C263 -12 332 6 395 84L380 106ZM225 412C281 412 315 364 314 312C314 297 308 292 290 292C232 290 176 289 120 289C135 370 180 412 225 412Z" id="g121-99"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="425" vert-adv-y="425"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,5.525,0)"><path d="M631 18C609 24 585 35 559 65C534 91 514 117 478 169C448 214 406 281 389 313C462 346 516 399 516 485C516 545 490 590 449 616C412 641 363 650 290 650H42V622C120 615 128 612 128 527V125C128 40 120 34 38 28V0H300V28C221 34 212 40 212 125V284H244C295 284 312 272 329 244C359 195 395 133 430 84C475 19 516 -3 592 -7C603 -8 615 -8 627 -8L631 18ZM212 316V563C212 591 215 602 223 607C231 613 248 617 277 617C352 617 423 577 423 469C423 415 407 375 368 345C343 324 310 316 260 316H212Z" id="g121-80"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="621" vert-adv-y="621"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,13.728,0)"><path d="M719 650H483V622C553 619 576 606 581 560C585 532 588 487 588 394V148H585L167 650H20V622C67 618 88 610 109 585C127 562 129 557 129 484V264C129 173 126 124 123 93C118 44 92 31 35 28V0H272V28C204 32 181 44 176 95C173 124 170 172 170 264V515H172L598 -9H629V394C629 487 631 532 635 563C639 606 663 619 719 622V650Z" id="g121-76"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="743" vert-adv-y="743"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,23.475,3.132)"><path d="M682 0V33C615 38 603 49 571 134C507 305 441 494 378 665L343 655L136 136C101 48 86 41 22 33V0H246V33C170 41 161 50 183 112C196 152 209 192 224 232H441C461 176 478 126 493 87C504 49 499 41 433 33V0H682ZM425 279H242C273 363 303 448 335 533H337L425 279Z" id="g58-63"></path><glyph.data ascent="1007" descent="-369" horiz-adv-x="703" vert-adv-y="703"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,29.872,3.132)"><path d="M682 0V33C615 38 603 49 571 134C507 305 441 494 378 665L343 655L136 136C101 48 86 41 22 33V0H246V33C170 41 161 50 183 112C196 152 209 192 224 232H441C461 176 478 126 493 87C504 49 499 41 433 33V0H682ZM425 279H242C273 363 303 448 335 533H337L425 279Z" id="g58-63"></path><glyph.data ascent="1007" descent="-369" horiz-adv-x="703" vert-adv-y="703"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,36.224,3.132)"><path d="M416 501L399 642C356 655 314 665 271 665C140 665 63 582 63 486C63 372 163 325 229 290C304 250 359 217 359 142C359 70 316 25 240 25C138 25 94 125 78 186L44 178C52 123 64 45 72 21C81 16 96 8 121 0S179 -15 220 -15C353 -15 445 68 445 176C445 289 350 335 270 375C191 414 143 449 143 520C143 572 177 627 253 627C340 627 366 556 382 495L416 501Z" id="g58-81"></path><glyph.data ascent="1007" descent="-369" horiz-adv-x="484" vert-adv-y="484"></glyph.data></g></svg>.</div>

Discrete Dynamics in Nature and Society

fig8

Figure 8

Figure 8: Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems 