A study on fairness of place/transition systems-to make fairness fairer
Yuan, Chongyi, Huang, Yu, Zhao, Wen, Li, Xinpeng
Published in Transactions of the Institute of Measurement and Control (01.02.2011)
Published in Transactions of the Institute of Measurement and Control (01.02.2011)
Get full text
Journal Article
A pragmatic behavior subtyping relation based on both states and actions
Wang, Shengyuan, Yu, Jian, Yuan, Chongyi
Published in Journal of computer science and technology (01.09.2001)
Published in Journal of computer science and technology (01.09.2001)
Get full text
Journal Article
Formalizing Business Process Execution Language Based on Petri Nets
Wen Zhao, Yu Huang, Chongyi Yuan, Lifu Wang
Published in 2010 2nd International Workshop on Intelligent Systems and Applications (01.05.2010)
Published in 2010 2nd International Workshop on Intelligent Systems and Applications (01.05.2010)
Get full text
Conference Proceeding
Formal Specification of Hierarchical Region RFID Code Resolution Service
Wen Zhao, XueYang Liu, Sen Ma, ChongYi Yuan, LiFu Wang
Published in 2011 3rd International Workshop on Intelligent Systems and Applications (01.05.2011)
Published in 2011 3rd International Workshop on Intelligent Systems and Applications (01.05.2011)
Get full text
Conference Proceeding
Synchronic Distance Based Workflow Logic Specification
Wen Zhao, Yu Huang, Chongyi Yuan
Published in 2008 10th IEEE International Conference on High Performance Computing and Communications (01.09.2008)
Published in 2008 10th IEEE International Conference on High Performance Computing and Communications (01.09.2008)
Get full text
Conference Proceeding
Program: Expressions of operations on physical objects
Yuan, Chongyi, Huang, Yu, Zhao, Wen
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.03.2009)
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.03.2009)
Get full text
Journal Article
O_expressions: A Petri Net Representation
Yuan, Chongyi, Huang, Yu, Zhao, Wen, Huang, Shuzhi
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.11.2010)
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.11.2010)
Get full text
Journal Article
Definitions and Specifications of O-expression Properties
Yuan, Chongyi, Zhao, Wen, Gao, Xin, Huang, Yu
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.01.2010)
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.01.2010)
Get full text
Journal Article
Solving inheritance anomaly with OMNets
Yu, Jian, Wang, Shengyuan, Yuan, Chongyi
Published in Journal of computer science and technology (01.01.2002)
Published in Journal of computer science and technology (01.01.2002)
Get full text
Journal Article
Device for manual hole digging foundation construction
JI DAOGUANG, JIANG JINGJIN, GUO LI, CHEN PEIQIANG, YANG KAI, FU QIGUANG, DING BAOMIN, YUAN CHONGYI, LIU SHUO, YAN JINGXIAO
Year of Publication 15.02.2022
Get full text
Year of Publication 15.02.2022
Patent
A Distributed RFID Discovery System: Architecture, Component and Application
Wen Zhao, XueYang Liu, Sen Ma, ChongYi Yuan, LiFu Wang
Published in 2011 14th IEEE International Conference on Computational Science and Engineering (01.08.2011)
Published in 2011 14th IEEE International Conference on Computational Science and Engineering (01.08.2011)
Get full text
Conference Proceeding
Portable biax pneumatic wrench of wheel base adjustable
LUAN YONG, WANG AIJIE, CHI YULONG, MA FENGCHEN, YANG QIFA, FU QIGUANG, LYU NIAN, DING BAOMIN, SHAN JUN, YUAN GUANGHONG, YUAN CHONGYI, LUO PENG
Year of Publication 01.02.2019
Get full text
Year of Publication 01.02.2019
Patent