Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2002.8.4.292

Slices Method of Petri Nets Using the Transitive Matrix for Scheduling Analysis in FMS  

Song, You-Jin (Dept.of Computer Engineering, Changwon National University)
Kim, Jong-Wuk (Dept.of Computer Engineering, Changwon National University)
Lee, Jong-Kun (Dept.of Computer Engineering, Changwon National University)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.8, no.4, 2002 , pp. 292-298 More about this Journal
Abstract
We focus on the slicing off some sub-nets using the transitive matrix. Control flows in the Petri nets is done based on the token flows. One control f]ow explains the independent tokens status and if the token-in divides into several tokens after firing a transition then the control flow divides to several flows, as well. Accordingly, we define that the basic unit of concur-rency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. The BUC is S-invariant which has one control flow. We show the usefulness of transitive matrix to slice off some subnets from the original net based on BUC-through on an example.
Keywords
basic unit concurrency; FMS; slices; scheduling; time Petri nets; transitive matrix;
Citations & Related Records
연도 인용수 순위
  • Reference
1 WJ Lee, S. D. Cha, YR Kwon, 'Integration and analysis of use cases using modular Petri nets in requirements engineering,' IEEE Trans. On Software Eng., vol. 24, no. 12, pp. 1115-1130, 1998   DOI   ScienceOn
2 S. Julia, R. Valette, M. Tazza, 'Computing a feasible schedule under a set of cyclic constraints,' 2nd International Conference on Industrial Automation, Nancy 7-9, June, pp. 141-146, 1995
3 이종근, '타임 패트리 넷 unfolding을 이용한 FMS의 스케쥴링 분석,' 제어.자동화.시스템공학논문지, 제7권, 제4호, pp. 344-350, 2001
4 Jong K. Lee, O. Korbaa, JC Gentina, 'Slice analysis method of Petri nets in FMS using the transitive matrix,' will be appeared in proceeding INCOM2001, Austria, Sep., 2001
5 Gerard Berthelot, 'Transformation and decompositions of nets,' Advances in Petri Nets, pp. 359-376, 1986
6 Masato Notomi and Tadao Murata, 'Hierarchical reach ability graph of bounded Petri nets for concurrent-software analysis,' IEEE Transaction on Software Engineering, vol. 20, no. 5, 1994   DOI   ScienceOn
7 B. Berthomier and M. Diaz, 'Modeling and verification of time dependent systems using time petri nets,' IEEE Tr. Soft Eng., 17, pp. 259-273, 1991   DOI   ScienceOn
8 Jong K. Lee, O. Korebaa, JC. Gentina, 'Modeling and analysis of cycle schedule using Petri nets unfolding,' will be appeared in proceeding IEEE, SMC 2001, USA, Oct., 2001   DOI
9 C. S. Bae, J. W. Kim, Jong K. Lee, 'Modelinsation et analysedes systemes flexibles de production manufacturiere: ordonnancement de I'en-cours sous contrainte de ratio,' Proceeding CIFA2000, Lille, 5-8 July, 2000, pp. 790-795
10 Antti Valmari, 'The state explosion problem,' Petri Nets, pp. 429-528, 1996
11 이운진, 김홍남, 권용래, 'Petri Net Slice를 이용한 Petri Net 모델의 합성적 분석,' 한국 정보 처리학회 추계 학술 발표 논문집, 제6권, 제2호, 1999
12 G. Memmi et G. Roucairol, 'Linear algebra in net theory,' LNCS, no.84, SpringerVerlag, Hamburg, FRG, 1979   DOI
13 Y. Song and J. Lee, 'A study on the subnet of Petri net models using transitive matrix,' In : Proceeding IEEE-SMC '2000, vol. 4, pp. 3122-3127, 2000
14 H. Ohl, H. Camus, E. Castelain, and JC Gentina, 'Petri nets modelling of ratio-driven FMS and implication on the WIP for cyclic schedules,' In : Proceeding SMC'95, pp. 3081-3086, 1995
15 J. Carlier, P. Chretienne, 'Timed Petri nets schedules,' in G. Rozenberg, ed., advanced in PN'1988, vol. 340 of LNCS, pp. 62-84, Springer-Verlag, Berlin, Germany, 1988
16 M. Holiday and M. Vernon, 'A generalized TPN model for performance analysis,' IEEE Tran. On s/w, se-13, pp. 1297-1310, 1987
17 J. Lee, 'Time composition problem in time Petri nets,' In : Proceeding CIS'97, pp. 507-512, 1997
18 W. Zuberek and W. Kubiah, 'Throughput analysis of manufacturing cells using timed Petri nets,' In : Proceeding ICSYMC 1993, pp. 1328-1333, 1993   DOI
19 W. Zuberek, 'Schedules of flexible manufacturing cells and their timed colored Petri net models,' In : Proceeding ICSYMC 1995, pp. 2142-2147, 1995   DOI
20 O Korbaa, H. Camus, and J-C Gentina, 'FMS cyclic scheduling with overlapping production cycles,' In Proceeding ICATPN'97, pp. 35-52, 1997
21 P. Richard, Scheduling Timed Marked Graphs with Resources a serial method, Accepted in proceeding INCOM'98, 1998
22 T. Murata, Petri Nets : Properties, Analysis an Applications, Proceedings of the IEEE, 77(4), pp. 541-580, April, 1989   DOI   ScienceOn
23 Jinghong LIU, Y. Itoh, I. Miyazawa, T. Seikiguchi, 'A research on Petri nets properties using transitive matrix,' in proceeding IEEE SMC99, pp. 888-893, 1999   DOI
24 DY Lee, F. DiCesare, 'Petri net-based heuristic scheduling for flexible manufacturing,' In : Petri Nets in Flexible and Agile Automation, ed. Zhou MC, Kluwer Aca. Pub., USA, pp. 149-187, 1995
25 E. Best, L. Cherkasova, J. Desel, and J. Esparza, 'Characterization of home states in free choice systems,' Hildesheimer Informatik-Berichte 9/90, Universitat Hildesheim, 1990