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/apn1982.bht:"
download as .bib file
@proceedings{DBLP:conf/apn/1982,
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69028-0},
doi = {10.1007/978-3-642-69028-0},
isbn = {3-540-12309-1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Andre82,
author = {Charles Andr{\'{e}}},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Structural Transformations Giving B-Equivalent PT-Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {14--28},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_2},
doi = {10.1007/978-3-642-69028-0\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Andre82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CindioMPS82,
author = {Fiorella de Cindio and
Giorgio De Michelis and
Lucia Pomello and
Carla Simone},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Equivalence Notions for Concurrent Systems},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {29--39},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_3},
doi = {10.1007/978-3-642-69028-0\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CindioMPS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CindioMPS82a,
author = {Fiorella de Cindio and
Giorgio De Michelis and
Lucia Pomello and
Carla Simone},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Milner's Communicating Systems and Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {40--59},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_4},
doi = {10.1007/978-3-642-69028-0\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CindioMPS82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Courvoisier82,
author = {Marc Courvoisier},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {A Matrix-Based Implementation of Generalized Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {60--73},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_5},
doi = {10.1007/978-3-642-69028-0\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Courvoisier82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EstraillierG82,
author = {Pascal Estraillier and
Claude Girault},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Petri Nets Specification of Virtual Ring Protocols},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {74--85},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_6},
doi = {10.1007/978-3-642-69028-0\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EstraillierG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FernandezT82,
author = {C{\'{e}}sar Fern{\'{a}}ndez and
P. S. Thiagarajan},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {A Note on D-Continuous Causal Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {86--97},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_7},
doi = {10.1007/978-3-642-69028-0\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FernandezT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichL82,
author = {Hartmann J. Genrich and
Kurt Lautenbach},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {S-Invariance in Predicate/Transition Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {98--111},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_8},
doi = {10.1007/978-3-642-69028-0\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GenrichL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichS82,
author = {Hartmann J. Genrich and
Robert M. Shapiro},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {A Diagram Editor for Line Drawings with Inscriptions},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {112--131},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_9},
doi = {10.1007/978-3-642-69028-0\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GenrichS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HansenM82,
author = {Niels Damgaard Hansen and
K. H. Madsen},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Formal Semantics by a Combination of Denotational Semantics and High-Level
Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {132--148},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_10},
doi = {10.1007/978-3-642-69028-0\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HansenM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JantzenB82,
author = {Matthias Jantzen and
Hendrik Bramhoff},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Notions of Computability by Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {149--165},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_11},
doi = {10.1007/978-3-642-69028-0\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JantzenB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Jensen82,
author = {Kurt Jensen},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {High-Level Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {166--180},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_12},
doi = {10.1007/978-3-642-69028-0\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Jensen82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kyng82,
author = {Morten Kyng},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Specification and Verification of Networks in a Petri Net Based Language},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {181--198},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_13},
doi = {10.1007/978-3-642-69028-0\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Kyng82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Memmi82,
author = {G{\'{e}}rard Memmi},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {A Graph Theoretical Porperty for Minimal Deadlock},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {221--228},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_15},
doi = {10.1007/978-3-642-69028-0\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Memmi82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Petri82,
author = {C. A. Petri},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Some Personal Views of Net Theory},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {1--13},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_1},
doi = {10.1007/978-3-642-69028-0\_1},
timestamp = {Thu, 11 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Petri82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Prinoth82,
author = {Rainer Prinoth},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Construction of Distributed Systems from Cycle-Free Finite Automata},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {199--220},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_14},
doi = {10.1007/978-3-642-69028-0\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Prinoth82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Reisig82,
author = {Wolfgang Reisig},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Petri Nets with Individual Tokens},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {229--249},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_16},
doi = {10.1007/978-3-642-69028-0\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Reisig82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RozenbergV82,
author = {Grzegorz Rozenberg and
R. Verraedt},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Subset Languages of Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {250--263},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_17},
doi = {10.1007/978-3-642-69028-0\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/RozenbergV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ValetteCM82,
author = {Robert Valette and
Marc Courvoisier and
D. Mayeux},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Control of Flexible Production Systems and Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {264--277},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_18},
doi = {10.1007/978-3-642-69028-0\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ValetteCM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Voss82,
author = {Klaus Voss},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {On the Notion of Interface in Condition/Event-Systems},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {278--291},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_19},
doi = {10.1007/978-3-642-69028-0\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Voss82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/YoeliE82,
author = {Michael Yoeli and
Tuvi Etzion},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Behavioral Equivalence of Concurrent Systems},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {292--305},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_20},
doi = {10.1007/978-3-642-69028-0\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/YoeliE82.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-05-30 01:24 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:
