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/apn1985.bht:"
download as .bib file
@proceedings{DBLP:conf/apn/1985,
editor = {Grzegorz Rozenberg},
title = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016202},
doi = {10.1007/BFB0016202},
isbn = {3-540-16480-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BaumgartenBOP85,
author = {Bernd Baumgarten and
Heinz J{\"{u}}rgen Burkhardt and
Peter Ochsenschl{\"{a}}ger and
Rainer Prinoth},
editor = {Grzegorz Rozenberg},
title = {The signing of a contract - a tree-structured application},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {1--18},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016203},
doi = {10.1007/BFB0016203},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BaumgartenBOP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Berthelot85,
author = {G{\'{e}}rard Berthelot},
editor = {Grzegorz Rozenberg},
title = {Checking properties of nets using transformation},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {19--40},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016204},
doi = {10.1007/BFB0016204},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Berthelot85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BoudolRS85,
author = {G{\'{e}}rard Boudol and
G{\'{e}}rard Roucairol and
Robert de Simone},
editor = {Grzegorz Rozenberg},
title = {Petri nets and algebraic calculi of processes},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {41--58},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016205},
doi = {10.1007/BFB0016205},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BoudolRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Burkhard85,
author = {Hans{-}Dieter Burkhard},
editor = {Grzegorz Rozenberg},
title = {Fair controls and their realization},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {59--82},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016206},
doi = {10.1007/BFB0016206},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Burkhard85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Castellano85,
author = {Luca A. Castellano},
editor = {Grzegorz Rozenberg},
title = {Beta processes of {C/E} systems},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {83--100},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016207},
doi = {10.1007/BFB0016207},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Castellano85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Chong-Yi85,
author = {Yuan Chong{-}Yi},
editor = {Grzegorz Rozenberg},
title = {Synhronic distances in {C/E} systems},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {101--121},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016208},
doi = {10.1007/BFB0016208},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Chong-Yi85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Chong-Yi85a,
author = {Yuan Chong{-}Yi},
editor = {Grzegorz Rozenberg},
title = {Process periods and system reconstruction},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {122--141},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016209},
doi = {10.1007/BFB0016209},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Chong-Yi85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ComparinLLPPT85,
author = {G. Comparin and
Gaetano Aurelio Lanzarone and
Kurt Lautenbach and
Anastasia Pagnoni and
W. Panzeri and
A. Torgano},
editor = {Grzegorz Rozenberg},
title = {Guidelines on using net analysis techniques with large specifications},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {142--161},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016210},
doi = {10.1007/BFB0016210},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ComparinLLPPT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Czaja85,
author = {Ludwik Czaja},
editor = {Grzegorz Rozenberg},
title = {Making nets abstract and structures},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {181--202},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016212},
doi = {10.1007/BFB0016212},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Czaja85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Feldbrugge85,
author = {Frits Feldbrugge},
editor = {Grzegorz Rozenberg},
title = {Petri net tools},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {203--223},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016213},
doi = {10.1007/BFB0016213},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Feldbrugge85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Genrich85,
author = {Hartmann J. Genrich},
editor = {Grzegorz Rozenberg},
title = {Projections of {C/E} systems},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {224--232},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016214},
doi = {10.1007/BFB0016214},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Genrich85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GoltzC85,
author = {Ursula Goltz and
Yuan Chong{-}Yi},
editor = {Grzegorz Rozenberg},
title = {Synchronic structure - a tutorial},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {233--252},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016215},
doi = {10.1007/BFB0016215},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GoltzC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HauschildtV85,
author = {Dirk Hauschildt and
R{\"{u}}diger Valk},
editor = {Grzegorz Rozenberg},
title = {Safe states in banker like resource allocation problems},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {253--277},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016216},
doi = {10.1007/BFB0016216},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HauschildtV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Holt85,
author = {Anatol W. Holt},
editor = {Grzegorz Rozenberg},
title = {Coordination technology and Petri nets},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {278--296},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016217},
doi = {10.1007/BFB0016217},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Holt85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JensenS85,
author = {Kurt Jensen and
Erik Meineche Schmidt},
editor = {Grzegorz Rozenberg},
title = {Pascal semantics by a combination of denotational semantics and high-level
Petri nets},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {297--329},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016218},
doi = {10.1007/BFB0016218},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JensenS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/NarahariV85,
author = {Y. Narahari and
Nukala Viswanadham},
editor = {Grzegorz Rozenberg},
title = {On the invariants of coloured Petri nets},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {330--345},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016219},
doi = {10.1007/BFB0016219},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/NarahariV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ParigotP85,
author = {Michel Parigot and
Elisabeth Pelz},
editor = {Grzegorz Rozenberg},
title = {A logical formalism for the study of the infinite behaviour of Petri
nets},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {346--361},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016220},
doi = {10.1007/BFB0016220},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ParigotP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Plunnecke85,
author = {Helmut Pl{\"{u}}nnecke},
editor = {Grzegorz Rozenberg},
title = {Determination of a poset by its co-relation},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {362--380},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016221},
doi = {10.1007/BFB0016221},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Plunnecke85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pomello85,
author = {Lucia Pomello},
editor = {Grzegorz Rozenberg},
title = {Some equivalence notions for concurrent systems. An overview},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {381--400},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016222},
doi = {10.1007/BFB0016222},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Pomello85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RichterV85,
author = {Gernot Richter and
Klaus Voss},
editor = {Grzegorz Rozenberg},
title = {Towards a comprehensive office model integrating information and resources},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {401--417},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016223},
doi = {10.1007/BFB0016223},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/RichterV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Vautherin85,
author = {Jacques Vautherin},
editor = {Grzegorz Rozenberg},
title = {Non-linear invariants for coloured Petri nets with interdependent
tokens; application to the proof of parallel programs},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {418--434},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016224},
doi = {10.1007/BFB0016224},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Vautherin85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WheelerWBG85,
author = {Geoffrey R. Wheeler and
Michael C. Wilbur{-}Ham and
Jonathan Billington and
J. A. Gilmour},
editor = {Grzegorz Rozenberg},
title = {Protocol analysis using numerical Petri nets},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {435--452},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016225},
doi = {10.1007/BFB0016225},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WheelerWBG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Winskel85,
author = {Glynn Winskel},
editor = {Grzegorz Rozenberg},
title = {Petri nets, morphisms and compositionality},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {453--477},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016226},
doi = {10.1007/BFB0016226},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Winskel85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Zuberek85,
author = {Wlodzimierz M. Zuberek},
editor = {Grzegorz Rozenberg},
title = {M-timed Petri nets, priorities, preemptions, and performance evaluation
of Petri nets},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {478--498},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016227},
doi = {10.1007/BFB0016227},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Zuberek85.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-24 13:31 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:
