For the most recent entries see the
Petri Nets Newsletter.
Keyword: discreteevent 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 Cleanup 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 Pinvariants.
2000.

He, K.X.;
Lemmon, M.D.:
Livenessenforcing supervision for nsafe 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 PetriNet 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:
Petrinet 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.;
StDenis, 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 PetriNet 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 maxplus algebra of signals for the supervisory control of realtime 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 minplus 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, qualitativeanalysis, 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 recipebased 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 conflictfree 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:
PetriNetBased 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 discreteevent 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.:
PetriNetBased Fairness Concepts for Discrete Event Systems.
1990.

Denham, M.J.:
A PetriNet Approach to the Control of DiscreteEvent Systems.
1988.

Haas, P.J.;
Shedler, G.S.:
Modelling Power of Stochastic Petri Nets for Simulation.
1988.
Do you need a refined search? Try our search engine
which allows complex fieldbased queries.
Back to the Petri Nets Bibliography