default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/apn1986.bht:"
download as .bib file
@proceedings{DBLP:conf/apn/1986,
editor = {Grzegorz Rozenberg},
title = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18086-9},
doi = {10.1007/3-540-18086-9},
isbn = {3-540-18086-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CindioMS86,
author = {Fiorella de Cindio and
Giorgio De Michelis and
Carla Simone},
editor = {Grzegorz Rozenberg},
title = {{GAMERU:} {A} language for the analysis and design of human communication
pragmatics within organizational systems},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {21--44},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_18},
doi = {10.1007/3-540-18086-9\_18},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/CindioMS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DreesGPRW86,
author = {Stefan Drees and
Dominik Gomm and
Helmut Pl{\"{u}}nnecke and
Wolfgang Reisig and
Rolf Walter},
editor = {Grzegorz Rozenberg},
title = {Bibliography of Petri nets},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {309--451},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_32},
doi = {10.1007/3-540-18086-9\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DreesGPRW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GiraultCH86,
author = {Claude Girault and
C. Chatelain and
Serge Haddad},
editor = {Grzegorz Rozenberg},
title = {Specification and properties of a cache coherence protocol model},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {1--20},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_17},
doi = {10.1007/3-540-18086-9\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GiraultCH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HaddadG86,
author = {Serge Haddad and
Claude Girault},
editor = {Grzegorz Rozenberg},
title = {Algebraic structure of flows of a regular coloured net},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {73--88},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_20},
doi = {10.1007/3-540-18086-9\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HaddadG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HowellR86,
author = {Rodney R. Howell and
Louis E. Rosier},
editor = {Grzegorz Rozenberg},
title = {Recent results on the complexity of problems related to Petri nets},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {45--72},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_19},
doi = {10.1007/3-540-18086-9\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HowellR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JanickiK86,
author = {Ryszard Janicki and
Maciej Koutny},
editor = {Grzegorz Rozenberg},
title = {On equivalent execution semantics of concurrent systems},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {89--103},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_21},
doi = {10.1007/3-540-18086-9\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JanickiK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KruckebergJ86,
author = {Fritz Kr{\"{u}}ckeberg and
Michael Jaxy},
editor = {Grzegorz Rozenberg},
title = {Mathematical methods for calculating invariants in Petri nets},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {104--131},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_22},
doi = {10.1007/3-540-18086-9\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KruckebergJ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MarsanC86,
author = {Marco Ajmone Marsan and
Giovanni Chiola},
editor = {Grzegorz Rozenberg},
title = {On Petri nets with deterministic and exponentially distributed firing
times},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {132--145},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_23},
doi = {10.1007/3-540-18086-9\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MarsanC86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MarsanCF86,
author = {Marco Ajmone Marsan and
Giovanni Chiola and
Andrea Fumagalli},
editor = {Grzegorz Rozenberg},
title = {An accurate performance model of {CSMA/CD} bus {LAN}},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {146--161},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_24},
doi = {10.1007/3-540-18086-9\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MarsanCF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Meijer86,
author = {Erik Meijer},
editor = {Grzegorz Rozenberg},
title = {Petri net models for the lambda-calculus},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {162--180},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_25},
doi = {10.1007/3-540-18086-9\_25},
timestamp = {Wed, 14 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Meijer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Merceron86,
author = {Agathe Merceron},
editor = {Grzegorz Rozenberg},
title = {Fan processes},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {181--195},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_26},
doi = {10.1007/3-540-18086-9\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Merceron86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Olderog86,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Grzegorz Rozenberg},
title = {Operational Petri net semantics for {CCSP}},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {196--223},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_27},
doi = {10.1007/3-540-18086-9\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Olderog86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pelz86,
author = {Elisabeth Pelz},
editor = {Grzegorz Rozenberg},
title = {Infinitary languages of Petri nets and logical sentences},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {224--237},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_28},
doi = {10.1007/3-540-18086-9\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Pelz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PetriS86,
author = {C. A. Petri and
Einar Smith},
editor = {Grzegorz Rozenberg},
title = {Concurrency and continuity},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {273--292},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_30},
doi = {10.1007/3-540-18086-9\_30},
timestamp = {Thu, 11 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PetriS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Reisig86,
author = {Wolfgang Reisig},
editor = {Grzegorz Rozenberg},
title = {A strong part of concurrency},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {238--272},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_29},
doi = {10.1007/3-540-18086-9\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Reisig86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Vautherin86,
author = {Jacques Vautherin},
editor = {Grzegorz Rozenberg},
title = {Parallel systems specitications with coloured Petri nets and algebraic
specifications},
booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications
and Theory of Petri Nets, Oxford, UK, June 1986},
series = {Lecture Notes in Computer Science},
volume = {266},
pages = {293--308},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18086-9\_31},
doi = {10.1007/3-540-18086-9\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Vautherin86.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-09-21 23:36 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:
