Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/pnpm:"
download as .bib file
@inproceedings{DBLP:conf/pnpm/BalboBS03,
author = {Gianfranco Balbo and
Steven C. Bruell and
Matteo Sereno},
title = {On the relations between {BCMP} queueing networks and product form
solution stochastic petri nets},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231547},
doi = {10.1109/PNPM.2003.1231547},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BalboBS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Bause03,
author = {Falko Bause},
title = {On non-ergodic infinite-state stochastic Petri nets},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {84--92},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231545},
doi = {10.1109/PNPM.2003.1231545},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Bause03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BernardiD03,
author = {Simona Bernardi and
Susanna Donatelli},
title = {Building Petri net scenarios for dependable automation systems},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {72--81},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231544},
doi = {10.1109/PNPM.2003.1231544},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BernardiD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BradleyDHK03,
author = {Jeremy T. Bradley and
Nicholas J. Dingle and
Peter G. Harrison and
William J. Knottenbelt},
title = {Performance queries on semi-Markov stochastic Petri nets with an extended
continuous stochastic logic},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {62--71},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231543},
doi = {10.1109/PNPM.2003.1231543},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BradleyDHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BucciSV03,
author = {Giacomo Bucci and
Luigi Sassoli and
Enrico Vicario},
title = {A discrete time model for performance evaluation and correctness verification
of real time systems},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {134--143},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231550},
doi = {10.1109/PNPM.2003.1231550},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BucciSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DelamareGM03,
author = {Cl{\'{e}}ment Delamare and
Yvon Gardan and
Patrice Moreaux},
title = {Performance evaluation with asynchronously decomposable {SWN:} implementation
and case study},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {20--29},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231539},
doi = {10.1109/PNPM.2003.1231539},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/DelamareGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FranceschinisVM03,
author = {Giuliana Franceschinis and
Valeria Vittorini and
Stefano Marrone and
Nicola Mazzocca},
title = {{SWN} client-server composition operators in the OsMoSys framework},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231542},
doi = {10.1109/PNPM.2003.1231542},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/FranceschinisVM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GermanGHT03,
author = {Reinhard German and
Marco Gribaudo and
G{\'{a}}bor Horv{\'{a}}th and
Mikl{\'{o}}s Telek},
title = {Stationary analysis of FSPNs with mutually dependent discrete and
continuous parts},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231540},
doi = {10.1109/PNPM.2003.1231540},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/GermanGHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Haar03,
author = {Stefan Haar},
title = {Distributed semi-Markov processes in stochastic T-timed Petri nets},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231548},
doi = {10.1109/PNPM.2003.1231548},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Haar03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HeindlB03,
author = {Armin Heindl and
Ernst W. Biersack},
title = {Discrete-state and fluid stochastic petri net models for open-loop
video-on-demand systems: a comparative case study},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {40--49},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231541},
doi = {10.1109/PNPM.2003.1231541},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HeindlB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LimeR03,
author = {Didier Lime and
Olivier H. Roux},
title = {State class timed automaton of a time Petri net},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231549},
doi = {10.1109/PNPM.2003.1231549},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/LimeR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Miner03,
author = {Andrew S. Miner},
title = {Computing response time distributions using stochastic Petri nets
and matrix diagrams},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {10--19},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231538},
doi = {10.1109/PNPM.2003.1231538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Miner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Sereno03,
author = {Matteo Sereno},
title = {Computational algorithms for product-form of competing Markov chains},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231546},
doi = {10.1109/PNPM.2003.1231546},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Sereno03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/VeldenP03,
author = {Kent Vander Velden and
Jean Peccoud},
title = {Modeling networks of molecular interactions in the living cell: structure,
dynamics, and applications},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {2--8},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231537},
doi = {10.1109/PNPM.2003.1231537},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/VeldenP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/2003,
title = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://ieeexplore.ieee.org/xpl/conhome/8718/proceeding},
isbn = {0-7695-1976-8},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/pnpm/BobbioFGP99,
author = {Andrea Bobbio and
Giuliana Franceschinis and
Rossano Gaeta and
Luigi Portinale},
title = {Exploiting Petri nets to support fault tree based dependability analysis},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {146--155},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796561},
doi = {10.1109/PNPM.1999.796561},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BobbioFGP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BobbioGGHST99,
author = {Andrea Bobbio and
Sachin Garg and
Marco Gribaudo and
Andr{\'{a}}s Horv{\'{a}}th and
Matteo Sereno and
Mikl{\'{o}}s Telek},
title = {Modeling software systems with rejuvenation, restoration and checkpointing
through fluid stochastic Petri nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {82--91},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796555},
doi = {10.1109/PNPM.1999.796555},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BobbioGGHST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BoyerD99,
author = {Marc Boyer and
Michel Diaz},
title = {Non equivalence between time Petri nets and time stream Petri nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796566},
doi = {10.1109/PNPM.1999.796566},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BoyerD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CiardoM99,
author = {Gianfranco Ciardo and
Andrew S. Miner},
title = {A data structure for the efficient Kronecker solution of GSPNs},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {22--31},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796529},
doi = {10.1109/PNPM.1999.796529},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CiardoM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DeavoursS99,
author = {Daniel D. Deavours and
William H. Sanders},
title = {An efficient well-specified check},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796559},
doi = {10.1109/PNPM.1999.796559},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/DeavoursS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Garcia-VallesC99,
author = {Fernando Garc{\'{\i}}a{-}Vall{\'{e}}s and
Jos{\'{e}} Manuel Colom},
title = {Implicit places in net systems},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {104--113},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796557},
doi = {10.1109/PNPM.1999.796557},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Garcia-VallesC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GaubertM99,
author = {St{\'{e}}phane Gaubert and
Jean Mairesse},
title = {Asymptotic analysis of heaps of pieces and application to timed Petri
nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {158--169},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796562},
doi = {10.1109/PNPM.1999.796562},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/GaubertM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GermanH99,
author = {Reinhard German and
Armin Heindl},
title = {Performance evaluation of {IEEE} 802.11 wireless LANs with stochastic
Petri nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796531},
doi = {10.1109/PNPM.1999.796531},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/GermanH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GermanT99,
author = {Reinhard German and
Mikl{\'{o}}s Telek},
title = {Formal relation of Markov renewal theory and supplementary variables
in the analysis of stochastic Petri nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {64--73},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796537},
doi = {10.1109/PNPM.1999.796537},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/GermanT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GribaudoSB99,
author = {Marco Gribaudo and
Matteo Sereno and
Andrea Bobbio},
title = {Fluid stochastic Petri nets: An extended formalism to include non-Markovian
models},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {74--81},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796554},
doi = {10.1109/PNPM.1999.796554},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/GribaudoSB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HaverkortBB99,
author = {Boudewijn R. Haverkort and
Alexander Bell and
Henrik C. Bohnenkamp},
title = {On the efficient sequential and distributed generation of very large
Markov chains from stochastic Petri nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {12--21},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796528},
doi = {10.1109/PNPM.1999.796528},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HaverkortBB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Kemper99,
author = {Peter Kemper},
title = {A mapping of autonomous net condition event systems to GSPNs},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796560},
doi = {10.1109/PNPM.1999.796560},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Kemper99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LahayeBH99,
author = {S{\'{e}}bastien Lahaye and
Jean{-}Louis Boimond and
Laurent Hardouin},
title = {Optimal control of (min, +) linear time-varying systems},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {170--178},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796563},
doi = {10.1109/PNPM.1999.796563},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/LahayeBH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LiL99,
author = {Xuandong Li and
Johan Lilius},
title = {Checking time Petri nets for linear duration properties},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {218--227},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796568},
doi = {10.1109/PNPM.1999.796568},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/LiL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanMS99,
author = {Marco Ajmone Marsan and
Michela Meo and
Matteo Sereno},
title = {{GSPN} analysis of dual-band mobile telephony networks},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {54--63},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796534},
doi = {10.1109/PNPM.1999.796534},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Perez-JimenezC99,
author = {Carlos J. Perez{-}Jimenez and
Javier Campos},
title = {On state space decomposition for the numerical analysis of stochastic
Petri nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {32--41},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796530},
doi = {10.1109/PNPM.1999.796530},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Perez-JimenezC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Pradin-Chezalviel99,
author = {Brigitte Pradin{-}Chezalviel and
Robert Valette and
Luis Allan K{\"{u}}nzle},
title = {Scenario durations characterization of t-timed Petri nets using linear
logic},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {208--217},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796567},
doi = {10.1109/PNPM.1999.796567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Pradin-Chezalviel99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/RuizFG99,
author = {Valent{\'{\i}}n Valero Ruiz and
David de Frutos{-}Escrig and
Fernando Cuartero G{\'{o}}mez},
title = {On non-decidability of reachability for timed-arc Petri nets},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {188--196},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796565},
doi = {10.1109/PNPM.1999.796565},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/RuizFG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Sanders99,
author = {William H. Sanders},
title = {Integrated frameworks for multi-level and multi-formalism modeling},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796527},
doi = {10.1109/PNPM.1999.796527},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Sanders99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/TeruelFP99,
author = {Enrique Teruel and
Giuliana Franceschinis and
Massimiliano De Pierro},
title = {Clarifying the priority specification of {GSPN:} Detached priorities},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796558},
doi = {10.1109/PNPM.1999.796558},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/TeruelFP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/WagneurD99,
author = {Edouard Wagneur and
Isabel Demongodin},
title = {On the rational use of Petri nets, automata and the max algebra for
the optimal control of {DEDS}},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {179--186},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796564},
doi = {10.1109/PNPM.1999.796564},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/WagneurD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Zuberek99,
author = {Wlodzimierz M. Zuberek},
title = {Stepwise refinements of net models and their place invariants},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796556},
doi = {10.1109/PNPM.1999.796556},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Zuberek99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/1999,
title = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://ieeexplore.ieee.org/xpl/conhome/6456/proceeding},
isbn = {0-7695-0331-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AllmaierKH97,
author = {Susann C. Allmaier and
Markus Kowarschik and
Graham Horton},
title = {State space construction and steady-state solution of GSPNs on a shared-memory
multiprocessor},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {112--121},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595542},
doi = {10.1109/PNPM.1997.595542},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AllmaierKH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AnglanoDFB97,
author = {Cosimo Anglano and
Susanna Donatelli and
Giuliana Franceschinis and
Oliver Botti},
title = {Performance prediction of a reconfigurable high voltage substation
simulator: a case study using {SWN}},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {163--172},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595547},
doi = {10.1109/PNPM.1997.595547},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AnglanoDFB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BauseB97,
author = {Falko Bause and
Peter Buchholz},
title = {Aggregation and disaggregation in product form queueing Petri Nets},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {16--25},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595533},
doi = {10.1109/PNPM.1997.595533},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BauseB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BobbioPT97,
author = {Andrea Bobbio and
Antonio Puliafito and
Mikl{\'{o}}s Telek},
title = {New primitives for interlaced memory policies in Markov regenerative
Stochastic Petri Nets},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595538},
doi = {10.1109/PNPM.1997.595538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BobbioPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Buchholz97,
author = {Peter Buchholz},
title = {Hierarchical structuring of superposed GSPNs},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595539},
doi = {10.1109/PNPM.1997.595539},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Buchholz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CamposSD97,
author = {Javier Campos and
Manuel Silva Su{\'{a}}rez and
Susanna Donatelli},
title = {Structured solution of stochastic {DSSP} systems},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595540},
doi = {10.1109/PNPM.1997.595540},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CamposSD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CiardoNT97,
author = {Gianfranco Ciardo and
David M. Nicol and
Kishor S. Trivedi},
title = {Discrete-event simulation of fluid stochastic Petri nets},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {217--225},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595553},
doi = {10.1109/PNPM.1997.595553},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CiardoNT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/David97,
author = {Ren{\'{e}} David},
title = {Modeling of hybrid systems using continuous and hybrid Petri nets},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {47--58},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595536},
doi = {10.1109/PNPM.1997.595536},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/David97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DeavoursS97,
author = {Daniel D. Deavours and
William H. Sanders},
title = {"On-the-fly" solution techniques for stochastic Petri nets and extensions},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595544},
doi = {10.1109/PNPM.1997.595544},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/DeavoursS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FerschaR97,
author = {Alois Ferscha and
Michael Richter},
title = {Time Warp simulation of timed Petri nets: sensitivity of adaptive
methods},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {205--216},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595551},
doi = {10.1109/PNPM.1997.595551},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/FerschaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GovindarajanSZ97,
author = {R. Govindarajan and
F. Suciu and
Wlodek M. Zuberek},
title = {Timed Petri net models of multithreaded multiprocessor architectures},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595546},
doi = {10.1109/PNPM.1997.595546},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/GovindarajanSZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/GribaudoS97,
author = {Marco Gribaudo and
Matteo Sereno},
title = {{GSPN} semantics for queueing networks with blocking},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595534},
doi = {10.1109/PNPM.1997.595534},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/GribaudoS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Haas97,
author = {Peter J. Haas},
title = {Estimation methods for stochastic Petri nets based on standardized
time series},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {194--204},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595550},
doi = {10.1109/PNPM.1997.595550},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Haas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HaverkortO97,
author = {Boudewijn R. Haverkort and
Alexander Ost},
title = {Steady-state analysis of infinite stochastic Petri nets: comparing
the spectral expansion and the matrix-geometric method},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {36--45},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595535},
doi = {10.1109/PNPM.1997.595535},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HaverkortO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HeindlG97,
author = {Armin Heindl and
Reinhard German},
title = {A fourth-order algorithm with automatic stepsize control for the transient
analysis of DSPNs},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595537},
doi = {10.1109/PNPM.1997.595537},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HeindlG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HermannsHMR97,
author = {Holger Hermanns and
Ulrich Herzog and
Vassilis Mertsiotakis and
Michael Rettelbach},
title = {Exploiting stochastic process algebra achievements for generalized
stochastic Petri nets},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595549},
doi = {10.1109/PNPM.1997.595549},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/HermannsHMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Kemper97,
author = {Peter Kemper},
title = {Transient analysis of superposed GSPNs},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595541},
doi = {10.1109/PNPM.1997.595541},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Kemper97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarenzoniCC97,
author = {Paolo Marenzoni and
Stefano Caselli and
Gianni Conte},
title = {Analysis of large {GSPN} models: a distributed solution tool},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {122--131},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595543},
doi = {10.1109/PNPM.1997.595543},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarenzoniCC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanBGT97,
author = {Marco Ajmone Marsan and
Khalid Begain and
Rossano Gaeta and
Mikl{\'{o}}s Telek},
title = {{GSPN} analysis of {ABR} in {ATM} LANs},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {227--236},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595554},
doi = {10.1109/PNPM.1997.595554},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanBGT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanG97,
author = {Marco Ajmone Marsan and
Rossano Gaeta},
title = {{GSPN} models of {ATM} switches},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {237--246},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595555},
doi = {10.1109/PNPM.1997.595555},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MertsiotakisS97,
author = {Vassilis Mertsiotakis and
Manuel Silva Su{\'{a}}rez},
title = {Throughput approximation of decision free processes using decomposition},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {174--182},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595548},
doi = {10.1109/PNPM.1997.595548},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MertsiotakisS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/PalazzoPS97,
author = {Sergio Palazzo and
Antonio Puliafito and
Marco Scarpa},
title = {Reliability analysis of a redundant database for {UMTS} systems},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {247--256},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595556},
doi = {10.1109/PNPM.1997.595556},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/PalazzoPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Proth97,
author = {Jean{-}Marie Proth},
title = {Petri nets for modelling and evaluating deterministic and stochastic
manufacturing systems},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {2--14},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595532},
doi = {10.1109/PNPM.1997.595532},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Proth97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Segent97,
author = {N. Segent},
title = {Performance evaluation of a consensus algorithm with Petri nets},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595545},
doi = {10.1109/PNPM.1997.595545},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Segent97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/1997,
title = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://ieeexplore.ieee.org/xpl/conhome/4662/proceeding},
isbn = {0-8186-7931-X},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/pnpm/AbbatiCCZ93,
author = {D. Abbati and
Stefano Caselli and
Gianni Conte and
Francesco Zanichelli},
title = {Synthesis of {GSPN} models for workload mapping on concurrent architectures},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {204--215},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393450},
doi = {10.1109/PNPM.1993.393450},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AbbatiCCZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AnglanoDG93,
author = {Cosimo Anglano and
Susanna Donatelli and
Rossano Gaeta},
title = {Parallel architectures with regular structure: {A} case study in modelling
using stochastic well-formed coloured Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {226--235},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393448},
doi = {10.1109/PNPM.1993.393448},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AnglanoDG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Atamna93,
author = {Youcef Atamna},
title = {Definition of the model-"Stochastic timed well formed coloured nets"},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {24--33},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393438},
doi = {10.1109/PNPM.1993.393438},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Atamna93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Bause93,
author = {Falko Bause},
title = {Queueing Petri Nets-A formalism for the combined qualitative and quantitative
analysis of systems},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393439},
doi = {10.1109/PNPM.1993.393439},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Bause93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BlakemoreT93,
author = {Alex Blakemore and
Satish K. Tripathi},
title = {Automated time scale decomposition and analysis of stochastic Petri
nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393446},
doi = {10.1109/PNPM.1993.393446},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BlakemoreT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BouchenebAB93,
author = {Hanifa Boucheneb and
U. Alger and
G{\'{e}}rard Berthelot},
title = {Towards a simplified building of time Petri Nets reachability graph},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {46--47},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393436},
doi = {10.1109/PNPM.1993.393436},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BouchenebAB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Boucherie93,
author = {Richard J. Boucherie},
title = {A characterization of independence for competing Markov chains with
applications to stochastic Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {117--126},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393429},
doi = {10.1109/PNPM.1993.393429},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Boucherie93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Buchholz93,
author = {Peter Buchholz},
title = {Aggregation and reduction techniques for hierarchical GCSPNs},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {216--225},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393449},
doi = {10.1109/PNPM.1993.393449},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Buchholz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CamposCJS93,
author = {Javier Campos and
Jos{\'{e}} Manuel Colom and
Hauke Jungnitz and
Manuel Silva Su{\'{a}}rez},
title = {A general iterative technique for approximate throughput computation
of stochastic marked graphs},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {138--147},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393427},
doi = {10.1109/PNPM.1993.393427},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CamposCJS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CherkasovaKR93,
author = {Ludmila Cherkasova and
Vadim E. Kotov and
Tomas Rokicki},
title = {On scalable net modeling of {OLTP}},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {270--279},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393444},
doi = {10.1109/PNPM.1993.393444},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CherkasovaKR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Chiola93,
author = {Giovanni Chiola},
title = {On the structural and behavioural characterization of {P/T} nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {66--75},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393434},
doi = {10.1109/PNPM.1993.393434},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Chiola93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ChiolaACCS93,
author = {Giovanni Chiola and
Cosimo Anglano and
Javier Campos and
Jos{\'{e}} Manuel Colom and
Manuel Silva Su{\'{a}}rez},
title = {Operational analysis of timed Petri nets and application to the computation
of performance bounds},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {128--137},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393428},
doi = {10.1109/PNPM.1993.393428},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ChiolaACCS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CiardoGL93,
author = {Gianfranco Ciardo and
Reinhard German and
Christoph Lindemann},
title = {A characterization of the stochastic process underlying a stochastic
Petri net},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393453},
doi = {10.1109/PNPM.1993.393453},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CiardoGL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CiardoL93,
author = {Gianfranco Ciardo and
Christoph Lindemann},
title = {Analysis of deterministic and stochastic Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {160--169},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393454},
doi = {10.1109/PNPM.1993.393454},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CiardoL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ClausenJ93,
author = {Henning Clausen and
Peter Ryberg Jensen},
title = {Validation and performance analysis of network algorithms by coloured
Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {280--289},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393443},
doi = {10.1109/PNPM.1993.393443},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ClausenJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Coleman93,
author = {J. L. Coleman},
title = {Algorithms for product-form stochastic Petri nets-A new approach},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {108--116},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393430},
doi = {10.1109/PNPM.1993.393430},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Coleman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Dunkel93,
author = {J{\"{u}}rgen Dunkel},
title = {Fast simulation of rare events in stochastic Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {238--247},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393447},
doi = {10.1109/PNPM.1993.393447},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Dunkel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DutheilletH93,
author = {Claude Dutheillet and
Serge Haddad},
title = {Conflict sets in colored Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {76--85},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393433},
doi = {10.1109/PNPM.1993.393433},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/DutheilletH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FranceschinisM93,
author = {Giuliana Franceschinis and
Richard R. Muntz},
title = {Computing bounds for the performance indices of quasi-lumpable stochastic
well-formed nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {148--157},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393455},
doi = {10.1109/PNPM.1993.393455},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/FranceschinisM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Herzog93,
author = {Ulrich Herzog},
title = {Constructive modelling and design basic research within the European
QMIPS-project},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393432},
doi = {10.1109/PNPM.1993.393432},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Herzog93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HilalL93,
author = {R. Hilal and
P. Ladet},
title = {A reactive real-time systems modelling and programming aid tool based
on the synchronous Petri nets formalism},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {34--43},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393437},
doi = {10.1109/PNPM.1993.393437},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HilalL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MainkarCT93,
author = {Varsha Mainkar and
Hoon Choi and
Kishor S. Trivedi},
title = {Sensitivity analysis of Markov regenerative stochastic Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {180--181},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393452},
doi = {10.1109/PNPM.1993.393452},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MainkarCT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MalhotraT93,
author = {Manish Malhotra and
Kishor S. Trivedi},
title = {A methodology for formal expression of hierarchy in model solution},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {258--267},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393445},
doi = {10.1109/PNPM.1993.393445},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MalhotraT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarieJ93,
author = {Raymond Marie and
Alain Jean{-}Marie},
title = {Quantitative evaluation of discrete event systems: Models, performances
and techniques},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393440},
doi = {10.1109/PNPM.1993.393440},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarieJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MazighGS93,
author = {Belhassen Mazigh and
Julien Gresser and
Fran{\c{c}}ois Simon},
title = {{GSPN} modelling methods for performance and dependability evaluation
of a real-life flexible manufacturing system},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {290--299},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393442},
doi = {10.1109/PNPM.1993.393442},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MazighGS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/RuizFG93,
author = {Valent{\'{\i}}n Valero Ruiz and
David de Frutos{-}Escrig and
Fernando Cuartero G{\'{o}}mez},
title = {Decidability of the strict reachability problem for TPN's with rational
and real durations},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {56--65},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393435},
doi = {10.1109/PNPM.1993.393435},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/RuizFG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Schmitter93,
author = {Ernst Schmitter},
title = {The implications of industrial systems' complexity on methodologies
for system design and evaluation},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {192--201},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393451},
doi = {10.1109/PNPM.1993.393451},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Schmitter93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SerenoB93,
author = {Matteo Sereno and
Gianfranco Balbo},
title = {Computational algorithms for product form solution stochastic Petri
nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {98--107},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393431},
doi = {10.1109/PNPM.1993.393431},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/SerenoB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/1993,
title = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://ieeexplore.ieee.org/xpl/conhome/3141/proceeding},
isbn = {0-8186-4250-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AmmarD91,
author = {Hany H. Ammar and
Su Deng},
title = {Time Warp Simulation of Stochastic Petri Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {186--195},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238802},
doi = {10.1109/PNPM.1991.238802},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AmmarD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ArchettiSG91,
author = {Francesco Archetti and
Anna Sciomachen and
Alexei A. Gaivoronski},
title = {Optimal Control Policies for Automated Storage/Retrieval System Using
{P} {N} Model and Stochastic Optimization},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {258--267},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238794},
doi = {10.1109/PNPM.1991.238794},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ArchettiSG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Best91,
author = {Eike Best},
title = {Overview of the Results of the Esprit Basic Research Action {DEMON}
- Design Methods Based on Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {224--235},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238797},
doi = {10.1109/PNPM.1991.238797},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Best91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BottiC91,
author = {Oliver Botti and
Fiorella de Cindio},
title = {From Basic to Timed Net Models of Occam: An Application to Program
Placement},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {216--221},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238798},
doi = {10.1109/PNPM.1991.238798},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BottiC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CamposS91,
author = {Javier Campos and
Manuel Silva Su{\'{a}}rez},
title = {Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets
and Queueing Networks},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {312--321},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238789},
doi = {10.1109/PNPM.1991.238789},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CamposS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CamposSS91,
author = {Javier Campos and
Beatriz S{\'{a}}nchez and
Manuel Silva Su{\'{a}}rez},
title = {Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238788},
doi = {10.1109/PNPM.1991.238788},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CamposSS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CaselliC91,
author = {Stefano Caselli and
Gianni Conte},
title = {{GSPN} Models of Concurrent Architectures with Mesh Topology},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {280--289},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238792},
doi = {10.1109/PNPM.1991.238792},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CaselliC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ChiolaDF91,
author = {Giovanni Chiola and
Susanna Donatelli and
Giuliana Franceschinis},
title = {GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {20--31},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238785},
doi = {10.1109/PNPM.1991.238785},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ChiolaDF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ChiolaF91,
author = {Giovanni Chiola and
Giuliana Franceschinis},
title = {A Structural Colour Simplification in Well-Formed Coloured Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {144--153},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238773},
doi = {10.1109/PNPM.1991.238773},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ChiolaF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CiardoT91,
author = {Gianfranco Ciardo and
Kishor S. Trivedi},
title = {A Decomposition Approach for Stochastic Petri Net Models},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {74--83},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238780},
doi = {10.1109/PNPM.1991.238780},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CiardoT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CouvillionFJOQRST91,
author = {Joseph A. Couvillion and
Roberto S. Freire and
Ron Johnson and
W. Douglas Obal II and
Muhammad A. Qureshi and
Manish Rai and
William H. Sanders and
Janet E. Tvedt},
title = {Performability Modeling with \emph{UltraSAN}},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {290--299},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238791},
doi = {10.1109/PNPM.1991.238791},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CouvillionFJOQRST91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Donatelli91,
author = {Susanna Donatelli},
title = {Superposed Stochastic Automata: {A} Class of Stochastic Petri Nets
Amenable to Parallel Solution},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {54--63},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238782},
doi = {10.1109/PNPM.1991.238782},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Donatelli91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Findlow91,
author = {Greg Findlow},
title = {Can Skeletons Really be Used to Detect Deadlocks of Nets?},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {198--203},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238801},
doi = {10.1109/PNPM.1991.238801},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Findlow91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FlorinFN91,
author = {Gerard Florin and
C{\'{e}}line Fraize and
St{\'{e}}phane Natkin},
title = {Searching Best Paths to Worst States},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {204--209},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238800},
doi = {10.1109/PNPM.1991.238800},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/FlorinFN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Haverkort91,
author = {Boudewijn R. Haverkort},
title = {Approximate Performability Analysis using Generalized Stochastic Petri
Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {300--309},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238790},
doi = {10.1109/PNPM.1991.238790},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Haverkort91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HendersonL91,
author = {William Henderson and
D. Lucic},
title = {Exact Results in the Aggregation and Disaggregation of Stochastic
Petri Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238771},
doi = {10.1109/PNPM.1991.238771},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HendersonL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/JuanoleA91,
author = {Guy Juanole and
Youcef Atamna},
title = {Dealing with Arbitrary Time Distributions with the Stochastic Timed
Petri Net Model - Application to Queueing Systems},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {32--41},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238784},
doi = {10.1109/PNPM.1991.238784},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/JuanoleA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/KantzT91,
author = {Heinz Kantz and
Kishor S. Trivedi},
title = {Reliability Modeling of the {MARS} System: {A} Case Study in the Use
of Different Tools and Techniques},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {268--277},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238793},
doi = {10.1109/PNPM.1991.238793},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/KantzT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/KlasM91,
author = {Guenter Klas and
Reinhard Matuschka},
title = {Subnetwork Time Distributions as a Means for Multilevel Evaluation
of Generalized Stochastic Petri Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {42--51},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238783},
doi = {10.1109/PNPM.1991.238783},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/KlasM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/KobayashiK91,
author = {Takashi Kobayashi and
Kenzo Kurihara},
title = {Performance Model of Interference Avoidance Policy Using Stochastic
Petri Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {125--133},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238775},
doi = {10.1109/PNPM.1991.238775},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/KobayashiK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LakosK91,
author = {Charles Lakos and
Chris D. Keen},
title = {Modelling Layered Protocols in {LOOPN}},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238777},
doi = {10.1109/PNPM.1991.238777},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/LakosK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Linde-Goers91,
author = {Hans{-}G{\"{u}}nther Linde{-}G{\"{o}}ers},
title = {Free Choice Simulation of Petri Nets},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {236--245},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238796},
doi = {10.1109/PNPM.1991.238796},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Linde-Goers91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Lindemann91,
author = {Christoph Lindemann},
title = {An Improved Numerical Algorithm for Calculating Steady-State Solutions
of Deterministic and Stochastic Petri Net Models},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238803},
doi = {10.1109/PNPM.1991.238803},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Lindemann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MagottS91,
author = {Jan Magott and
Kamil Skudlarski},
title = {Estimating the Mean Cycle Time for Stochastic Safe Marked Graphs},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {86--94},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238779},
doi = {10.1109/PNPM.1991.238779},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MagottS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarinescuBS91,
author = {Dan C. Marinescu and
Mike Beaven and
Ryan Stansifer},
title = {A Parallel Algorithm for Computing Invariants of Petri Net Models},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {136--143},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238774},
doi = {10.1109/PNPM.1991.238774},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarinescuBS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanDNR91,
author = {Marco Ajmone Marsan and
Susanna Donatelli and
Fabio Neri and
U. Rubino},
title = {On the Construction of Abstract {GSPNS:} An Exercise in Modeling},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {2--17},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238786},
doi = {10.1109/PNPM.1991.238786},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanDNR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/OnagaSW91,
author = {Kenji Onaga and
Manuel Silva and
Toshimasa Watanabe},
title = {On Periodic Schedules for Deterministically Timed Petri Net Systems},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {210--215},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238799},
doi = {10.1109/PNPM.1991.238799},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/OnagaSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Rajsbaum91,
author = {Sergio Rajsbaum},
title = {Stochastic Marked Graphs},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {95--101},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238778},
doi = {10.1109/PNPM.1991.238778},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Rajsbaum91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/RuizFC91,
author = {Valent{\'{\i}}n Valero Ruiz and
David de Frutos{-}Escrig and
Fernando Cuartero},
title = {Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications
to Decidability of the Timed Reachability Problem and other Related
Problems},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238772},
doi = {10.1109/PNPM.1991.238772},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/RuizFC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/WoodsideL91,
author = {C. Murray Woodside and
Yao Li},
title = {Performance Petri Net Analysis of Communications Protocol Software
by Delay-Equivalent Aggregation},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {64--73},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238781},
doi = {10.1109/PNPM.1991.238781},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/WoodsideL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/XuV91,
author = {Zhiwei Xu and
Olivier Y. de Vel},
title = {Petri Net Modelling of Occam Programs for Detecting Indeterminacy,
Non-termination and Deadlock Anomalies},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {116--124},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238776},
doi = {10.1109/PNPM.1991.238776},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/XuV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ZurawskiD91,
author = {Richard Zurawski and
Tharam S. Dillon},
title = {Systematic Construction of Functional Abstractions of Petri Net Models
of Typical Components of Flexible Manufacturing Systems},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238795},
doi = {10.1109/PNPM.1991.238795},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ZurawskiD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/1991,
title = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://ieeexplore.ieee.org/xpl/conhome/370/proceeding},
isbn = {0-8186-2285-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AmmarI89,
author = {Hany H. Ammar and
S. M. Rezaul Islam},
title = {On Bounds for Token Probabilities in a Class of Generalized Stochastic
Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {221--227},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68555},
doi = {10.1109/PNPM.1989.68555},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AmmarI89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AmmarID89,
author = {Hany H. Ammar and
S. M. Rezaul Islam and
Su Deng},
title = {Performability Analysis of Parallel and Distributed Algorithms},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {240--248},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68557},
doi = {10.1109/PNPM.1989.68557},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AmmarID89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Billington89,
author = {Jonathan Billington},
title = {Extensions to Coloured Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68540},
doi = {10.1109/PNPM.1989.68540},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Billington89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Billington89a,
author = {Jonathan Billington},
title = {Many-Sorted High-Level Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {166--179},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68550},
doi = {10.1109/PNPM.1989.68550},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Billington89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Blakemore89,
author = {Alex Blakemore},
title = {The Cost of Eliminating Vanishing Markings from Generalized Stochastic
Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68542},
doi = {10.1109/PNPM.1989.68542},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Blakemore89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BruelCB89,
author = {Steven C. Bruell and
Pozung Chen and
Gianfranco Balbo},
title = {Alternative Methods for Incorporating Non-exponential Distributions
into Stochastic Timed Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {187--197},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68552},
doi = {10.1109/PNPM.1989.68552},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BruelCB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CamposCCS89,
author = {Javier Campos and
Giovanni Chiola and
Jos{\'{e}} Manuel Colom and
Manuel Silva Su{\'{a}}rez},
title = {Tight Polynomial Bounds for Steady-State Performance of Marked Graphs},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {200--209},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68553},
doi = {10.1109/PNPM.1989.68553},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CamposCCS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CamposCS89,
author = {Javier Campos and
Giovanni Chiola and
Manuel Silva Su{\'{a}}rez},
title = {Properties and Steady-State Performance Bounds for Petri Nets with
Unique Repetitive Firing Count Vector},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {210--220},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68554},
doi = {10.1109/PNPM.1989.68554},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CamposCS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Carrasco89,
author = {Juan A. Carrasco},
title = {Automated Construction of Compound Markov Chains from Generalized
Stochastic High-Level Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68543},
doi = {10.1109/PNPM.1989.68543},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Carrasco89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ChiolaF89,
author = {Giovanni Chiola and
Giuliana Franceschinis},
title = {Colored {GSPN} Models and Automatic Symmetry Detection},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {50--60},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68539},
doi = {10.1109/PNPM.1989.68539},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ChiolaF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ChiuC89,
author = {Peter P. K. Chiu and
Paul Y. S. Cheung},
title = {Logic Simulation with Interval-Labelled Net Model},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68547},
doi = {10.1109/PNPM.1989.68547},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/ChiuC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CiardoMT89,
author = {Gianfranco Ciardo and
Jogesh K. Muppala and
Kishor S. Trivedi},
title = {{SPNP:} Stochastic Petri Net Package},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {142--151},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68548},
doi = {10.1109/PNPM.1989.68548},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/CiardoMT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DuganMCSSC89,
author = {Joanne Bechta Dugan and
Dan C. Marinescu and
Giovanni Chiola and
Yoshio Sugasawa and
William H. Sanders and
Gianfranco Ciardo},
title = {Panel: Applications of Performance Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {164},
publisher = {{IEEE} Computer Society},
year = {1989},
timestamp = {Mon, 15 Apr 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/DuganMCSSC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DutheilletH89,
author = {Claude Dutheillet and
Serge Haddad},
title = {Aggregation of States in Colored Stochastic Petri Nets: Application
to a Multiprocessor Architecture},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {40--49},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68538},
doi = {10.1109/PNPM.1989.68538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/DutheilletH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FlorinN89,
author = {Gerard Florin and
St{\'{e}}phane Natkin},
title = {Matrix Product Form Solution for Closed Synchronized Queuing Networks},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {29--37},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68537},
doi = {10.1109/PNPM.1989.68537},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/FlorinN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HatonoKYT89,
author = {Itsuo Hatono and
Norihiro Katoh and
Keiichi Yamagata and
Hiroyuki Tamura},
title = {Modeling of {FMS} under Uncertainty Using Stochastic Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {122--129},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68546},
doi = {10.1109/PNPM.1989.68546},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HatonoKYT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HendersonT89,
author = {William Henderson and
Peter G. Taylor},
title = {Aggregation Methods in Exact Performance Analyssi of Stochastic Petri
Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {12--18},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68535},
doi = {10.1109/PNPM.1989.68535},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/HendersonT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/IbeSHT89,
author = {Oliver C. Ibe and
Archana Sathaye and
Richard C. Howe and
Kishor S. Trivedi},
title = {Stochastic Petri Net Modeling of VAXcluster System Availability},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {112--121},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68545},
doi = {10.1109/PNPM.1989.68545},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/IbeSHT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/JuanoleR89,
author = {Guy Juanole and
J. L. Roux},
title = {On the Pertinence of the Extended Time Petri Net Model for Analyzing
Communication Activities},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {230--239},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68556},
doi = {10.1109/PNPM.1989.68556},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/JuanoleR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MagottS89,
author = {Jan Magott and
Kamil Skudlarski},
title = {Combining Generalized Stochastic Petri Nets and {PERT} Networks for
the Performance Evaluation of Concurrent Progress},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {249--256},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68558},
doi = {10.1109/PNPM.1989.68558},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MagottS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanDN89,
author = {Marco Ajmone Marsan and
Susanna Donatelli and
Fabio Neri},
title = {{GSPN} Models of Multiserver Multiqueue Systems},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68536},
doi = {10.1109/PNPM.1989.68536},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanDN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanRS89,
author = {Marco Ajmone Marsan and
Gian Paolo Rossi and
F. Salvi},
title = {A Simulation Model of a Uniform Interface for Layered Protocol Architectures},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {152--161},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68549},
doi = {10.1109/PNPM.1989.68549},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Molloy89,
author = {Michael K. Molloy},
title = {Petri Net Modelling - The Past, the Present, and the Future},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68534},
doi = {10.1109/PNPM.1989.68534},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Molloy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/NakamuraNI89,
author = {Keiko Nakamura and
Kiyohiko Nakamura and
Atsunobu Ichikawa},
title = {A Class of Petri Nets and a Reachability Problem Solvable in Deterministic
Polynomial Time},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {258--265},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68559},
doi = {10.1109/PNPM.1989.68559},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/NakamuraNI89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SandersM89,
author = {William H. Sanders and
John F. Meyer},
title = {Reduced Base Model Construction Methods for Stochastic Activity Networks},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {74--84},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68541},
doi = {10.1109/PNPM.1989.68541},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/SandersM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SomeyaTMK89,
author = {Harushi Someya and
Tsutomu Tashiro and
Tomohiro Murata and
Norihisa Komoda},
title = {Performance Evaluation of Job Operation Flows in Computer Systems
by Timed Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {104--111},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68544},
doi = {10.1109/PNPM.1989.68544},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/SomeyaTMK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/WatanabeMO89,
author = {Toshimasa Watanabe and
Yukata Mizobata and
Kenji Onaga},
title = {Legal Firing Sequence and Related Problems of Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {277--286},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68561},
doi = {10.1109/PNPM.1989.68561},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/WatanabeMO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/YawFJ89,
author = {Yuh Yaw and
Fuin{-}Law and
Wei{-}De Ju},
title = {The Algorithm of a Synthesis Technique for Concurrent Systems},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {266--276},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68560},
doi = {10.1109/PNPM.1989.68560},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/YawFJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Zuberek89,
author = {Wlodzimierz M. Zuberek},
title = {Performance Evaluation Using Unbounded Timed Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {180--186},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68551},
doi = {10.1109/PNPM.1989.68551},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Zuberek89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/1989,
title = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://ieeexplore.ieee.org/xpl/conhome/265/proceeding},
isbn = {0-8186-2001-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BalboCFR87,
author = {Gianfranco Balbo and
Giovanni Chiola and
Giuliana Franceschinis and
G. Molinar Roet},
title = {On the Efficient Construction of the Tangible Reachability Graph of
Generalized Stochastic Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 23 Jun 2016 10:27:26 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/BalboCFR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Chu87,
author = {Tam{-}Anh Chu},
title = {A Method of Abstraction for Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {164--173},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Chu87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Ciardo87,
author = {Gianfranco Ciardo},
title = {Toward a Definition of Modeling Power for Stochastic Petri Net Models},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {54--62},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Ciardo87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DuganC87,
author = {Joanne Bechta Dugan and
Gianfranco Ciardo},
title = {Stochastic Petri Net Analysis of a Replicated File System},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {84--92},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Fri, 24 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/DuganC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FlorinN87,
author = {Gerard Florin and
St{\'{e}}phane Natkin},
title = {A Necessary and Sufficient Saturation Condition for Open Synchronized
Queueing Networks},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {4--13},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/FlorinN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Gopalakrishnan87,
author = {Ganesh Gopalakrishnan},
title = {Synthesizing Synchronous Digital {VLSI} Controllers Using Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {94--103},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Gopalakrishnan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HaasS87,
author = {Peter J. Haas and
Gerald S. Shedler},
title = {Stochastic Petri Nets with Simultaneous Transition Firings},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {24--33},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/HaasS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Kant87,
author = {K. Kant},
title = {Modeling Interprocess Communication in Distributed Programs},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {75--83},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Kant87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LinM87,
author = {Chuang Lin and
Dan C. Marinescu},
title = {On Stochastic High-Level Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {34--43},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/LinM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LuZM87,
author = {Meiliu Lu and
Du Zhang and
Tadao Murata},
title = {Stochastic Net Model for Self-Stability Measures of Fault Tolerant
Clock Synchronization},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {104--110},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/LuZM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Magott87,
author = {Jan Magott},
title = {Performance Evalutaion of Systems of Cyclic Sequential Processes with
Mutual Exclusion an Communication by Buffers Using Timed Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Magott87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanBCC87,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Giovanni Chiola and
Gianni Conte},
title = {Generalized Stochastic Petri Nets Revisitied: Random Switches and
Priorities},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanBCC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanS87,
author = {Marco Ajmone Marsan and
V. A. Signore},
title = {Timed Petri Net Peformance Models of Fiber Optics {LAN} Architectures},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {66--74},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Molloy87,
author = {Michael K. Molloy},
title = {Structurally Bounded Stochastic Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {156--163},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Molloy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Petri87,
author = {C. A. Petri},
title = {Tools of General Net Theory (abstract)},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 11 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Petri87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/RouxJ87,
author = {J. L. Roux and
Guy Juanole},
title = {Functional and Performance Analysis Using Extended Time Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/RouxJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SandersM87,
author = {William H. Sanders and
John F. Meyer},
title = {Performability Evaluation of Distributed Systems Using Stochastic
Activity Networks},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {111--125},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/SandersM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Szymanski87,
author = {Ted H. Szymanski},
title = {Tree Network Performance Analysis Using Monte Carlo Simulation of
Performance Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {126--135},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Szymanski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Vautherin87,
author = {Jacques Vautherin},
title = {Calculation of Semi-Flows for Pr/T-Systems},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Vautherin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/1987,
title = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
publisher = {{IEEE} Computer Society},
year = {1987},
isbn = {0-8186-0796-3},
timestamp = {Thu, 23 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AmmarL85,
author = {Hany H. Ammar and
R. W. Liu},
title = {Analysis of the Generalized Stochastic Petri Nets by State Aggregation},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {88--95},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 15:58:20 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/AmmarL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BalboBG85,
author = {Gianfranco Balbo and
Steven C. Bruell and
Subbarao Ghanta},
title = {Combining Queueing Network and Generalized Stochastic Petri Net Models
for the Analysis of a Software Blocking Phenomenon},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {208--225},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/BalboBG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Beounes85,
author = {C. Beounes},
title = {Stochastic Petri Net Modeling for Dependability Evaluation of Complex
Computer Systems},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {191--198},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Beounes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Billington85,
author = {Jonathan Billington},
title = {On Specifying Performance Aspects of Protocol Services},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {288--295},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Billington85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BruellG85,
author = {Steven C. Bruell and
Subbarao Ghanta},
title = {Throughput Bounds for Generalized Stochastic Petri Net Models},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {250--261},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/BruellG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BrunoB85,
author = {Giorgio Bruno and
Paolo Biglia},
title = {Performance Evaluation and Validation of Tool Handling in Flexible
Manufacturing Systems Using Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {64--71},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/BrunoB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CaspiH85,
author = {Paul Caspi and
Nicolas Halbwachs},
title = {An Application of Laplace Transform Techniques to the Analysis of
Timed Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {40--46},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/CaspiH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Chiola85,
author = {Giovanni Chiola},
title = {A Software Package for the Analysis of Generalized Stochastic Petri
Net Models},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {136--143},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Chiola85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Chretienne85,
author = {Philippe Chr{\'{e}}tienne},
title = {Timed Event Graphs: {A} Complete Study of Their Controlled Executions},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Chretienne85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/CoolahanR85,
author = {James E. Coolahan Jr. and
Nick Roussopoulos},
title = {A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing
Requirements},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {24--31},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/CoolahanR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Cumani85,
author = {Aldo Cumani},
title = {{ESP} - {A} Package for the Evaluation of Stochastic Petri Nets with
Phase-Type Distributed Transition Times},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {144--151},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Cumani85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DidicR85,
author = {Milena Didic and
Gernot Richter},
title = {Time {\&} Clocks {\&} Task Management},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {116--125},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/DidicR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/DuganBCT85,
author = {Joanne Bechta Dugan and
Andrea Bobbio and
Gianfranco Ciardo and
Kishor S. Trivedi},
title = {The Design of a Unified Package for the Solution of Stochastic Petri
Net Models},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {6--13},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/DuganBCT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/EstraillierGI85,
author = {Pascal Estraillier and
Claude Girault and
Jean{-}Michel Ili{\'{e}}},
title = {Satellite Protocol Modeling by Synchronous Predicate Transition Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {280--287},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Fri, 18 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/EstraillierGI85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/FlorinN85,
author = {Gerard Florin and
St{\'{e}}phane Natkin},
title = {On Open Synchronized Queuing Networks},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {226--233},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/FlorinN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Gressier85,
author = {E. Gressier},
title = {A Stochastic Petri Net Model for Ethernet},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {296--303},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Gressier85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HaasS85,
author = {Peter J. Haas and
Gerald S. Shedler},
title = {Regenerative Simulation of Stochastic Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {14--21},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/HaasS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HollidayV85,
author = {Mark A. Holliday and
Mary K. Vernon},
title = {A Generalized Timed Petri Net Model for Performance Analysis},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/HollidayV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LeszakG85,
author = {Marek Leszak and
Heinrich P. Godbersen},
title = {{DEAMON:} {A} Tool for Performance-Availability Evaluation of Distributed
Systems Based on Function Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {152--161},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/LeszakG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanBBCCC85,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Andrea Bobbio and
Giovanni Chiola and
Gianni Conte and
Aldo Cumani},
title = {On Petri Nets with Stochastic Timing},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {80--87},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Mon, 03 Jun 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanBBCCC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Menasche85,
author = {Miguel Menasche},
title = {{PAREDE:} An Automated Tool for the Analysis of Time(d) Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {162--169},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Menasche85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MeyerMS85,
author = {John F. Meyer and
Ali Movaghar and
William H. Sanders},
title = {Stochastic Activity Networks: Structure, Behavior, and Application},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/MeyerMS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Miescicki85,
author = {Jerzy Miescicki},
title = {An Event-Driven-Net Model of a Multiprocessor System},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {126--13},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Miescicki85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Molloy85,
author = {Michael K. Molloy},
title = {Fast Bounds for Stochastic Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {244--249},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Molloy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Natkin85,
author = {St{\'{e}}phane Natkin},
title = {Timed and Stochastic Petri Nets: From the Validation to the Performance
of Synchronization Schemes},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {2--3},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Natkin85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/RosenblumY85,
author = {Leonid Ya. Rosenblum and
Alexandre Yakovlev},
title = {Signal Graphs: From Self-Timed to Timed Ones},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {199--206},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 04 Dec 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/RosenblumY85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SmigelskiMS85,
author = {T. Smigelski and
Tadao Murata and
Masahiro Sowa},
title = {A Timed Petri Net Model and Simulation of a Dataflow Computer},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/SmigelskiMS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Smith85,
author = {Connie U. Smith},
title = {Robust Models for the Performance Evaluation of Software/Hardware
Designs},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {172--180},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Smith85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/StottsP85,
author = {P. David Stotts and
Terrence W. Pratt},
title = {Hierarchical Modeling of Software Systems with Timed Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Thu, 22 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/StottsP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ThomasianB85,
author = {Alexander Thomasian and
Paul F. Bay},
title = {Performance Analysis of Task Systems Using a Queueing Network Model},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {234--242},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Mon, 03 Jun 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/ThomasianB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/WongDF85,
author = {C. Y. Wong and
Tharam S. Dillon and
Kevin E. Forward},
title = {Timed Places Petri Nets with Stochastic Representation of Place Time},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {96--103},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/WongDF85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/ZarghamT85,
author = {Mehdi R. Zargham and
Marilyn Tyman},
title = {Neural Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {72--77},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/ZarghamT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Zenie85,
author = {Alexandre Zenie},
title = {Colored Stochastic Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {262--271},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Zenie85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Zuberek85,
author = {Wlodzimierz M. Zuberek},
title = {Performance Evaluation Using Extended Petri Nets},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {272--278},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Zuberek85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/1985,
title = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
publisher = {{IEEE} Computer Society},
year = {1985},
isbn = {0-8186-0674-6},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/1985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-12 10:23 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
