標(biāo)題: Titlebook: Dynamic Analysis of Petri Net-Based Discrete Systems; Andrei Karatkevich Book 2007 Springer-Verlag Berlin Heidelberg 2007 Logical Control. [打印本頁] 作者: Recovery 時間: 2025-3-21 17:30
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems影響因子(影響力)
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems影響因子(影響力)學(xué)科排名
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems網(wǎng)絡(luò)公開度
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems被引頻次
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems被引頻次學(xué)科排名
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems年度引用
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems年度引用學(xué)科排名
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems讀者反饋
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems讀者反饋學(xué)科排名
作者: Paleontology 時間: 2025-3-21 22:58 作者: DALLY 時間: 2025-3-22 04:17
,Analysis by Solving Logical Equations — Calculation of Siphons and Traps,ir extensions) properties like liveness and reversibility can be decided by analysis of siphons and traps [21, 28, 155, 176, 194, 228, 241, 249] - for example, there is a known result that a free choice net is live, if and only if every siphon contains a marked trap [140, 183]. Finding siphons and t作者: GAVEL 時間: 2025-3-22 04:47 作者: Jogging 時間: 2025-3-22 10:01 作者: 絕緣 時間: 2025-3-22 16:36
Book 2007State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).作者: 絕緣 時間: 2025-3-22 17:38 作者: 時代錯誤 時間: 2025-3-22 22:40
Andrei KaratkevichPresents an adaptation of the Petri net analysis methods to the low-level models which can be directly used in design of logical controllers.The researchers will find in the book certain addition to t作者: 攝取 時間: 2025-3-23 02:28 作者: 新手 時間: 2025-3-23 09:11 作者: Scleroderma 時間: 2025-3-23 13:11 作者: Axillary 時間: 2025-3-23 14:45 作者: 減去 時間: 2025-3-23 18:13
Hans-Dieter Klingemann,Max KaaseReachability graph . of an interpreted Petri net . is a subgraph of the reachability graph . of the underlying net ., because an interpretation can reduce possibilities of the net evolution and never can expand them. RRG ., constructed for ., is a subgraph of ., but not necessarily of .; so . can miss some information, important for analysis of ..作者: 敬禮 時間: 2025-3-23 22:25 作者: Ingratiate 時間: 2025-3-24 05:20 作者: 盟軍 時間: 2025-3-24 09:53
Verification of Detailed System Descriptions,Reachability graph . of an interpreted Petri net . is a subgraph of the reachability graph . of the underlying net ., because an interpretation can reduce possibilities of the net evolution and never can expand them. RRG ., constructed for ., is a subgraph of ., but not necessarily of .; so . can miss some information, important for analysis of ..作者: PLIC 時間: 2025-3-24 14:32
Hans-Dieter Klingemann,Max Kaasegn languages and formalisms used for system specification (such as VHDL, Verilog) allow describing concurrency. Design of complex, VLSI-based electronic devices is possible only with the help of CAD systems, so the design and verification methods have to be (and mostly are) formalized. Formalization作者: 2否定 時間: 2025-3-24 15:35
Jürgen W. Falter,Siegfried Schumannanalysis is reduced to the task of analysis of the blocks of its decomposition, which may be considerably smaller than the net itself. That procedure can simplify analysis of large nets. Decomposition turns to be useful also for the synthesis purposes. More about theory and applications of net decom作者: COST 時間: 2025-3-24 20:39
Max Kaase,Hans-Dieter Klingemannir extensions) properties like liveness and reversibility can be decided by analysis of siphons and traps [21, 28, 155, 176, 194, 228, 241, 249] - for example, there is a known result that a free choice net is live, if and only if every siphon contains a marked trap [140, 183]. Finding siphons and t作者: 發(fā)微光 時間: 2025-3-25 01:56
Hans-Dieter Klingemann,Max Kaaseused in the systems of computer-aided design of discrete devices. This is natural for the current level of development of system engineering and logical design, because practically every non-primitive software or hardware system, from logical control devices to multithread software applications, con作者: 只有 時間: 2025-3-25 03:28
Dynamic Analysis of Petri Net-Based Discrete Systems978-3-540-71560-3Series ISSN 0170-8643 Series E-ISSN 1610-7411 作者: COST 時間: 2025-3-25 10:43
Hans-Dieter Klingemann,Max Kaaseused in the systems of computer-aided design of discrete devices. This is natural for the current level of development of system engineering and logical design, because practically every non-primitive software or hardware system, from logical control devices to multithread software applications, consists of concurrently acting objects.作者: Assault 時間: 2025-3-25 12:22 作者: 強制令 時間: 2025-3-25 19:31
978-3-540-71464-4Springer-Verlag Berlin Heidelberg 2007作者: 侵略 時間: 2025-3-25 23:47
Introduction,ic devices is possible only with the help of CAD systems, so the design and verification methods have to be (and mostly are) formalized. Formalization and automatization of system design requires developing of formal models for parallel discrete systems and low-level description languages based on these models.作者: MURAL 時間: 2025-3-26 03:15
Decomposition for Analysis,can simplify analysis of large nets. Decomposition turns to be useful also for the synthesis purposes. More about theory and applications of net decomposition can be found in [15, 19, 36, 102, 169, 249, 251].作者: 咒語 時間: 2025-3-26 07:35
Max Kaase,Hans-Dieter Klingemannraps has a variety of applications to verification and design of parallel systems, such as detection and prevention of deadlocks (usually in a correct system no siphon can be emptied) [65, 81, 92]; one application of this kind will be presented below in Subsection 6.1.3.作者: flourish 時間: 2025-3-26 09:07 作者: BRIBE 時間: 2025-3-26 13:19 作者: Chandelier 時間: 2025-3-26 20:11 作者: 里程碑 時間: 2025-3-26 23:45 作者: 假 時間: 2025-3-27 04:36
Book 2007ject-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to fa作者: Free-Radical 時間: 2025-3-27 07:33
9樓作者: 惹人反感 時間: 2025-3-27 11:55
9樓作者: 慷慨不好 時間: 2025-3-27 17:04
9樓作者: BURSA 時間: 2025-3-27 20:10
9樓作者: BRINK 時間: 2025-3-27 23:03
10樓作者: Talkative 時間: 2025-3-28 05:17
10樓作者: 初次登臺 時間: 2025-3-28 08:30
10樓作者: antipsychotic 時間: 2025-3-28 14:30
10樓
