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