Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pnpm/pnpm1991.bht:"
download as .bib file
@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}
}
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-05-19 09:50 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:
