default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ac/petri86-1.bht:"
download as .bib file
@proceedings{DBLP:conf/ac/1986petri1,
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-540-47919-2},
doi = {10.1007/978-3-540-47919-2},
isbn = {3-540-17905-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/1986petri1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Berthelot86,
author = {G{\'{e}}rard Berthelot},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Transformations and Decompositions of Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {359--376},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046845},
doi = {10.1007/BFB0046845},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Berthelot86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Best86a,
author = {Eike Best},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Structure Theory of Petri Nets: the Free Choice Hiatus},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {168--205},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046840},
doi = {10.1007/BFB0046840},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Best86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Fernandez86,
author = {C{\'{e}}sar Fern{\'{a}}ndez},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Non-sequential Processes},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {95--115},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046837},
doi = {10.1007/BFB0046837},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Fernandez86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Genrich86,
author = {Hartmann J. Genrich},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Predicate/Transition Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {207--247},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046841},
doi = {10.1007/BFB0046841},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Genrich86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Goltz86,
author = {Ursula Goltz},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Synchronic Distance},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {338--358},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046844},
doi = {10.1007/BFB0046844},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Goltz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Jantzen86,
author = {Matthias Jantzen},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Language Theory of Petri Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {397--412},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046847},
doi = {10.1007/BFB0046847},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Jantzen86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Jantzen86a,
author = {Matthias Jantzen},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Complexity of Place/Transition Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {413--434},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046848},
doi = {10.1007/BFB0046848},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Jantzen86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Jensen86a,
author = {Kurt Jensen},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Coloured Petri Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {248--299},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046842},
doi = {10.1007/BFB0046842},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Jensen86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Lautenbach86,
author = {Kurt Lautenbach},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Linear Algebraic Techniques for Place/Transition Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {142--167},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046839},
doi = {10.1007/BFB0046839},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Lautenbach86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/MemmiV86,
author = {G{\'{e}}rard Memmi and
Jacques Vautherin},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Analysing Nets by the Invariant Method},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {300--336},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046843},
doi = {10.1007/BFB0046843},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/MemmiV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Pagnoni86,
author = {Anastasia Pagnoni},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Stochastic Nets and Performance Evaluation},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {460--478},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046850},
doi = {10.1007/BFB0046850},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Pagnoni86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Petri86a,
author = {C. A. Petri},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Concurrency Theory},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {4--24},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046834},
doi = {10.1007/BFB0046834},
timestamp = {Thu, 11 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Petri86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Reisig86a,
author = {Wolfgang Reisig},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Place/Transition Systems},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {117--141},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046838},
doi = {10.1007/BFB0046838},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Reisig86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Roucairol86,
author = {G{\'{e}}rard Roucairol},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {FIFO-Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {436--459},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046849},
doi = {10.1007/BFB0046849},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Roucairol86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Rozenberg86,
author = {Grzegorz Rozenberg},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Behaviour of Elementary Net Systems},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {60--94},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046836},
doi = {10.1007/BFB0046836},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Rozenberg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Thiagarajan86,
author = {P. S. Thiagarajan},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Elementary Net Systems},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {26--59},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046835},
doi = {10.1007/BFB0046835},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Thiagarajan86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Valk86a,
author = {R{\"{u}}diger Valk},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Infinite Behaiour and Fairness},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {377--396},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046846},
doi = {10.1007/BFB0046846},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Valk86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-29 10:45 CET 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:
