Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics