Keyword: timed net

• Gao, Guang R.; Yue, Bong Wong; Qi, Ning:
  A Timed Petri-Net Model for Fine-Grain Loop Scheduling. 1991.

• Leu, Shao-Wei; Fernandez, E.B.; Khoshgoftaar, T.:
  Fault-Tolerant Software Reliability Modeling Using Petri Nets. 1991.

• van Hee, K.M.; Verkoulen, P.A.C.:
  Integration of Data Model and High-Level Petri Nets. 1991.

• Chen, Yang-Yueh; Yang, Ted C.:
  Modeling and Performance Evaluation of RISC/B Processor. 1990.

• Espinosa, A.; Garcia-Fornes, A.; Crespo, A.; de la Puente, J.A.:
  QUISAP: an Environment for Rapid Prototyping of Real-Time Systems. 1990.

• Fahmy, Hossam Mahmoud Ahmad:
  Timed Petri Nets: Probabilistic Selection of Data Dependent Paths. 1990.

• Hanen, Claire:
  Optimizing Microprograms for Recurrent Loops on Pipelined Architectures Using Timed Petri Nets. 1990.

• Hanisch, Hans-Michael:
  Dynamik von Koordinierungssteuerungen in diskontinuierlichen verfahrenstechnischen Systemen. 1990.

• Hillion, Hervé P.:
  Timed Petri Nets and Application to Multi-Stage Production Systems. 1990.

• King, C.T.; Chou, W.H.; Ni, L.M.:
  Pipelined Data Parallel Algorithms. I: Concept and Modeling. 1990.

• Kumar, D.; Harvus, S.:
  An Approach Towards Distributed Simulation of Timed Petri Nets. 1990.

• Little, Thomas D.C.; Ghafoor, Arif:
  Multimedia Object Models for Synchronization and Databases. 1990.

• Massberg, W.; Janzen, F.; Mohrle, M.; Seifert, H.:
  A Petri-Net-Based Automation Environment. 1990.

• Someya, Harushi; Tashiro, Tsutomu; Murata, Tomohiro; Komoda, Norihisa:
  Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri Nets. 1990.

• Starke, Peter H.:
  Some Properties of Timed Nets under the Earliest Firing Rule. 1990.

• Sturm, L.; Sieben, B.:
  Simulator für Highlevel Petrinetze. 1990.

• Yamalidou, E.C.; Patsidou, E.P.; Kantor, J.C.:
  Modeling Discrete-Event Dynamical Systems for Chemical Process Control --- a Survey of Several New Techniques. 1990.

• Yang, Yuch Chen; Yang, T. C.:
  Modeling and Performance Evaluation of RISC/B Processor. 1990.

• Zerhouni, N.; Alla, H.:
  Dynamic Analysis of Manufacturing Systems using Continuous Petri Nets. 1990.

• Ajmone Marsan, M.; Balbo, Gianfranco; Bruno, Giorgio; Neri, Fabio:
  TOPNET: A Tool for the Visual Simulation of Communication Networks. 1990.

• Gill, J.A.:
  Safety Analysis of Heterogeneous-Multiprocessor Control System Software. 1990.

• Habib, Mahmoud K.; Newcomb, Robert W.:
  Neuron Type Processor Modeling Using Timed Petri Net. 1990.

• Kapitonova, Yu.V.; Ovseets, M.I.:
  M-Schemas for Macropipelined Computation. 1990.

• Stotts, P. David:
  Bounding Procedure Execution Times in a Synchronous Petri Net Computation Model. 1990.

• Antoniazzi, S.; Mastretti, M.:
  An Interactive Environment for Hardware/Software System Design at the Specification Level. 1990.

• Campos, Javier; Chiola, Giovanni; Colom, José Maria; Silva, Manuel:
  Properties and Performance Bounds for Timed Marked Graphs. 1990.

• Maggiolo-Schettini, Andrea; Winkowski, Józef:
  A Compositional Semantics for Timed Petri Nets. 1990.

• Suzuki, Toshinoro; Shatz, Sol M.; Murata, Tadao:
  A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. 1990.

• Little, Thomas D.C.; Ghafoor, Arif:
  Synchronization and Storage Models for Multimedia Objects. 1990.

• El-Karaksy, M. Reda; Nouh, Adnan S.; Al-Obaidan, Abdul Rahman:
  Performance Analysis of Timed Petri Net Models for Communication Protocols: a Methodology and a Package. 1990.

• Odrey, N.G.; Wilson, G.R.:
  Hierarchical Planning and Control for a Flexible Manufacturing Shop. 1990.

• Oh, H.R.; Chung, W.H.; Kim, M.:
  Transformation of Timed Petri Nets for Response Time Estimation. 1990.

• Ajmone Marsan, Marco; Balbo, Gianfranco; Bobbio, Andrea; Chiola, Giovanni; Conte, Gianni; Cumani, Aldo:
  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. 1989.

• Baccelli, F.; Bambos, N.; Walramd, J.:
  Flow Analysis of Stochastic Marked Graphs. 1989.

• Botti, Oliver:
  Un modello in reti di Petri per occam-2. 1989/90.

• Chou, Ching-Roung; Mao, Dyi-Liang:
  The Performance Evaluation of Design Alternatives for the SUPERMINI Architecture using TPQS. 1989.

• Schmid, G.:
  Modellierung gekoppelter Prozesse durch Performance Petri-Netze. 1989.

• Shatz, S.M.; Suzuki, T.; Murata, Tadao:
  Automated Protocol Modeling and Verification Combining an Entity-Based Specification Language and Petri Nets. 1989.

• Sun, Zheng Fei:
  Building the Model for the Discrete Event System Based on the Expanded Petri Net. 1989.

• Tamura, H.; Yamagata, K.; Hatono, I.:
  Decision Making for Flexible Manufacturing-OR and/or AI Approaches in Scheduling. 1989.

• van der Hoeven, A.J.; de Lange, A.A.J.; Deprettere, E.F.; Dewilde, P.M.:
  A New Model for the High Level Description and Simulation of VLSI Networks. 1989.

• Wilczkowiak, E.:
  Applications of Timed Petri Nets to Model the Real Time Distributed Systems. 1989.

• Zurawski, R.:
  Modelling Distributed Real-Time Systems for Performance Evaluation Using Timed Petri Nets. 1989.

• Nishio, S.:
  Timed- and Stochastic-Petri Nets for System Performance Evaluation. 1989.

• Chappe, D.; Bourjault, A.:
  A Methodology for Assembly Systems Design. 1988.

• Hanen, C.:
  Optimizing Horizontal Microprograms for Vectorial Loops with Timed Petri Nets. 1988.

• Nowicki, T.; Wilczkowiak, E.:
  Study of Local Area Networks Using Petri Nets. 1988.

• Zuberek, W.M.:
  On Generation of State Space for Timed Nets. 1988.

• Hanen, C.; Chretienne, P.; Carlier, J.:
  Optimizing Static Microprogrammable Pipelines: a Timed Petri Net Model. 1987.

• Ajmone Marsan, M.; Chiola, G.; Fumagalli, A.:
  Timed Petri Net Model for Accurate Performance Analysis of CSMA/CD Bus LASs. 1987.

• Starke, Peter H.:
  Remarks on Timed Nets. 1987.

• Zuberek, W.M.:
  On Extended Timed Petri Nets, Timeouts and Modelling of Protocols. 1985.

Back to the Petri Nets Bibliography