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/icatpn2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/AalstDGMMRRSVW07,
author = {Wil M. P. van der Aalst and
Boudewijn F. van Dongen and
Christian W. G{\"{u}}nther and
R. S. Mans and
Ana Karla Alves de Medeiros and
Anne Rozinat and
Vladimir A. Rubin and
Minseok Song and
H. M. W. Verbeek and
A. J. M. M. Weijters},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {ProM 4.0: Comprehensive Support for \emph{Real} Process Analysis},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {484--494},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_28},
doi = {10.1007/978-3-540-73094-1\_28},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AalstDGMMRRSVW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Abramsky07,
author = {Samson Abramsky},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Petri Nets, Discrete Physics, and Distributed Quantum Computation},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {1--2},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_1},
doi = {10.1007/978-3-540-73094-1\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Abramsky07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BeccutiFH07,
author = {Marco Beccuti and
Giuliana Franceschinis and
Serge Haddad},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {43--62},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_6},
doi = {10.1007/978-3-540-73094-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BeccutiFH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BoyerR07,
author = {Marc Boyer and
Olivier H. Roux},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Comparison of the Expressiveness of Arc, Place and Transition Time
Petri Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {63--82},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_7},
doi = {10.1007/978-3-540-73094-1\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BoyerR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CiardoLY07,
author = {Gianfranco Ciardo and
Gerald L{\"{u}}ttgen and
Andy Jinqing Yu},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Improving Static Variable Orders Via Invariants},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {83--103},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_8},
doi = {10.1007/978-3-540-73094-1\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/CiardoLY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EhrigHPPE07,
author = {Hartmut Ehrig and
Kathrin Hoffmann and
Julia Padberg and
Ulrike Prange and
Claudia Ermel},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Independence of Net Transformations and Token Firing in Reconfigurable
Place/Transition Systems},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {104--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_9},
doi = {10.1007/978-3-540-73094-1\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EhrigHPPE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GantyRB07,
author = {Pierre Ganty and
Jean{-}Fran{\c{c}}ois Raskin and
Laurent Van Begin},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {From Many Places to Few: Automatic Abstraction Refinement for Petri
Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {124--143},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_10},
doi = {10.1007/978-3-540-73094-1\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GantyRB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GorgonioCX07,
author = {Kyller Costa Gorg{\^{o}}nio and
Jordi Cortadella and
Fei Xia},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {A Compositional Method for the Synthesis of Asynchronous Communication
Mechanisms},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {144--163},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_11},
doi = {10.1007/978-3-540-73094-1\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GorgonioCX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HamezKTL07,
author = {Alexandre Hamez and
Fabrice Kordon and
Yann Thierry{-}Mieg and
Fabrice Legond{-}Aubry},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {dmcG : {A} Distributed Symbolic Model Checker Based on GreatSPN},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {495--504},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_29},
doi = {10.1007/978-3-540-73094-1\_29},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/HamezKTL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSSA07,
author = {Kees M. van Hee and
Alexander Serebrenik and
Natalia Sidorova and
Wil M. P. van der Aalst},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {History-Dependent Petri Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {164--183},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_12},
doi = {10.1007/978-3-540-73094-1\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSSA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JuhasLM07,
author = {Gabriel Juh{\'{a}}s and
Robert Lorenz and
Sebastian Mauser},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Complete Process Semantics for Inhibitor Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {184--203},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_13},
doi = {10.1007/978-3-540-73094-1\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JuhasLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Khomenko07,
author = {Victor Khomenko},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Behaviour-Preserving Transition Insertions in Unfolding Prefixes},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {204--222},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_14},
doi = {10.1007/978-3-540-73094-1\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Khomenko07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KhomenkoS07,
author = {Victor Khomenko and
Mark Sch{\"{a}}fer},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Combining Decomposition and Unfolding for {STG} Synthesis},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {223--243},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_15},
doi = {10.1007/978-3-540-73094-1\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KhomenkoS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KohlerF07,
author = {Michael K{\"{o}}hler and
Berndt Farwer},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Object Nets for Mobility},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {244--262},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_16},
doi = {10.1007/978-3-540-73094-1\_16},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/KohlerF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KohlerR07,
author = {Michael K{\"{o}}hler and
Heiko R{\"{o}}lke},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Web Service Orchestration with Super-Dual Object Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {263--280},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_17},
doi = {10.1007/978-3-540-73094-1\_17},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KohlerR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KoutnyP07,
author = {Maciej Koutny and
Marta Pietkiewicz{-}Koutny},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Synthesis of Elementary Net Systems with Context Arcs and Localities},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {281--300},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_18},
doi = {10.1007/978-3-540-73094-1\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KoutnyP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KumagaiM07,
author = {Sadatoshi Kumagai and
Toshiyuki Miyamoto},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Autonomous Distributed System and Its Realization by Multi Agent Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {3--19},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_2},
doi = {10.1007/978-3-540-73094-1\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KumagaiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LazicNORW07,
author = {Ranko Lazic and
Thomas Christopher Newcomb and
Jo{\"{e}}l Ouaknine and
A. W. Roscoe and
James Worrell},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Nets with Tokens Which Carry Data},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {301--320},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_19},
doi = {10.1007/978-3-540-73094-1\_19},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LazicNORW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LohmannMW07,
author = {Niels Lohmann and
Peter Massuthe and
Karsten Wolf},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Operating Guidelines for Finite-State Services},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {321--341},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_20},
doi = {10.1007/978-3-540-73094-1\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LohmannMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LorenzMB07,
author = {Robert Lorenz and
Sebastian Mauser and
Robin Bergenthum},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {342--361},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_21},
doi = {10.1007/978-3-540-73094-1\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LorenzMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Mazurkiewicz07,
author = {Antoni W. Mazurkiewicz},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Petri Nets Without Tokens},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {20--23},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_3},
doi = {10.1007/978-3-540-73094-1\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Mazurkiewicz07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MenDY07,
author = {Peng Men and
Zhenhua Duan and
Bin Yu},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services
Discovery},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {362--380},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_22},
doi = {10.1007/978-3-540-73094-1\_22},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MenDY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PelzT07,
author = {Elisabeth Pelz and
Dietmar Tutsch},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Formal Models for Multicast Traffic in Network on Chip Architectures
with Compositional High-Level Petri Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {381--401},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_23},
doi = {10.1007/978-3-540-73094-1\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PelzT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PoliakovSM07,
author = {Ivan Poliakov and
Danil Sokolov and
Andrey Mokhov},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Workcraft: {A} Static Data Flow Structure Editing, Visualisation and
Analysis Tool},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {505--514},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_30},
doi = {10.1007/978-3-540-73094-1\_30},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PoliakovSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Tarlecki07,
author = {Andrzej Tarlecki},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Toward Specifications for Reconfigurable Component Systems},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {24--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_4},
doi = {10.1007/978-3-540-73094-1\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Tarlecki07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Vanit-AnunchaiB07,
author = {Somsak Vanit{-}Anunchai and
Jonathan Billington},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Modelling the Datagram Congestion Control Protocol's Connection Management
and Synchronization Procedures},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {423--444},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_25},
doi = {10.1007/978-3-540-73094-1\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Vanit-AnunchaiB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VelardoF07,
author = {Fernando Rosa{-}Velardo and
David de Frutos{-}Escrig},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Name Creation vs. Replication in Petri Net Systems},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {402--422},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_24},
doi = {10.1007/978-3-540-73094-1\_24},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/VelardoF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardKBA07,
author = {Michael Westergaard and
Lars Michael Kristensen and
Gerth St{\o}lting Brodal and
Lars Arge},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {The ComBack Method - Extending Hash Compaction with Backtracking},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {445--464},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_26},
doi = {10.1007/978-3-540-73094-1\_26},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WestergaardKBA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Wolf07,
author = {Karsten Wolf},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Generating Petri Net State Spaces},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {29--42},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_5},
doi = {10.1007/978-3-540-73094-1\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Wolf07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/YenC07,
author = {Hsu{-}Chun Yen and
Chien{-}Liang Chen},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Computing Minimal Elements of Upward-Closed Sets for Petri Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {465--483},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_27},
doi = {10.1007/978-3-540-73094-1\_27},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/YenC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2007,
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1},
doi = {10.1007/978-3-540-73094-1},
isbn = {978-3-540-73093-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2007.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-08-10 12:11 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:
