Keyword: discrete-event systems

• Orth, Philipp; Bollig, Alexander; Abel, Dirk:
  Rapid Prototyping of Sequential Controllers With Petri Nets. 2005.

• Ashley, Jeffrey; Holloway, Lawrence E.:
  Qualitative Diagnosis of Condition Systems. 2004.

• Dotoli, Mariagrazia; Fanti, Maria Pia:
  An urban traffic network model via coloured timed Petri nets. 2004.

• Uzam, M.:
  Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions. 2004.

• Gu, Tianlong; Bahri, Parisa A.:
  A survey of Petri net applications in batch processes. 2002.

• Bahri, Parisa A.; Gu, Tianlong; Lee, Peter:
  Timed Petri Nets Based Scheduling for Batch Plants with the Consideration of Clean-up Operation. 2001.

• Bowden, F.D.J.:
  A brief survey and synthesis of the roles of time in Petri nets. 2000.

• Bulach, S.; Bauer, H.; Pfleiderer, H.-J.; Kucerovsky, Z.:
  Design of discrete event systems using Petri net and a dedicated controller. 2000.

• Harustak, M.; Hruz, B.:
  Supervisory control of discrete event system and its solution with the Petri net P-invariants. 2000.

• He, K.X.; Lemmon, M.D.:
  Liveness-enforcing supervision for n-safe ordinary Petri nets with uncontrollable transitions. 2000.

• Juhas, G.:
  A unified approach to modeling and control of a class of discrete event and hybrid systems via algebraically generalized Petri nets. 2000.

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

• Gu, Tianlong; Cai, Guoyong; Bahri, Parisa A.:
  The Short Term Scheduling Technique Based on Timed Petri-Net Representation for Multiproduct Batch Plants. 2000.

• Gu, Tianlong; Bahri, Parisa A.; Lee, Peter:
  A Novel Approach for Scheduling of Batch Plants with Variable Batchsizes. 2000.

• Bahri, Parisa A.; Gu, Tianlong; Lee, Peter:
  Petri-net Based Modelling and Scheduling of Batch Processing Plants - a Heuristic Algorithm. 2000.

• Bourij, A.; Koenig, D.:
  An original Petri net state estimation by a reduced Luenberger observer. 1999.

• Koh, I.; Choi, J.H.:
  Analysis of a discrete event system modeled by timed place Petri nets with shared resources. 1999.

• Lin, M.-H.; Fu, L.-C.:
  Modeling of priority queueing service in discrete event systems using hybrid Petri nets. 1999.

• Makungu, M.; Barbeau, M.; St-Denis, R.:
  Synthesis of controllers of processes modeled as colored Petri nets. 1999.

• Retchkiman, Z.:
  From the stability to the stabilization problem of discrete event systems modeled by Petri nets using Lyapunov methods. 1999.

• Tittus, M.; Akesson, K.:
  Petri net models in batch control. 1999.

• Tittus, M.; Lennartson, B.:
  Hierarchical supervisory control for batch processes. 1999.

• Wagneur, E.; Demongodin, I.:
  On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS. 1999.

• Wang, J.; Zhou, MengChu; Deng, Y.:
  Throughput analysis of discrete event systems based on stochastic Petri nets. 1999.

• Pinzon, L. E.; Hanisch, H. -M.; Jafari, M. A.; Boucher, T.:
  A Comparative Study of Synthesis Methods for Discrete Event Controllers. 1999.

• Wang, Jiacun; Zhou, MengChu; Deng, Yi:
  Modeling and throughput analysis of discrete event systems based on stochastic Petri nets. 1999.

• Gu, Tianlong; Bahri, Parisa A.:
  Timed Petri-Net Representation for Short Term Scheduling of Multiproduct Batch Plants. 1999.

• Suraj, Zbigniew:
  Petri Nets and Rough Sets in Controller Design. 1999.

• Alla, H.; David, R.:
  A modeling and analysis tool for discrete event systems -- continuous Petri net. 1998.

• Brat, G.P.; Garg, V.K.:
  A max-plus algebra of signals for the supervisory control of real-time discrete event systems. 1998.

• Bundell, G.A.:
  Modeling of distributed systems with timed event graphs. 1998.

• Chen, H.X.:
  Net structure and control logic synthesis of controlled Petri nets. 1998.

• Cohen, G.; Gaubert, S.; Quadrat, J.P.:
  Timed event graphs with multipliers and homogeneous min-plus systems. 1998.

• Dasdan, A.; Gupta, R.K.:
  Faster maximum and minimum mean cycle algorithms for system performance analysis. 1998.

• Declerck, P.; Mares, M.:
  Temporal control synthesis and failure recovery. 1998.

• Fanni, A.; Giua, A.:
  Discrete event representation of qualitative models using Petri nets. 1998.

• Gunnarsson, J.:
  Symbolic tools for verification of large scale DEDS. 1998.

• Jeng, M.D.; Xie, X.L.; Chou, S.W.:
  Modeling, qualitative-analysis, and performance evaluation of the etching area in an IC wafer fabrication system using Petri nets. 1998.

• Johnsson, C.; Arzen, K.-E.:
  Grafchart and its relation to Grafcet and Petri nets. 1998.

• Johnsson, C.; Arzen, K.-E.:
  Grafchart for recipe-based batch control. 1998.

• Zhou, MengChu; Twiss, E.:
  Design if industrial automated system via relay ladder logic programming and Petri nets. 1998.

• Zhou, M.C.; Jeng, M.D.:
  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems - a Petri net approach. 1998.

• Flochova, J.; Hruz, B.; Jirsak, P.:
  Program solutions of supervisory control based on Petri nets. 1997.

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

• Alpan, Gülgün; Jafari, Mohsen A.:
  Dynamic Analysis of Timed Petri Nets: A Case of Two Processes and a Shared Resource. 1997.

• Gu, Tianlong; Gao, Jianchang; Zhou, Chunhui:
  Modeling and Coordinate Control for Discrete Events in Batch Processes Via Petri Nets. 1996.

• Gu, Tianlong; Gao, Jianchang; Zhou, Chunhui:
  Petri Nets with I/O Function Hybrid Model. 1996.

• Gu, Tianlong; Gao, Jianchang; Zhou, Chunhui:
  Petri-Net-Based Coordinate Control of Discrete Events in Batch Processes. 1996.

• Haas, P.J.:
  Estimation Methods for Stochastic Petri Nets based on Standardized Time Series. 1996.

• Heiner, Monika; Deussen, P.:
  A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets. 1996.

• Miyamoto, T.; Kumagai, S.:
  A graph theoretic approach to reachability problem with Petri net unfoldings. 1996.

• David, R.:
  GRAFCET - a powerful tool for specification of logic controllers. 1995.

• Hirashi, K.; Nakano, M.:
  On symbolic model checking in Petri nets. 1995.

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

• Passino, K.M.; Burgess, K.L.; Michel, A.N.:
  Lagrange stability and boundedness of discrete-event systems. 1995.

• An, Y.F.; Pang, G.; Aplevich, D.:
  A hybrid model for intelligent control systems. 1994.

• Takai, S.; Ushio, T.; Kodama, S.:
  Concurrency and maximally permissive feedback in Petri nets with external input place. 1994.

• Haas, P.J.; Shedler, G.S.:
  Passage Times in Colored Stochastic Petri Nets. 1993.

• Trevino, A.R.:
  Optimal and suboptimal schedules in DEDS modeled using Petri nets. 1993.

• Haas, P.J.; Shedler, G.S.:
  Stochastic Petri Nets: Modelling Power and Limit Theorems. 1991.

• Murata, Tadao; Silva, M.:
  Petri-Net-Based Fairness Concepts for Discrete Event Systems. 1990.

• Denham, M.J.:
  A Petri-Net Approach to the Control of Discrete-Event Systems. 1988.

• Haas, P.J.; Shedler, G.S.:
  Modelling Power of Stochastic Petri Nets for Simulation. 1988.

Back to the Petri Nets Bibliography