For the most recent entries see the
Petri Nets Newsletter.
Keyword: timed petri nets
-
Jalilvand, Abolfazl;
Khanmohammadi, Sohrab;
Nia, Fereiddon Shabani:
Modeling and Simulation of Hybrid Systems Using a Special Class of Timed Petri Nets.
2005.
-
Jalilvand, Abolfazl;
Khanmohammadi, Sohrab;
Nia, Fereiddon Shabani:
Hybrid Modeling and Simulation of a Robotic Manufacturing System Using Timed Petri Nets.
2005.
-
Jalilvand, Abolfazl;
Khanmohammadi, Sohrab:
Modeling of Flexible Manufacturing Systems by Timed Petri Net.
2004.
-
Zuberek, Wlodek M.:
Modeling and Analysis of Dual Block Multithreading.
2004.
-
Zuberek, Wlodek M.:
Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis.
2004.
-
Yamamoto, Mitsuharu;
Cottin, Jean-Marie;
Hagiya, Masami:
Decidability of Safety Properties of Timed Multiset Rewriting.
2002.
-
Yamamoto, Mitsuharu;
Cottin, Jean-Marie;
Hagiya, Masami:
Decidability of Safety Properties of Timed Multiset Rewriting.
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.
-
Brzezinski, J.;
Sajkowski, M.:
Detection of livelocks in communication protocols by means of a polygon time structure.
2000.
-
Jiang, Z.;
Zuo, M.J.;
Fung, R.Y.K.;
Tu, P.Y.:
Temporized colored Petri nets with changeable structure (CPN-CS) for performance modeling of dynamic production systems.
2000.
-
Julia, S.;
Machado, C.M.:
Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism.
2000.
-
Lefebre, D.:
Firing sequences and firing frequencies estimation for timed Petri nets.
2000.
-
Lim, S.;
Kang, S.;
Ham, H.;
Kim, T.:
Modeling and analysis of a multiple agent-based key recovery protocol by extended cryptographic timed Petri nets.
2000.
-
Ling, S.;
Schmidt, H.:
Time Petri nets for workflow modeling and analysis.
2000.
-
Meunier, P.;
Denis, B.;
Lesage, J.-J.:
Comparison of different modeling approaches in simulation of programmable logic controllers.
2000.
-
Richard, P.:
Modeling integer linear programs with Petri nets.
2000.
-
Winkowski, J.:
Processes of timed Petri nets.
2000.
-
Zuberek, W.M.:
Analysis of pipeline stall effects in block multithreaded multiprocessors.
2000.
-
Zuberek, W.M.:
Event-driven simulation of timed Petri net models.
2000.
-
Zuberek, W.M.:
Hierarchical analysis of manufacturing systems using Petri nets.
2000.
-
Zuberek, W.M.:
Performance comparison of fine-grain and block multithreaded architectures.
2000.
-
Zuberek, W.M.:
Timed Petri net models of cluster tools.
2000.
-
Gu, Tianlong;
Cai, Guoyong;
Bahri, Parisa A.:
The Short Term Scheduling Technique Based on Timed Petri-Net Representation for Multiproduct Batch Plants.
2000.
-
Beraldi, R.;
Nigro, L.:
Distributed simulation of timed Petri nets - a modular approach using actors and time warp.
1999.
-
Cho, Y.C.;
Gagov, Z.;
Kwon, W.H.:
Timed Petri net based approach for elevator group controls.
1999.
-
Gaubert, S.;
Mairesse, J.:
Modelling and analysis of timed Petri nets using heaps of pieces.
1999.
-
Hsieh, S.;
Chen, Y.F.:
AGVSimNet: A Petri-net-based AGVS simulation system.
1999.
-
Jaragh, M.;
Saleh, K.:
Synthesis of communications protocol converters using the timed Petri net model.
1999.
-
Jeng, M.-D.;
Wen, Y.-L.;
Chen, S.-L.:
Synchronization models of pre-orchestrated interactive multimedia presentation using timed Petri nets.
1999.
-
Jeng, M.D.;
Chen, S.C.:
Heuristic search based on Petri net structures for FMS scheduling.
1999.
-
Jeng, M.D.;
Xie, X.;
Hung, W.Y.;
Liu, C.R.:
An efficient methods for obtaining performance bounds of semiconductor manufacturing systems.
1999.
-
Kang, S.J.;
Jang, S.H.;
Hwang, H.S.;
Woo, K.B.:
Colored timed Petri nets modeling and job scheduling using GA of semiconductor manufacturing.
1999.
-
Koh, I.;
Choi, J.H.:
Analysis of a discrete event system modeled by timed place Petri nets with shared resources.
1999.
-
Kuo, C.-H.;
Huang, H.-P.:
Integrated manufacturing system modeling and simulation using distributed colored timed Petri nets.
1999.
-
Lin, M.-H.;
Fu, L.-C.:
Modeling, analysis, simulation and control of semiconductor manufacturing systems: a generalized stochastic colored timed Petri net approach.
1999.
-
Myers, C.J.;
Rokicki, T.G.;
Meng, T.H.-Y.:
POSET timing and its application to the synthesis and verification of gate-level timed circuits.
1999.
-
Reid, M.;
Zuberek, W.M.:
Timed Petri net models of ATM LANs.
1999.
-
Sternemann, K.H.;
Didic, M.M.;
Hofer, H.:
Simulation of a torque converter production considering quality attributes.
1999.
-
Tohme, H.;
Nakamura, M.;
Hachiman, K.;
Onaga, K.:
Evolutionary Petri net approach to periodic job-shop scheduling.
1999.
-
Valero Ruiz, V.;
Cuartero Gomez, F.;
de Frutos Escrig, D.:
On non-decidability of reachability for timed-arc Petri nets.
1999.
-
Zuberek, Wlodek M.:
Performance Modeling of Multithreaded Distributed Memory Architectures.
1999.
-
Zuberek, W.M.:
Stepwise refinements of net models and their place invariants.
1999.
-
Zuberek, W.M.;
Kubiak, W.:
Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells.
1999.
-
Gu, Tianlong;
Bahri, Parisa A.:
Timed Petri-Net Representation for Short Term Scheduling of Multiproduct Batch Plants.
1999.
-
Gaujal, Bruno;
Haar, Stefan:
Non-ambiguous Petri Nets.
1999.
-
Boel, R.;
Bordbar, B.;
Stremersch, G.:
Controlled timed Petri nets: equivalence relations, model reduction.
1998.
-
Brat, G.P.;
Garg, V.K.:
Analyzing nondeterministic real-time systems with (max,+) algebra.
1998.
-
Chung, Y.-Y.;
Fu, L.-C.;
Lin, M.-W.:
Petri net based modeling and GA based scheduling for a flexible manufacturing system.
1998.
-
Cohen, G.;
Gaubert, S.;
Quadrat, J.P.:
Timed event graphs with multipliers and homogeneous min-plus systems.
1998.
-
Declerck, P.;
Mares, M.:
Temporal control synthesis and failure recovery.
1998.
-
Goncharov, M.V.;
Klotchkov, I.V.;
Smirnov, A.B.;
Starodoubtsev, N.A.:
Timing extensions of STG model and a method to simulate timed STG behavior in VHDL environment.
1998.
-
Inaba, A.;
Fujiwara, F.;
Suzuki, T.;
Okuma, S.:
Timed Petri net based scheduling for mechanical assembly -- integration of planning and scheduling.
1998.
-
Jonkers, H.;
Janssen, W.;
Verschut, A.;
Wiestra, E.:
A unified framework for design and performance analysis of distributed systems.
1998.
-
Kuo, C.-H.;
Huang, H.-P.;
Yeh, M.-C.:
Object-oriented approach to MCTPN for modeling flexible manufacturing systems.
1998.
-
Shih, T.K.;
Jiang, D.R.;
Hung, J.C.;
Pai, W.C.;
Wang, C.C.:
Asynchronous multimedia processing using timed Petri nets.
1998.
-
Valckernaers, P.;
van Brussel, H.;
Bongaerts, L.;
Wyns, J.;
Peeters, P.:
Holonic manufacturing control at K.U.Leuven.
1998.
-
Zuberek, W.M.:
Hierarchical derivation of schedules for manufacturing cells.
1998.
-
Richter, Gernot:
Counting Interfaces for Discrete Time Modeling.
1998.
-
Zuberek, W.M.;
Govindarajan, R.;
Suciu, F.:
Timed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors.
1998.
-
Anglano, C.:
Predicting parallel applications performance on non-dedicated cluster platforms.
1997.
-
Kumar, D.;
Kohli, A.;
Narayanswamy, V.:
Faster simulation of timed Petri nets via distributed simulation.
1997.
-
Zuberek, W.M.;
Govindarajan, R.:
Performance balancing in multithreaded multiprocessor systems.
1997.
-
Tanabe, Makoto:
Timed Petri Nets and Temporal Linear Logic.
1997.
-
Frydman, C.;
Torres, L.;
Giambiasi, N.:
Building executable models from expert conceptual models.
1996.
-
Gaujal, B.:
Some algebraic considerations for efficient computations in timed Petri nets.
1996.
-
Zuberek, W.M.:
Composite schedules of manufacturing cells and their timed Petri net models.
1996.
-
Zuberek, W.M.:
Modeling using timed Petri nets - event-driven simulation.
1996.
-
Zuberek, W.M.:
Modeling using timed Petri nets - model description and representation.
1996.
-
Zuberek, W.M.;
Bluemke, I.:
Hierarchies of place/transition refinements in Petri nets.
1996.
-
Chiola, G.;
Franceschinis, G.;
Gaeta, R.;
Ribaudo, M.:
GreatSPN-1.7 - graphical editor and analyzer for timed and stochastic Petri nets.
1995.
-
Zuberek, W.M.:
Application of timed Petri nets to modeling and analysis of flexible manufacturing cells.
1995.
-
Zuberek, W.M.:
Application of timed Petri nets to modeling the schedules of manufacturing cells.
1995.
-
Zuberek, W.M.:
Schedules of flexible manufacturing cells and their timed colored Petri net models.
1995.
-
Barad, M.:
Decomposing timed Petri net models of open queueing networks.
1994.
-
Ivanov, N.N.:
Semi-Markov processes in timed stochastic Petri nets.
1994.
-
Juanole, G.;
Atamna, Y.;
Carmo, R.L.R.:
On the stochastic timed Petri nets model and its application to the DQDB protocol.
1994.
-
Tchako, J.F.N.;
Beldjilali, B.;
Trentesaux, D.;
Tahon, C.:
Modeling with colored timed Petri nets and simulation of a dynamic and distributed management system for a manufacturing cell.
1994.
-
Yamada, T.;
Ohkawa, M.;
Kataoka, S.:
Some optimization problems for timed marked graphs.
1994.
-
Zuberek, W.M.;
Kubiak, W.:
Modeling simple schedules of manufacturing cells using timed Petri nets.
1994.
-
Zuberek, W.M.;
Kubiak, W.:
Throughput analysis of manufacturing cells using timed Petri nets.
1994.
-
Ciardo, G.;
German, R.;
Lindemann, C.:
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.
1994.
-
Reddy, G.B.:
Timed Petri net - an expeditious tool for modeling and analysis of manufacturing systems.
1993.
-
Zuberek, W.M.:
Throughput analysis in timed colored Petri nets.
1993.
-
Zuberek, W.M.:
Modified M-timed Petri nets in modelling and performance evaluation of systems.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography