Search dblp for Publications

export results for "toc:db/conf/pnpm/pnpm2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pnpm/BalboBS01,
  author       = {Gianfranco Balbo and
                  Steven C. Bruell and
                  Matteo Sereno},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Embedded Processes in Generalized Stochastic Petri Nets},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {71--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953357},
  doi          = {10.1109/PNPM.2001.953357},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BalboBS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BernardiB01,
  author       = {Simona Bernardi and
                  Gianfranco Balbo},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Concurrent Generalized Petri Nets: Regenerative Conditions},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {125--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953362},
  doi          = {10.1109/PNPM.2001.953362},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BernardiB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BobbioFGP01,
  author       = {Andrea Bobbio and
                  Giuliana Franceschinis and
                  Rossano Gaeta and
                  Luigi Portinale},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Dependability Assessment of an Industrial Programmable Logic Controller
                  via Parametric Fault-Tree and High level Petri Net},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {29--38},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953353},
  doi          = {10.1109/PNPM.2001.953353},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BobbioFGP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BoyerD01,
  author       = {Marc Boyer and
                  Michel Diaz},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Multiple Enabledness of Transitions in Petri Nets with Time},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {219--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953371},
  doi          = {10.1109/PNPM.2001.953371},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BoyerD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Buchholz01,
  author       = {Peter Buchholz},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Equivalence and Aggregation of GSPNs with Labeled Transitions},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {187--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953368},
  doi          = {10.1109/PNPM.2001.953368},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Buchholz01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BuchholzK01,
  author       = {Peter Buchholz and
                  Peter Kemper},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Compact Representations of Probability Distributions in the Analysis
                  of Superposed GSPNs},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {81--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953358},
  doi          = {10.1109/PNPM.2001.953358},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BuchholzK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ChiolaC01,
  author       = {Giovanni Chiola and
                  Rub{\'{e}}n Carvajal{-}Schiaffino},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {A Reachability Graph Construction Algorithm Based on Canonical Transition
                  Firing Count Vectors},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {113--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953361},
  doi          = {10.1109/PNPM.2001.953361},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/ChiolaC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Ciardo01,
  author       = {Gianfranco Ciardo},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {What a Structural World},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {3--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953351},
  doi          = {10.1109/PNPM.2001.953351},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Ciardo01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ClarkCDDDDSW01,
  author       = {Graham Clark and
                  Tod Courtney and
                  David Daly and
                  Daniel D. Deavours and
                  Salem Derisavi and
                  Jay M. Doyle and
                  William H. Sanders and
                  Patrick G. Webster},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {The M{\"{o}}bius Modeling Tool},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {241--250},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953373},
  doi          = {10.1109/PNPM.2001.953373},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/ClarkCDDDDSW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DeavoursS01,
  author       = {Daniel D. Deavours and
                  William H. Sanders},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {The M{\"{o}}bius Execution Policy},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953363},
  doi          = {10.1109/PNPM.2001.953363},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/DeavoursS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DeavoursS01a,
  author       = {Daniel D. Deavours and
                  William H. Sanders},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {M{\"{o}}bius: Framework and Atomic Models},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {251--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953374},
  doi          = {10.1109/PNPM.2001.953374},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/DeavoursS01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FranceschinisBB01,
  author       = {Giuliana Franceschinis and
                  Claudio Bertoncello and
                  Guido Bruno and
                  Giorgio Lungo Vaschetti and
                  Antonio Pigozzi},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {{SWN} Models of a Contact Center: a Case Study},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {39--48},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953354},
  doi          = {10.1109/PNPM.2001.953354},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/FranceschinisBB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FreiheitZ01,
  author       = {J{\"{o}}rn Freiheit and
                  Armin Zimmermann},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {A Divide and Conquer Approach for the Performance Evaluation of Large
                  Stochastic Petri Nets},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {91--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953359},
  doi          = {10.1109/PNPM.2001.953359},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/FreiheitZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GribaudoH01,
  author       = {Marco Gribaudo and
                  Andr{\'{a}}s Horv{\'{a}}th},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical
                  Solution Techniques},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {145--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953364},
  doi          = {10.1109/PNPM.2001.953364},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/GribaudoH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HillstonRRS01,
  author       = {Jane Hillston and
                  Laura Recalde and
                  Marina Ribaudo and
                  Manuel Silva Su{\'{a}}rez},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {A Comparison of the Expressiveness of {SPA} and Bounded {SPN} Models},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {197--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953369},
  doi          = {10.1109/PNPM.2001.953369},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/HillstonRRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HorvathT01,
  author       = {Andr{\'{a}}s Horv{\'{a}}th and
                  Mikl{\'{o}}s Telek},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type
                  Transitions},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {155--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953365},
  doi          = {10.1109/PNPM.2001.953365},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/HorvathT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/JonesC01,
  author       = {Rob Jones and
                  Gianfranco Ciardo},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {On Phased Delay Stochastic Petri Nets: Definition and an Application},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {165--174},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953366},
  doi          = {10.1109/PNPM.2001.953366},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/JonesC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MaciaVF01,
  author       = {Hermenegilda Maci{\`{a}} and
                  Valent{\'{\i}}n Valero and
                  David de Frutos{-}Escrig},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {sPBC: {A} Markovian Extension of Finite Petri box calculus},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {207--216},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953370},
  doi          = {10.1109/PNPM.2001.953370},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/MaciaVF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanGMS01,
  author       = {Marco Ajmone Marsan and
                  Marco Gribaudo and
                  Michela Meo and
                  Matteo Sereno},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {On Petri Net-Based Modeling Paradigms for the Performance Analysis
                  of Wireless Internet Accesses},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {19--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953352},
  doi          = {10.1109/PNPM.2001.953352},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/MarsanGMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Miner01,
  author       = {Andrew S. Miner},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Efficient Solution of GSPNs using canonical Matrix Diagrams},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {101--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953360},
  doi          = {10.1109/PNPM.2001.953360},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Miner01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/RivierePV01,
  author       = {Nicolas Rivi{\`{e}}re and
                  Brigitte Pradin{-}Chezalviel and
                  Robert Valette},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Reachability and Temporal Conflicts in t-Time Petri Nets},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {229--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953372},
  doi          = {10.1109/PNPM.2001.953372},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/RivierePV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/TuffinN01,
  author       = {Bruno Tuffin and
                  Louis{-}Marie Le Ny},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Modeling and Analysis of Threshold Queues with Hysteresis using Stochastic
                  Petri Nets: the Monoclass Case},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {175--184},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953367},
  doi          = {10.1109/PNPM.2001.953367},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/TuffinN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/TutschS01,
  author       = {Dietmar Tutsch and
                  Joachim Sokol},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Petri Net based Performance Evaluation of USAIA's Bandwidth Partitioning
                  for the Wireless Cell Level},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {49--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953355},
  doi          = {10.1109/PNPM.2001.953355},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/TutschS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/WellsCKM01,
  author       = {Lisa Wells and
                  S{\o}ren Christensen and
                  Lars Michael Kristensen and
                  Kjeld H{\o}yer Mortensen},
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Simulation Based Performance Analysis of Web Servers},
  booktitle    = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages        = {59--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/PNPM.2001.953356},
  doi          = {10.1109/PNPM.2001.953356},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/WellsCKM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/2001,
  editor       = {Reinhard German and
                  Boudewijn R. Haverkort},
  title        = {Proceedings of the 9th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7565/proceeding},
  isbn         = {0-7695-1248-8},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pnpm/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics