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/apn/apn92.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/AutantS92,
author = {Cyril Autant and
Philippe Schnoebelen},
editor = {Kurt Jensen},
title = {Place Bisimulations in Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {45--61},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_3},
doi = {10.1007/3-540-55676-1\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/AutantS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Balbo92,
author = {Gianfranco Balbo},
editor = {Kurt Jensen},
title = {Performance Issues in Parallel Programming},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {1--23},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_1},
doi = {10.1007/3-540-55676-1\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Balbo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarkaouiM92,
author = {Kamel Barkaoui and
Michel Minoux},
editor = {Kurt Jensen},
title = {A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic
Classes of Bounded Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {62--75},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_4},
doi = {10.1007/3-540-55676-1\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BarkaouiM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrownG92,
author = {Carolyn Brown and
Doug Gurr},
editor = {Kurt Jensen},
title = {Refinement and Simulation of Nets - {A} Categorical Characterisation},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {76--92},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_5},
doi = {10.1007/3-540-55676-1\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BrownG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrunoCMP92,
author = {Giorgio Bruno and
Andrea Castella and
Gianpaolo Macario and
Mario P. Pescarmona},
editor = {Kurt Jensen},
title = {Scheduling Hard Real Time Systems Using High-Level Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {93--112},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_6},
doi = {10.1007/3-540-55676-1\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BrunoCMP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChristensenP92,
author = {S{\o}ren Christensen and
Laure Petrucci},
editor = {Kurt Jensen},
title = {Towards a Modular Analysis of Coloured Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {113--133},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_7},
doi = {10.1007/3-540-55676-1\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ChristensenP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CuttsR92,
author = {Geoff Cutts and
Shaun Rattigan},
editor = {Kurt Jensen},
title = {Using Petri Nets to Develop Programs for {PLC} Systems},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {368--372},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_21},
doi = {10.1007/3-540-55676-1\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CuttsR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Desel92,
author = {J{\"{o}}rg Desel},
editor = {Kurt Jensen},
title = {A Proof of the Rank Theorem for Extended Free Choice Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {134--153},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_8},
doi = {10.1007/3-540-55676-1\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Desel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DonatelliS92,
author = {Susanna Donatelli and
Matteo Sereno},
editor = {Kurt Jensen},
title = {On the Product Form Solution for Stochastic Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {154--172},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_9},
doi = {10.1007/3-540-55676-1\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DonatelliS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Findlow92,
author = {Greg Findlow},
editor = {Kurt Jensen},
title = {Obtaining Deadlock-Preserving Skeletons for Coloured Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {173--192},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_10},
doi = {10.1007/3-540-55676-1\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Findlow92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Fleischhack92,
author = {Hans Fleischhack},
editor = {Kurt Jensen},
title = {P-Superfairness in Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {193--204},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_11},
doi = {10.1007/3-540-55676-1\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Fleischhack92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichS92,
author = {Hartmann J. Genrich and
Robert M. Shapiro},
editor = {Kurt Jensen},
title = {Formal Verification of an Arbiter Cascade},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {205--223},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_12},
doi = {10.1007/3-540-55676-1\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GenrichS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeuserR92,
author = {Carlos A. Heuser and
Gernot Richter},
editor = {Kurt Jensen},
title = {Constructs for Modeling Information Systems with Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {224--243},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_13},
doi = {10.1007/3-540-55676-1\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeuserR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Hiraishi92,
author = {Kunihiko Hiraishi},
editor = {Kurt Jensen},
title = {Construction of a Class of Safe Petri Nets by Presenting Firing Sequences},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {244--262},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_14},
doi = {10.1007/3-540-55676-1\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Hiraishi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KemperB92,
author = {Peter Kemper and
Falko Bause},
editor = {Kurt Jensen},
title = {An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness
of Free-Choice Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {263--278},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_15},
doi = {10.1007/3-540-55676-1\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KemperB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Klas92,
author = {Guenter Klas},
editor = {Kurt Jensen},
title = {Hierarchical Solution of Generalized Stochastic Petri Nets by Means
of Traffic Processes},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {279--298},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_16},
doi = {10.1007/3-540-55676-1\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Klas92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kovalyov92,
author = {Andrei Kovalyov},
editor = {Kurt Jensen},
title = {Concurrency Relations and the Safety Problem for Petri Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {299--309},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_17},
doi = {10.1007/3-540-55676-1\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Kovalyov92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LemmerS92,
author = {Karsten Lemmer and
Eckehard Schnieder},
editor = {Kurt Jensen},
title = {Modelling and Control of Complex Logistic Systems for Manufacturing},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {373--378},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_22},
doi = {10.1007/3-540-55676-1\_22},
timestamp = {Thu, 30 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LemmerS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Lilius92,
author = {Johan Lilius},
editor = {Kurt Jensen},
title = {High-Level Nets and Linear Logic},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {310--327},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_18},
doi = {10.1007/3-540-55676-1\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Lilius92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LloretRAC92,
author = {Jean Christophe Lloret and
J. L. Roux and
B. Algayres and
M. Chamontin},
editor = {Kurt Jensen},
title = {Modelling and Evaluation of a Satellite System Using EVAL*, a Petri
Net Based Industrial Tool},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {379--383},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_23},
doi = {10.1007/3-540-55676-1\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LloretRAC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/McLendonV92,
author = {William W. McLendon Jr. and
Richard F. Vidale},
editor = {Kurt Jensen},
title = {Analysis of an Ada System Using Coloured Petri Nets and Occurrence
Graphs},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {384--388},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_24},
doi = {10.1007/3-540-55676-1\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/McLendonV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Reisig92,
author = {Wolfgang Reisig},
editor = {Kurt Jensen},
title = {Combining Petri Nets and Other Formal Methods},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {24--44},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_2},
doi = {10.1007/3-540-55676-1\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Reisig92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SaviX92,
author = {Vanio M. Savi and
Xiaolan Xie},
editor = {Kurt Jensen},
title = {Liveness and Boundedness Analysis for Petri Nets with Event Graph
Modules},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {328--347},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_19},
doi = {10.1007/3-540-55676-1\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SaviX92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TeruelCCS92,
author = {Enrique Teruel and
Piotr Chrzastowski{-}Wachtel and
Jos{\'{e}} Manuel Colom and
Manuel Silva Su{\'{a}}rez},
editor = {Kurt Jensen},
title = {On Weighted T-Systems},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {348--367},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_20},
doi = {10.1007/3-540-55676-1\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/TeruelCCS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VarpaaniemiR92,
author = {Kimmo Varpaaniemi and
Marko Rauhamaa},
editor = {Kurt Jensen},
title = {The Stubborn Set Method in Practice},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {389--393},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_25},
doi = {10.1007/3-540-55676-1\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/VarpaaniemiR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WilkensCK92,
author = {Linda Wilkens and
James Canning and
Patrick D. Krolak},
editor = {Kurt Jensen},
title = {Modeling Fine Grain Computation via the Fusion of Two Extended Petri
Nets},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {394--398},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_26},
doi = {10.1007/3-540-55676-1\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WilkensCK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1992,
editor = {Kurt Jensen},
title = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1},
doi = {10.1007/3-540-55676-1},
isbn = {3-540-55676-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1992.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-04-28 07: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:
