【摘 要】
:
In this paper, an autonomous subnet based structural methodology for bottom-up synthesis of Petri Nets for Flexible Manufacturing Systems is proposed. Furthermo
【机 构】
:
Lucent Technologies,Institute of Microelectronics
论文部分内容阅读
In this paper, an autonomous subnet based structural methodology for bottom-up synthesis of Petri Nets for Flexible Manufacturing Systems is proposed. Furthermore, the theoretical analysis of the model constructed by the method is carried by intensively using model's structural information, such as invariants, siphons, etc.. As a result, the analysis leads us to draw the general conclusion that the model obtained is conservativeness and thus bound, and characterize its liveness in terms of zero-marking minimal siphons. It is based on model's structural information that distinguishes our method from others. In line of this thought, a liveness guarantying policy for the obtained model is proposed. Some control subnets are merged into the original model according to the proposed synthesis rules in this paper to ensure that no minimal siphons are emptied in any state, therefore the liveness is guaranteed. As a result, a live, conservative and revertible Petri Nets is obtained. A practical example is also presented to demonstrate the effectiveness of this method.
其他文献
转向节是汽车转向系统中十分重要的结构件,它能够承受转向轮的负载以及路面通过转向轮传递来的冲击,同时还能够传递来自转向器的转向力实现控制汽车行驶方向。本文首先介绍了转
On the basis of hydrographic data obtained in November 28 to December 27, 1998 cruise, the calculation of the circulation in the South China Sea (SCS) is made b
In the Karamay oilfield located on the northwestern margin of Junggar basin, Xinjiang, China, a large area of the Karamay Formation is exposed at outcrop in the
The tectono-stratigraphic sequences of the Kuqa foreland fold-thrust belt in the northern Tarim basin,northwest China, can be divided into the Mesozoic sub-salt
The novel differential scanning calorimetry method for determining trapped water volume of human red blood cell during freezing process has been reexamined. Res
The Lower Cretaceous strata in the Kuqa Basin in Xinjiang are marked by a set of arid red beds. Several types of sedimentary facies can be identified in this se
The interest for land navigation has increased for the recent years. With the advent of the Global Position System (GPS) we have now the ability to determine th
Rankine理论和Coulomb理论均不适合用于浅圆仓的侧压力计算. 基于此, 本文研究了浅圆仓散料侧压力的实际分布规律及计算方法. 根据极限平衡理论, 首先得到散粒体作用在单位周
Based on an analysis of full-cover multi-beam bathymetric data, seismic and sub-bottom profiling data, and other geological-geophysical data sets, the geomorpho
Almost all the oil and gas reservoirs developed in marine sedimentary strata of China have undergone processes of multi-phase reservoir formation and later modi