中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches 期刊论文 OAI收割 IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338 作者: Dan You; Oussama Karoui; Shouguang Wang \| 收藏 \| 浏览/下载：41/0 \| 提交时间：2021/11/03 Petri nets (PNs) problem decomposition resource-allocation systems siphons
	A Learning-Embedded Attributed Petri Net to Optimize Student Learning in a Serious Game 期刊论文 OAI收割 IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2021, 页码: 9 作者: Liang, Jing; Tang, Ying; Hare, Ryan; Wu, Ben; Wang, Fei-Yue \| 收藏 \| 浏览/下载：34/0 \| 提交时间：2022/01/27 Games Task analysis Problem-solving Petri nets Random forests Training Radio frequency Learning optimization Petri nets (PNs) serious game (SG)
	A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文 OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 作者: Du, YuYue; Jiang, ChangJun; Zhou, MengChu 收藏 \| 浏览/下载：28/0 \| 提交时间：2015/11/08 correctness formal verification Petri nets (PNs) stock trading systems temporal logic
	A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文 OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 作者: Du, YuYue; Jiang, ChangJun; Zhou, MengChu 收藏 \| 浏览/下载：17/0 \| 提交时间：2015/11/08 correctness formal verification Petri nets (PNs) stock trading systems temporal logic
	a petri-net-based correctness analysis of internet stock trading systems 期刊论文 OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 Du YuYue; Jiang ChangJun; Zhou MengChu \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/06/10 correctness formal verification Petri nets (PNs) stock trading systems temporal logic