default search action
1st PNPM 1985: Torino, Italy
- International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985. IEEE Computer Society 1985, ISBN 0-8186-0674-6
Invited Paper
- Stéphane Natkin:
Timed and Stochastic Petri Nets: From the Validation to the Performance of Synchronization Schemes. PNPM 1985: 2-3
Stochastic Timing I
- Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi:
The Design of a Unified Package for the Solution of Stochastic Petri Net Models. PNPM 1985: 6-13 - Peter J. Haas, Gerald S. Shedler:
Regenerative Simulation of Stochastic Petri Nets. PNPM 1985: 14-21
Deterministic Timing
- James E. Coolahan Jr., Nick Roussopoulos:
A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements. PNPM 1985: 24-31 - P. David Stotts, Terrence W. Pratt:
Hierarchical Modeling of Software Systems with Timed Petri Nets. PNPM 1985: 32-39 - Paul Caspi, Nicolas Halbwachs:
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. PNPM 1985: 40-46 - Philippe Chrétienne:
Timed Event Graphs: A Complete Study of Their Controlled Executions. PNPM 1985: 47-54
Methodologies and Applications I
- T. Smigelski, Tadao Murata, Masahiro Sowa:
A Timed Petri Net Model and Simulation of a Dataflow Computer. PNPM 1985: 56-63 - Giorgio Bruno, Paolo Biglia:
Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets. PNPM 1985: 64-71 - Mehdi R. Zargham, Marilyn Tyman:
Neural Petri Nets. PNPM 1985: 72-77
Stochastic Timing II
- Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani:
On Petri Nets with Stochastic Timing. PNPM 1985: 80-87 - Hany H. Ammar, R. W. Liu:
Analysis of the Generalized Stochastic Petri Nets by State Aggregation. PNPM 1985: 88-95 - C. Y. Wong, Tharam S. Dillon, Kevin E. Forward:
Timed Places Petri Nets with Stochastic Representation of Place Time. PNPM 1985: 96-103
Timed Nets
- John F. Meyer, Ali Movaghar, William H. Sanders:
Stochastic Activity Networks: Structure, Behavior, and Application. PNPM 1985: 106-115 - Milena Didic, Gernot Richter:
Time & Clocks & Task Management. PNPM 1985: 116-125 - Jerzy Miescicki:
An Event-Driven-Net Model of a Multiprocessor System. PNPM 1985: 126-13
Tools
- Giovanni Chiola:
A Software Package for the Analysis of Generalized Stochastic Petri Net Models. PNPM 1985: 136-143 - Aldo Cumani:
ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times. PNPM 1985: 144-151 - Marek Leszak, Heinrich P. Godbersen:
DEAMON: A Tool for Performance-Availability Evaluation of Distributed Systems Based on Function Nets. PNPM 1985: 152-161 - Miguel Menasche:
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets. PNPM 1985: 162-169
Methodologies and Applications II
- Connie U. Smith:
Robust Models for the Performance Evaluation of Software/Hardware Designs. PNPM 1985: 172-180 - Mark A. Holliday, Mary K. Vernon:
A Generalized Timed Petri Net Model for Performance Analysis. PNPM 1985: 181-190 - C. Beounes:
Stochastic Petri Net Modeling for Dependability Evaluation of Complex Computer Systems. PNPM 1985: 191-198 - Leonid Ya. Rosenblum, Alexandre Yakovlev:
Signal Graphs: From Self-Timed to Timed Ones. PNPM 1985: 199-206
Synchronization and Concurrency in Queueing Systems
- Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking Phenomenon. PNPM 1985: 208-225 - Gerard Florin, Stéphane Natkin:
On Open Synchronized Queuing Networks. PNPM 1985: 226-233 - Alexander Thomasian, Paul F. Bay:
Performance Analysis of Task Systems Using a Queueing Network Model. PNPM 1985: 234-242
Stochastic Timing III
- Michael K. Molloy:
Fast Bounds for Stochastic Petri Nets. PNPM 1985: 244-249 - Steven C. Bruell, Subbarao Ghanta:
Throughput Bounds for Generalized Stochastic Petri Net Models. PNPM 1985: 250-261 - Alexandre Zenie:
Colored Stochastic Petri Nets. PNPM 1985: 262-271 - Wlodzimierz M. Zuberek:
Performance Evaluation Using Extended Petri Nets. PNPM 1985: 272-278
Protocol Modeling
- Pascal Estraillier, Claude Girault, Jean-Michel Ilié:
Satellite Protocol Modeling by Synchronous Predicate Transition Nets. PNPM 1985: 280-287 - Jonathan Billington:
On Specifying Performance Aspects of Protocol Services. PNPM 1985: 288-295 - E. Gressier:
A Stochastic Petri Net Model for Ethernet. PNPM 1985: 296-303
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.