Keyword: flexible manufacturing systems

• Jalilvand, Abolfazl; Khanmohammadi, Sohrab:
  Modeling of Flexible Manufacturing Systems by Timed Petri Net. 2004.

• Hsieh, Fu-Shiung:
  Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets. 2004.

• Hsieh, Fu-Shiung:
  Robustness of deadlock avoidance algorithms for sequential processes. 2003.

• El Mekkawy, Tarek Y.; El Maraghy, Hoda A.:
  Real-time scheduling with deadlock avoidance in flexible manufacturing systems. 2003.

• Odrey, Nicholas G.; Mejía, Gonzalo:
  A re-configurable multi-agent system architecture for error recovery in production systems. 2003.

• Chen, F.F.; Chen, J.:
  Performance Modelling and Evaluation of Dynamic Tool Allocation in Flexible Manufacturing Systems using Coloured Petri Nets: An Object-Oriented Approach. 2003.

• Uzam, M.:
  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions. 2002.

• Huang, Y.; Jeng, M.D.; Xie, Z.; Chung, S.:
  Deadlock prevention policy based on Petri nets and siphons. 2001.

• Balduzzi, F.; Guia, A.; Menga, G.:
  First-order hybrid Petri nets: a model for optimization and control. 2000.

• Fanti, M.P.; Maione, B.; Turchiano, B.:
  Comparing digraph and Petri net approaches to deadlock avoidance. 2000.

• Garcia-Valles, F.; Colom, J.M.; Ezpeleta, J.:
  Comments on ``Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources''. 2000.

• Kuo, C.-H.; Huang, H.-P.:
  Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets. 2000.

• Patak, R.; Struhar, M.:
  Modeling and simulation of flexible manufacturing systems controlled by Petri nets. 2000.

• Reyes Moro, A.; Yu, H.; Kelleher, G.:
  A PN reachability analysis branching scheme for the scheduling of FMS. 2000.

• Zhang, W.J.; Li, Q.; Bi, Z.M.; Zha, X.F.:
  A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing. 2000.

• Basile, F.; Chiacchio, P.; Vittorini, V.; Mazzocca, N.:
  Specification and modeling of flexible manufacturing systems using behaviors and Petri nets building blocks. 1999.

• Deng, Y.; Yang, C.R.:
  Architecture-driven modeling of real-time concurrent systems with applications in FMS. 1999.

• Hosseini, M.M.; Kerr, R.M.; Randall, R.B.:
  A Hybrid Maintenance Model with Imperfect Inspection for a System with Deterioration and Poisson Failure. 1999.

• Jeng, M.D.; Chen, S.C.:
  Heuristic search based on Petri net structures for FMS scheduling. 1999.

• Wu, N.:
  Necessary and sufficient conditions for deadlock--free operation in flexible manufacturing systems using a colored Petri net model. 1999.

• Wu, Z.:
  CEM/T net, a high level Petri net for FMS modeling. 1999.

• Ziong, H.H.; Zhou, M.:
  Deadlock-free scheduling of flexible manufacturing systems based on Petri nets. 1999.

• Wang, Jiacun; Deng, Yi:
  Incremental modeling and verification of flexible manufacturing systems. 1999.

• Abdallah, I.B.; ElMaraghy, H.A.:
  Deadlock prevention and avoidance in FMS - a Petri net based approach. 1998.

• Chung, Y.-Y.; Fu, L.-C.; Lin, M.-W.:
  Petri net based modeling and GA based scheduling for a flexible manufacturing system. 1998.

• Ferrarini, L.; Maroni, M.:
  Deadlock-avoidance control for manufacturing systems with multiple capacity resources. 1998.

• Frey, G.; MoÑig, K.; Schnabel, M.:
  Assembly line sequencing based on Petri net T-invariants. 1998.

• Hammami, S.; Moalla, M.; Chaillet-Subias, A.:
  The contribution of multi-agent systems to monitoring and diagnosis FMS. 1998.

• Jeng, M.D.; Chen, S.C.:
  A heuristic search approach using approximate solutions to Petri net state equations for scheduling flexible manufacturing systems. 1998.

• Jeng, M.D.; Chiou, W.D.:
  Heuristic search for scheduling flexible manufacturing systems. 1998.

• Jin, J.Q.; Loftust, M.; Franks, I.T.:
  A method for the acquisition of users requirements on discrete manufacturing cell systems. 1998.

• Kun, L.J.:
  Work in process (WIP) analysis of the flexible manufacturing system using time Petri net unfolding. 1998.

• Kuo, C.-H.; Huang, H.-P.; Yeh, M.-C.:
  Object-oriented approach to MCTPN for modeling flexible manufacturing systems. 1998.

• Maione, G.; DiCesare, F.:
  A Petri net and digraph-theoretic approach for deadlock avoidance in flexible manufacturing systems. 1998.

• Proth, J.M.; Sauer, N.:
  Scheduling of piecewise-constant product flows - a Petri net approach. 1998.

• Xiong, H.H.; Zhou, M.C.:
  Scheduling of semiconductor test facility via port nets and hybrid heuristic search. 1998.

• Xue, Y.; Kieckhafer, R.M.; Choobineh, F.F.:
  Automated construction of GSPN models for flexible manufacturing systems. 1998.

• Ziegler, P.; Szczerbicka, H.:
  Performance and performability evaluation of FMS using GSPN. 1998.

• Hruz, B.:
  A design method of the conflict-free Petri net models for the manufacturing systems control. 1997.

• Ezpeleta, Joaquín; Colom, José Manuel:
  Automatic Synthesis of Colored Petri Nets for the Control of FMS. 1997.

• Camus, H.; Ohl, H.; Korbaa, O.; Gentina, J.C.:
  Cyclic Schedules in Flexible Manufacturing Systems with Flexibilities in Operating Sequences. 1996.

• Belli, F.; Dreyer, J.:
  Systems Specification, Analysis, and Validation by means of Timed Predicate/Transition Nets and Logic Programming. 1995.

• Nakagawa, M.; Kumagai, S.; Miyamoto, T.; Lee, D.-I.S.:
  Equivalent net reduction for firing sequence. 1995.

• Venkatesh, K.; Ilyas, M.:
  Real-time Petri nets for modeling, controlling, and simulation of local-area networks in flexible manufacturing systems. 1995.

• Kochikar, V.P.; Narendran, T.T.:
  On using abstract models for analysis of flexible manufacturing systems. 1994.

• Lee, D.Y.; DiCesare, F.:
  Scheduling flexible manufacturing systems using Petri nets and heuristic search. 1994.

• Shiizuka, H.; Suzuki, M.:
  Modeling of AGV networks in flexible manufacturing systems. 1994.

• Ausfelder, C.; Castelani, E.; Gentina, J.-C.:
  A hierarchical modular model of flexible manufacturing systems. 1993.

• Ben Ahmed, S.; Moalla, M.; Estaban, P.; Courvoisier, M.:
  A modular approach to the specification and validation of the production flexible systems command. 1993.

• Borusan, A.:
  Colored Petri net based modeling of FMS. 1993.

• Chaillet, A.; Courvoisier, M.; Combacau, M.; de Bonneval, A.:
  Merging Petri nets and database models for control and monitoring requirements in FMS. 1993.

• Ezpeleta, J.; Colom, J.M.; Martínez, J.:
  A Petri net based deadlock prevention policy for flexible manufacturing systems. 1993.

• Ezpeleta, J.; Martínez, J.; Colom, J.M.:
  Synthesis of Live High Level Models for a Class of FMS. 1993.

• Nishimura, T.; Lee, D.I.; Kumagai, S.; Kodama, S.:
  Efficient decomposition algorithm for flexible manufacturing systems modeled by free-choice nets. 1993.

• Ohl, H.; Castelain, E.; Gentina, J.-C.:
  State dependent release control in flexible manufacturing systems. 1993.

• Hatono, Itsuo; Yamagata, Keiichi; Tamura, Hiroyuki:
  Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets. 1991.

• Srihari, K.; Cecil, J.A.; Emerson, C.R.:
  An Application of Petri Nets in FMS Modeling, Analysis, and Control. 1990.

• Viswanadham, N.; Narahari, Y.; Johnson, T.L.:
  Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models. 1990.

• Zhou, MengChu; DiCesare, Frank:
  Modeling Buffers in Automated Manufacturing Systems Using Petri Nets. 1990.

• Menon, S.R.; Ferreira, P.M.; Kapoor, S.G.:
  A Colored Petri Net System for Simulation and Control of FMSs. 1989.

• Valette, R.; Cardoso, J.; Dubois, D.:
  Monitoring Manufacturing Systems by means of Petri Nets With Imprecise Markings. 1989.

Back to the Petri Nets Bibliography