期刊文献+

网中网理论在柔性制造系统中的应用

Flexible Manufacturing System Design Using Nets-within-Nets Theory
下载PDF
导出
摘要 网中网(Nets-within-Nets)理论提出传统Petri网中的标记(Token)可以用来描述对象,即标记也可以是一个Petri网,称为对象网(ObjectNets)。网中网支持用面向对象的技术描述现实世界的对象模型。参考网(ReferenceNets)根据网中网的理论并且结合了着色Petri网的概念,动态地创建网实例(NetInstance)作为对象网,变迁之间通过同步通道通信。本文根据网中网理论结合建模开发工具Renew,构建了柔性制造系统的宏观模型。 The nets-within-nets theory provides an innovative modeling technique by tokens .being able to be interpreted as objects, giving tokens themselves the structure of a Petfi net. These nets, called object nets, also support the object oriented modeling technique as they may represent real world objects . Reference Nets based the theory of nets-within-nets and extend the basie eoncepts of Colored Petri nets by dynamic creation of net instance, transition synchronization via synchronous channels. A Flexible Manufacturing System macroseopieal model is introduced within the Renew tool, a tool for drawing and simulating reference nets.
出处 《现代计算机》 2006年第2期20-23,共4页 Modern Computer
基金 甘肃省自然科学基金资助项目(3ZS042一B25-025) 兰州交通大学青蓝工程资助项目
关键词 网中网 Nets-within-Nets 参考网 REFERENCE NETS 柔性制造系统 着色PETRI网 对象模型 Nets-within-Nets Reference .Nets Flexible Manufacturing System
  • 相关文献

参考文献13

  • 1K. Jensen, A Brief Introduction to Colored Petri Nets. Workshop on the Applicability of Formal Models, 2 June 1998,Aarhus, Denmark.
  • 2K. Jensen. An Introduction to the Theoretical Aspects of Colored Petri Nets. Workshop on the Applicability of Formal Models, Aarhus, Denmark, 1998.
  • 3G. Balbo, G. Conte S. Donatelli Ajmone Marsan, M. and G. Franceschinis. Modelling with Generalized Stochastic Petfi Nets. John Wiley & Sons, 1995.
  • 4A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri Net Modeling and Performability Evaluation with Time NET 3.0. In Proc. 11th Int. Conf. On Modelling Techniques and Tools for Computer Performance Evaluation,188-202, Chicago, USA, 2000.
  • 5Beutel B. Integration of the Petri Net Tool Time NET into the MOSEL Modelling Environment. Diploma Thesis DA-I4-2002-17, Department of Computer Science, University of Erlangen, Germany, 2003.
  • 6Robert Harper. Programming in Standard ML. Carnegie Mellon University, Spring Semester, 2001.
  • 7Narahari Yl and Nl Viswanadham. A Petri Net Approach to the Modeling and Analysis of Flexible Manufacturing System. Annals of Operations Research,3,449-472,1985.
  • 8R"udiger Valk. Object Petri Nets Using the Nets-within-Nets Paradigm Universit" at Hamburg. Vogt-K"olln-Str.30,D-22527 Hamburg, Germany.
  • 9Annette Laue, Matthias Liedtke. Statecharts as Protocols for Objects. Vogt-K"olln-Straβe 30 D-22527 Hamburg,Germany.
  • 10K"ohler, M, Moldt, D, R"olke, H. : Modelling Mobility and Mobile Agents Using Nets within Nets. In Van Der Aalst,W, Best, E, eds: Proc. of 24nd International Conference on Application and Theory of Petri Nets 2003 (ICATPN2003), Eindhoven, NL, Berlin Heidelberg New York, to be Published in Lecture Notes in Computer Science,Springer-Verlag, 2003.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部