长垣产业园区科技文献服务平台

期刊


ISSN0142-3312
刊名Transactions of the Institute of Measurement and Control
参考译名计量与控制学会汇刊
收藏年代1988～2024



全部

1988 1990 1991 1992 1993 1998
1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2024

2011, vol.33, no.1 2011, vol.33, no.2 2011, vol.33, no.3/4 2011, vol.33, no.5 2011, vol.33, no.6 2011, vol.33, no.7
2011, vol.33, no.8

题名作者出版年年卷期
Interactive Web service composition based on Petri netPing Sun; ChangJun Jiang; MengChu Zhou20112011, vol.33, no.1
Uniform verification of workflow soundnessKamel Barkaoui; Rahma Ben Ayed20112011, vol.33, no.1
A fault monitor for automated manufacturing systems using a hybrid Petri nets formalismM. Dotoli; M. P. Fanti; A. M. Mangini20112011, vol.33, no.1
Software architectural modelling and verification: a Petri net and temporal logic approachJiacun Wang; Xianzhong Zhou; Junhua Ding20112011, vol.33, no.1
Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systemsA. R. Wang; Z. W. Li; J. Y. Jia20112011, vol.33, no.1
Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri netsYi-Sheng Huang; Ta-Hsiang Chung20112011, vol.33, no.1
Guest editorial: Petri nets and agile manufacturingMengChu Zhou; ZhiWu Li20112011, vol.33, no.1
A study on fairness of place/transition systems-to make fairness fairerChongyi Yuan; Yu Huang; Wen Zhao; Xinpeng Li20112011, vol.33, no.1
An iterative deadlock prevention approach for automated manufacturing systemsH. S. Hu20112011, vol.33, no.1
A hybrid approach to design deadlock-free Petri net controller for discrete event systemsG. Q. Zeng; W. M. Wu; W. J. Mao; H. Y. Su; J. Chu20112011, vol.33, no.1
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024