找回密碼
 To register

QQ登錄

只需一步，快速開始

掃一掃，訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Dynamic Analysis of Petri Net-Based Discrete Systems; Andrei Karatkevich Book 2007 Springer-Verlag Berlin Heidelberg 2007 Logical Control.

[復(fù)制鏈接]
查看: 54847|回復(fù): 39
樓主
發(fā)表于 2025-3-21 17:30:22 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Dynamic Analysis of Petri Net-Based Discrete Systems
編輯Andrei Karatkevich
視頻videohttp://file.papertrans.cn/284/283508/283508.mp4
概述Presents 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
叢書名稱Lecture Notes in Control and Information Sciences
圖書封面Titlebook: Dynamic Analysis of Petri Net-Based Discrete Systems; Andrei Karatkevich Book 2007 Springer-Verlag Berlin Heidelberg 2007 Logical Control.
描述Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-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 face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State 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).
出版日期Book 2007
關(guān)鍵詞Logical Control; Parallel Systems; Petri Nets; State Explosion; State Space Construction; Verification; co
版次1
doihttps://doi.org/10.1007/978-3-540-71560-3
isbn_softcover978-3-540-71464-4
isbn_ebook978-3-540-71560-3Series ISSN 0170-8643 Series E-ISSN 1610-7411
issn_series 0170-8643
copyrightSpringer-Verlag Berlin Heidelberg 2007
The information of publication is updating

書目名稱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é)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:58:57 | 只看該作者
板凳
發(fā)表于 2025-3-22 04:17:03 | 只看該作者
,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
地板
發(fā)表于 2025-3-22 04:47:24 | 只看該作者
5#
發(fā)表于 2025-3-22 10:01:33 | 只看該作者
6#
發(fā)表于 2025-3-22 16:36:49 | 只看該作者
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).
7#
發(fā)表于 2025-3-22 17:38:42 | 只看該作者
8#
發(fā)表于 2025-3-22 22:40:33 | 只看該作者
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
9#
發(fā)表于 2025-3-23 02:28:09 | 只看該作者
10#
發(fā)表于 2025-3-23 09:11:18 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-6 03:22
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
信丰县| 仁寿县| 宁津县| 当雄县| 本溪市| 北京市| 犍为县| 大足县| 邯郸市| 寿阳县| 邵东县| 化州市| 瓮安县| 大英县| 吴川市| 陆良县| 通山县| 汉寿县| 东乌珠穆沁旗| 城固县| 吴川市| 上思县| 山东省| 汶上县| 临西县| 泗洪县| 灵台县| 水富县| 襄城县| 嵊泗县| 林甸县| 元谋县| 太仆寺旗| 秭归县| 庆阳市| 东港市| 金寨县| 通榆县| 彭阳县| 大城县| 通河县|