default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

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

> Home > Search

download as .bib file

@inproceedings{DBLP:conf/pnpm/Balbo95,
  author       = {Gianfranco Balbo},
  title        = {On the success of stochastic Petri nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {2--9},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524310},
  doi          = {10.1109/PNPM.1995.524310},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Balbo95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/BernardoDG95,
  author       = {Marco Bernardo and
                  Lorenzo Donatiello and
                  Roberto Gorrieri},
  title        = {Giving a net semantics to Markovian process algebra},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {169--178},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524327},
  doi          = {10.1109/PNPM.1995.524327},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BernardoDG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/BobbioKPTT95,
  author       = {Andrea Bobbio and
                  Vidyadhar G. Kulkarni and
                  Antonio Puliafito and
                  Mikl{\'{o}}s Telek and
                  Kishor S. Trivedi},
  title        = {Preemptive repeat identical transitions in Markov regenerative stochastic
                  Petri nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {113--122},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524321},
  doi          = {10.1109/PNPM.1995.524321},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BobbioKPTT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Brinksma95,
  author       = {Ed Brinksma},
  title        = {Performance and formal design: a process algebraic perspective},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {124--125},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524322},
  doi          = {10.1109/PNPM.1995.524322},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Brinksma95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/BuchholzK95,
  author       = {Peter Buchholz and
                  Peter Kemper},
  title        = {Numerical analysis of stochastic marked graph nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {32--41},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524313},
  doi          = {10.1109/PNPM.1995.524313},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/BuchholzK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Chiola95,
  author       = {Giovanni Chiola},
  title        = {Characterization of timed well-formed Petri nets behavior by means
                  of occurrence equations},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {127--136},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524323},
  doi          = {10.1109/PNPM.1995.524323},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Chiola95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/CiardoCKR95,
  author       = {Gianfranco Ciardo and
                  Ludmila Cherkasova and
                  Vadim E. Kotov and
                  Tomas Rokicki},
  title        = {Modeling a scalable high-speed interconnect with stochastic Petri
                  nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {83--92},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524318},
  doi          = {10.1109/PNPM.1995.524318},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/CiardoCKR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Cubaud95,
  author       = {Pierre Cubaud},
  title        = {Performance evaluation of non-Markovian stochastic event graphs},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {94--102},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524319},
  doi          = {10.1109/PNPM.1995.524319},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Cubaud95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/DeavoursOQSM95,
  author       = {Daniel D. Deavours and
                  W. Douglas Obal II and
                  Muhammad A. Qureshi and
                  William H. Sanders and
                  Aad P. A. van Moorsel},
  title        = {UltraSAN version 3 overview},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {216--217},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524336},
  doi          = {10.1109/PNPM.1995.524336},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/DeavoursOQSM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/DonatelliRH95,
  author       = {Susanna Donatelli and
                  Marina Ribaudo and
                  Jane Hillston},
  title        = {A comparison of performance evaluation process algebra and generalized
                  stochastic Petri nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {158--168},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524326},
  doi          = {10.1109/PNPM.1995.524326},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/DonatelliRH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/EscalanteDGM95,
  author       = {Marco A. Escalante and
                  Nikitas J. Dimopoulos and
                  Dilyan Gyuroff and
                  Hausi A. M{\"{u}}ller},
  title        = {Timing analysis for synthesis of hardware interface controllers using
                  timed signal transition graphs},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {232--240},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524339},
  doi          = {10.1109/PNPM.1995.524339},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/EscalanteDGM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/FebbraroMS95,
  author       = {Angela Di Febbraro and
                  Riccardo Minciardi and
                  Simona Sacone},
  title        = {Performance optimization of event graphs modeling manufacturing systems},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {203--204},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524330},
  doi          = {10.1109/PNPM.1995.524330},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/FebbraroMS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/GaetaC95,
  author       = {Rossano Gaeta and
                  Giovanni Chiola},
  title        = {Efficient simulation of {SWN} models},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {137--146},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524324},
  doi          = {10.1109/PNPM.1995.524324},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/GaetaC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/GermanKZH95,
  author       = {Reinhard German and
                  Christian Kelling and
                  Armin Zimmermann and
                  G{\"{u}}nter Hommel},
  title        = {TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {210--211},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524333},
  doi          = {10.1109/PNPM.1995.524333},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/GermanKZH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/GermanLT95,
  author       = {Reinhard German and
                  Dimitris Logothetis and
                  Kishor S. Trivedi},
  title        = {Transient analysis of Markov regenerative stochastic Petri nets: a
                  comparison of approaches},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {103--112},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524320},
  doi          = {10.1109/PNPM.1995.524320},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/GermanLT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/GreinerPBT95,
  author       = {Stefan Greiner and
                  Antonio Puliafito and
                  Gunter Bolch and
                  Kishor S. Trivedi},
  title        = {Performance evaluation of dynamic priority operating systems},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {241--250},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524340},
  doi          = {10.1109/PNPM.1995.524340},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/GreinerPBT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/HaasS95,
  author       = {Peter J. Haas and
                  Gerald S. Shedler},
  title        = {One-dependent cycles and passage times in stochastic Petri nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {191--202},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524329},
  doi          = {10.1109/PNPM.1995.524329},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/HaasS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/HaddadM95,
  author       = {Serge Haddad and
                  Patrice Moreaux},
  title        = {Evaluation of high level Petri nets by means of aggregation and decomposition},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {11--20},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524311},
  doi          = {10.1109/PNPM.1995.524311},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/HaddadM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/HaverkortM95,
  author       = {Boudewijn R. Haverkort and
                  Aad P. A. van Moorsel},
  title        = {Using the probabilistic evaluation tool for the analytical solution
                  of large Markov models},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {206--207},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524331},
  doi          = {10.1109/PNPM.1995.524331},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/HaverkortM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Kemper95,
  author       = {Peter Kemper},
  title        = {Numerical analysis of superposed GSPNs},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {52--61},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524315},
  doi          = {10.1109/PNPM.1995.524315},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Kemper95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/LaprieKK95,
  author       = {Jean{-}Claude Laprie and
                  Mohamed Ka{\^{a}}niche and
                  Karama Kanoun},
  title        = {Modeling computer systems evolutions: non-stationary processes and
                  stochastic Petri nets-application to dependability growth},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {221--230},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524338},
  doi          = {10.1109/PNPM.1995.524338},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/LaprieKK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Lindemann95,
  author       = {Carl Hugo Lindemann},
  title        = {Stochastic modeling using DSPNexpress},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {208--209},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524332},
  doi          = {10.1109/PNPM.1995.524332},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Lindemann95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/LiuR95,
  author       = {Baopu Liu and
                  A. Robbi},
  title        = {TiPNet: a graphical tool for timed Petri nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {212--213},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524334},
  doi          = {10.1109/PNPM.1995.524334},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/LiuR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/MadhukarLD95,
  author       = {Manish Madhukar and
                  Michael R. Leuze and
                  Lawrence W. Dowdy},
  title        = {Petri net model of a dynamically partitioned multiprocessor system},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {73--82},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524317},
  doi          = {10.1109/PNPM.1995.524317},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/MadhukarLD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/MainkarT95,
  author       = {Varsha Mainkar and
                  Kishor S. Trivedi},
  title        = {Fixed point iteration using stochastic reward nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524312},
  doi          = {10.1109/PNPM.1995.524312},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/MainkarT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/MalhisSS95,
  author       = {Luai M. Malhis and
                  William H. Sanders and
                  Richard D. Schlichting},
  title        = {Numerical evaluation of a group-oriented multicast protocol using
                  stochastic activity networks},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {63--72},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524316},
  doi          = {10.1109/PNPM.1995.524316},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/MalhisSS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/NicolM95,
  author       = {David M. Nicol and
                  Andrew S. Miner},
  title        = {The fluid stochastic Petri net simulator},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {214--215},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524335},
  doi          = {10.1109/PNPM.1995.524335},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/NicolM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/QureshiSMG95,
  author       = {Muhammad A. Qureshi and
                  William H. Sanders and
                  Aad P. A. van Moorsel and
                  Reinhard German},
  title        = {Algorithms for the generation of state-level representations of stochastic
                  activity networks with general reward structures},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {180--190},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524328},
  doi          = {10.1109/PNPM.1995.524328},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/QureshiSMG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Ribaudo95,
  author       = {Marina Ribaudo},
  title        = {Stochastic Petri net semantics for stochastic process algebras},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {148--157},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524325},
  doi          = {10.1109/PNPM.1995.524325},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Ribaudo95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Sereno95,
  author       = {Matteo Sereno},
  title        = {Approximate mean value analysis technique for non-product form solution
                  stochastic Petri nets: an application to stochastic marked graphs},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {42--51},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524314},
  doi          = {10.1109/PNPM.1995.524314},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Sereno95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Thurner95,
  author       = {Erwin M. Thurner},
  title        = {TOMSPIN-a Tool for Modelling with Stochastic Petri Nets},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {218--219},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524337},
  doi          = {10.1109/PNPM.1995.524337},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Thurner95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/Tilgner95,
  author       = {Marco Tilgner},
  title        = {An approach to formalize structural decomposition and aggregation
                  for stochastic reward net models},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {252--260},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524341},
  doi          = {10.1109/PNPM.1995.524341},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/Tilgner95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pnpm/ZieglerS95,
  author       = {Peter Ziegler and
                  Helena Szczerbicka},
  title        = {A structure based decomposition approach for {GSPN}},
  booktitle    = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  pages        = {261--270},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PNPM.1995.524342},
  doi          = {10.1109/PNPM.1995.524342},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/ZieglerS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pnpm/1995,
  title        = {Proceedings of the Sixth International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4022/proceeding},
  isbn         = {0-8186-7210-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pnpm/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.