Search dblp for Publications

export results for "toc:db/conf/apn/icatpn2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/apn/AalstMW05,
  author       = {Wil M. P. van der Aalst and
                  Ana Karla A. de Medeiros and
                  A. J. M. M. Weijters},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Genetic Process Mining},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {48--69},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_5},
  doi          = {10.1007/11494744\_5},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/AalstMW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Abbes05,
  author       = {Samy Abbes},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {The (True) Concurrent Markov Property and Some Applications to Markov
                  Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {70--89},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_6},
  doi          = {10.1007/11494744\_6},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Abbes05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarkaouiCK05,
  author       = {Kamel Barkaoui and
                  Jean{-}Michel Couvreur and
                  Kais Klai},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {On the Equivalence Between Liveness and Deadlock-Freeness in Petri
                  Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {90--107},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_7},
  doi          = {10.1007/11494744\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BarkaouiCK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BouillardGM05,
  author       = {Anne Bouillard and
                  Bruno Gaujal and
                  Jean Mairesse},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Extremal Throughputs in Free-Choice Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {108--127},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_8},
  doi          = {10.1007/11494744\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BouillardGM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrennerFSW05,
  author       = {Leonardo Brenner and
                  Paulo Fernandes and
                  Afonso Sales and
                  Thais Webber},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {A Framework to Decompose {GSPN} Models},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {128--147},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_9},
  doi          = {10.1007/11494744\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BrennerFSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacDMR05,
  author       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Modeling Dynamic Architectures Using Nets-Within-Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {148--167},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_10},
  doi          = {10.1007/11494744\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CabacDMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CapraPF05,
  author       = {Lorenzo Capra and
                  Massimiliano De Pierro and
                  Giuliana Franceschinis},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {A High Level Language for Structural Relations in Well-Formed Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {168--187},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_11},
  doi          = {10.1007/11494744\_11},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CapraPF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ClarisoRC05,
  author       = {Robert Claris{\'{o}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell and
                  Jordi Cortadella},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Derivation of Non-structural Invariants of Petri Nets Using Abstract
                  Interpretation},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {188--207},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_12},
  doi          = {10.1007/11494744\_12},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/ClarisoRC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CometKL05,
  author       = {Jean{-}Paul Comet and
                  Hanna Klaudel and
                  St{\'{e}}phane Liauzu},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Modeling Multi-valued Genetic Regulatory Networks Using High-Level
                  Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {208--227},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_13},
  doi          = {10.1007/11494744\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CometKL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DongenMVWA05,
  author       = {Boudewijn F. van Dongen and
                  Ana Karla A. de Medeiros and
                  H. M. W. Verbeek and
                  A. J. M. M. Weijters and
                  Wil M. P. van der Aalst},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {The ProM Framework: {A} New Era in Process Mining Tool Support},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {444--454},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_25},
  doi          = {10.1007/11494744\_25},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DongenMVWA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Evangelista05,
  author       = {Sami Evangelista},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {High Level Petri Nets Analysis with Helena},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {455--464},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_26},
  doi          = {10.1007/11494744\_26},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Evangelista05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Franceschinis05,
  author       = {Giuliana Franceschinis},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_1},
  doi          = {10.1007/11494744\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Franceschinis05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HanB05,
  author       = {Bing Han and
                  Jonathan Billington},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Termination Properties of TCP's Connection Management Procedures},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {228--249},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_14},
  doi          = {10.1007/11494744\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HanB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSSV05,
  author       = {Kees M. van Hee and
                  Alexander Serebrenik and
                  Natalia Sidorova and
                  Marc Voorhoeve},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Soundness of Resource-Constrained Workflow Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {250--267},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_15},
  doi          = {10.1007/11494744\_15},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HeeSSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HoffmannEM05,
  author       = {Kathrin Hoffmann and
                  Hartmut Ehrig and
                  Till Mossakowski},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {High-Level Nets with Nets and Rules as Tokens},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {268--288},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_16},
  doi          = {10.1007/11494744\_16},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HoffmannEM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JuhasLD05,
  author       = {Gabriel Juh{\'{a}}s and
                  Robert Lorenz and
                  J{\"{o}}rg Desel},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Can {I} Execute My Scenario in Your Net?},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {289--308},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_17},
  doi          = {10.1007/11494744\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/JuhasLD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KohlerR05,
  author       = {Michael K{\"{o}}hler and
                  Heiko R{\"{o}}lke},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Reference and Value Semantics Are Equivalent for Ordinary Object Petri
                  Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {309--328},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_18},
  doi          = {10.1007/11494744\_18},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/KohlerR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LesireT05,
  author       = {Charles Lesire and
                  Catherine Tessier},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {329--348},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_19},
  doi          = {10.1007/11494744\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/LesireT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/McMillan05,
  author       = {Kenneth L. McMillan},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Applications of Craig Interpolation to Model Checking},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {15--16},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_2},
  doi          = {10.1007/11494744\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/McMillan05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PincusW05,
  author       = {Jonathan D. Pincus and
                  Jeannette M. Wing},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Towards an Algebra for Security Policies},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {17--25},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_3},
  doi          = {10.1007/11494744\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PincusW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Reisig05,
  author       = {Wolfgang Reisig},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {On the Expressive Power of Petri Net Schemata},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {349--364},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_20},
  doi          = {10.1007/11494744\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Reisig05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchaferVJ05,
  author       = {Mark Sch{\"{a}}fer and
                  Walter Vogler and
                  Petr Jancar},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Determinate {STG} Decomposition of Marked Graphs},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {365--384},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_21},
  doi          = {10.1007/11494744\_21},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/SchaferVJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SilvaR05,
  author       = {Manuel Silva Su{\'{a}}rez and
                  Laura Recalde},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Continuization of Timed Petri Nets: From Performance Evaluation to
                  Observation and Control},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {26--47},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_4},
  doi          = {10.1007/11494744\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/SilvaR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Srba05,
  author       = {Jir{\'{\i}} Srba},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Timed-Arc Petri Nets vs. Networks of Timed Automata},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {385--402},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_22},
  doi          = {10.1007/11494744\_22},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/Srba05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekHRM05,
  author       = {Eric Verbeek and
                  Maarte van Hattem and
                  Hajo A. Reijers and
                  Wendy de Munk},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Protos 7.0: Simulation Made Accessible},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {465--474},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_27},
  doi          = {10.1007/11494744\_27},
  timestamp    = {Wed, 31 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/VerbeekHRM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WellsM05,
  author       = {Lisa Wells and
                  Thomas Maier},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Specifying and Analyzing Software Safety Requirements of a Frequency
                  Converter Using Coloured Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {403--422},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_23},
  doi          = {10.1007/11494744\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WellsM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WynnEAH05,
  author       = {Moe Thandar Wynn and
                  David Edmond and
                  Wil M. P. van der Aalst and
                  Arthur H. M. ter Hofstede},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Achieving a General, Formal and Decidable Approach to the OR-Join
                  in Workflow Using Reset Nets},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {423--443},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_24},
  doi          = {10.1007/11494744\_24},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WynnEAH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2005,
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b136988},
  doi          = {10.1007/B136988},
  isbn         = {3-540-26301-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics