Abstract is missing.
- Timed and Stochastic Petri Nets: From the Validation to the Performance of Synchronization SchemesStéphane Natkin. 2-3
- The Design of a Unified Package for the Solution of Stochastic Petri Net ModelsJoanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi. 6-13
- Regenerative Simulation of Stochastic Petri NetsPeter J. Haas, Gerald S. Shedler. 14-21
- A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing RequirementsJames E. Coolahan Jr., Nick Roussopoulos. 24-31
- Hierarchical Modeling of Software Systems with Timed Petri NetsP. David Stotts, Terrence W. Pratt. 32-39
- An Application of Laplace Transform Techniques to the Analysis of Timed Petri NetsPaul Caspi, Nicolas Halbwachs. 40-46
- Timed Event Graphs: A Complete Study of Their Controlled ExecutionsPhilippe Chrétienne. 47-54
- A Timed Petri Net Model and Simulation of a Dataflow ComputerT. Smigelski, Tadao Murata, Masahiro Sowa. 56-63
- Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri NetsGiorgio Bruno, Paolo Biglia. 64-71
- Neural Petri NetsMehdi R. Zargham, Marilyn Tyman. 72-77
- On Petri Nets with Stochastic TimingMarco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani. 80-87
- Analysis of the Generalized Stochastic Petri Nets by State AggregationHany H. Ammar, R. W. Liu. 88-95
- Timed Places Petri Nets with Stochastic Representation of Place TimeC. Y. Wong, Tharam S. Dillon, Kevin E. Forward. 96-103
- Stochastic Activity Networks: Structure, Behavior, and ApplicationJohn F. Meyer, Ali Movaghar, William H. Sanders. 106-115
- Time & Clocks & Task ManagementMilena Didic, Gernot Richter. 116-125
- An Event-Driven-Net Model of a Multiprocessor SystemJerzy Miescicki. 126-13
- A Software Package for the Analysis of Generalized Stochastic Petri Net ModelsGiovanni Chiola. 136-143
- ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition TimesAldo Cumani. 144-151
- DEAMON: A Tool for Performance-Availability Evaluation of Distributed Systems Based on Function NetsMarek Leszak, Heinrich P. Godbersen. 152-161
- PAREDE: An Automated Tool for the Analysis of Time(d) Petri NetsMiguel Menasche. 162-169
- Robust Models for the Performance Evaluation of Software/Hardware DesignsConnie U. Smith. 172-180
- A Generalized Timed Petri Net Model for Performance AnalysisMark A. Holliday, Mary K. Vernon. 181-190
- Stochastic Petri Net Modeling for Dependability Evaluation of Complex Computer SystemsC. Beounes. 191-198
- Signal Graphs: From Self-Timed to Timed OnesLeonid Ya. Rosenblum, Alexandre Yakovlev. 199-206
- Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking PhenomenonGianfranco Balbo, Steven C. Bruell, Subbarao Ghanta. 208-225
- On Open Synchronized Queuing NetworksGerard Florin, Stéphane Natkin. 226-233
- Performance Analysis of Task Systems Using a Queueing Network ModelAlexander Thomasian, Paul F. Bay. 234-242
- Fast Bounds for Stochastic Petri NetsMichael K. Molloy. 244-249
- Throughput Bounds for Generalized Stochastic Petri Net ModelsSteven C. Bruell, Subbarao Ghanta. 250-261
- Colored Stochastic Petri NetsAlexandre Zenie. 262-271
- Performance Evaluation Using Extended Petri NetsWlodzimierz M. Zuberek. 272-278
- Satellite Protocol Modeling by Synchronous Predicate Transition NetsP. Estraillier, Claude Girault, Jean-Michel Ilié. 280-287
- On Specifying Performance Aspects of Protocol ServicesJonathan Billington. 288-295
- A Stochastic Petri Net Model for EthernetE. Gressier. 296-303