Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/apn/AalstHMSW09,
  author       = {Wil M. P. van der Aalst and
                  Kees M. van Hee and
                  Peter Massuthe and
                  Natalia Sidorova and
                  Jan Martijn E. M. van der Werf},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Compositional Service Trees},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {283--302},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_17},
  doi          = {10.1007/978-3-642-02424-5\_17},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AalstHMSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BernardinelloPR09,
  author       = {Luca Bernardinello and
                  Lucia Pomello and
                  Stefania Rombol{\`{a}}},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Orthomodular Lattices in Occurrence Nets},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {163--182},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_11},
  doi          = {10.1007/978-3-642-02424-5\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BernardinelloPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BouillardRBH09,
  author       = {Anne Bouillard and
                  Sidney Rosario and
                  Albert Benveniste and
                  Stefan Haar},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Monotonicity in Service Orchestrations},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {263--282},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_16},
  doi          = {10.1007/978-3-642-02424-5\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BouillardRBH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/CiardoMPW09,
  author       = {Gianfranco Ciardo and
                  Galen Mecham and
                  Emmanuel Paviot{-}Adet and
                  Min Wan},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {P-Semiflow Computation with Decision Diagrams},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {143--162},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_10},
  doi          = {10.1007/978-3-642-02424-5\_10},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/CiardoMPW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Demongodin09,
  author       = {Isabel Demongodin},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Modeling and Analysis of Transportation Networks Using Batches Petri
                  Nets with Controllable Batch Speed},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {204--222},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_13},
  doi          = {10.1007/978-3-642-02424-5\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Demongodin09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Fahland09,
  author       = {Dirk Fahland},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Oclets - Scenario-Based Modeling with Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {223--242},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_14},
  doi          = {10.1007/978-3-642-02424-5\_14},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Fahland09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/FanchonM09,
  author       = {Jean Fanchon and
                  R{\'{e}}mi Morin},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Pomset Languages of Finite Step Transition Systems},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {83--102},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_7},
  doi          = {10.1007/978-3-642-02424-5\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FanchonM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/HeinerST09,
  author       = {Monika Heiner and
                  Martin Schwarick and
                  Alexej Tovchigrechko},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {{DSSZ-MC} - {A} Tool for Symbolic Analysis of Extended Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {323--332},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_20},
  doi          = {10.1007/978-3-642-02424-5\_20},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HeinerST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/JuhasLD09,
  author       = {Gabriel Juh{\'{a}}s and
                  Robert Lorenz and
                  J{\"{o}}rg Desel},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Unifying Petri Net Semantics with Token Flows},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {2--21},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_2},
  doi          = {10.1007/978-3-642-02424-5\_2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/JuhasLD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/KhaliliBA09,
  author       = {Ali Khalili and
                  Amir Jalaly Bidgoly and
                  Mohammad Abdollahi Azgomi},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {PDETool: {A} Multi-formalism Modeling Tool for Discrete-Event Systems
                  Based on {SDES} Description},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {343--352},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_22},
  doi          = {10.1007/978-3-642-02424-5\_22},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/KhaliliBA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/KindlerP09,
  author       = {Ekkart Kindler and
                  Laure Petrucci},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Towards a Standard for Modular Petri Nets: {A} Formalisation},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {43--62},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_5},
  doi          = {10.1007/978-3-642-02424-5\_5},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/KindlerP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Kohler-Bussmeier09,
  author       = {Michael K{\"{o}}hler{-}Bu{\ss}meier},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Hornets: Nets within Nets Combined with Net Algebra},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {243--262},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_15},
  doi          = {10.1007/978-3-642-02424-5\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Kohler-Bussmeier09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MairesseN09,
  author       = {Jean Mairesse and
                  Hoang{-}Thach Nguyen},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Deficiency Zero Petri Nets and Product Form},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {103--122},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_8},
  doi          = {10.1007/978-3-642-02424-5\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/MairesseN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Oliveira09,
  author       = {Mateus de Oliveira Oliveira},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Hasse Diagram Generators and Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {183--203},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_12},
  doi          = {10.1007/978-3-642-02424-5\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Oliveira09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PoliakovKY09,
  author       = {Ivan Poliakov and
                  Victor Khomenko and
                  Alexandre Yakovlev},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Workcraft - {A} Framework for Interpreted Graph Models},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {333--342},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_21},
  doi          = {10.1007/978-3-642-02424-5\_21},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PoliakovKY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Reisig09,
  author       = {Wolfgang Reisig},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Simple Composition of Nets},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_4},
  doi          = {10.1007/978-3-642-02424-5\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Reisig09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Rozenberg09,
  author       = {Grzegorz Rozenberg},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Reaction Systems: {A} Formal Framework for Processes},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {22},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_3},
  doi          = {10.1007/978-3-642-02424-5\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Rozenberg09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Sifakis09,
  author       = {Joseph Sifakis},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Component-Based Construction of Heterogeneous Real-Time Systems in
                  Bip},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {1},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_1},
  doi          = {10.1007/978-3-642-02424-5\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Sifakis09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Valmari09,
  author       = {Antti Valmari},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Bisimilarity Minimization in O(m logn) Time},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {123--142},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_9},
  doi          = {10.1007/978-3-642-02424-5\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Valmari09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/VelardoF09,
  author       = {Fernando Rosa{-}Velardo and
                  David de Frutos{-}Escrig},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Decidability Results for Restricted Models of Petri Nets with Name
                  Creation and Replication},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {63--82},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_6},
  doi          = {10.1007/978-3-642-02424-5\_6},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/VelardoF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/WestergaardEK09,
  author       = {Michael Westergaard and
                  Sami Evangelista and
                  Lars Michael Kristensen},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {{ASAP:} An Extensible Platform for State Space Analysis},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {303--312},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_18},
  doi          = {10.1007/978-3-642-02424-5\_18},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WestergaardEK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/WestergaardK09,
  author       = {Michael Westergaard and
                  Lars Michael Kristensen},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {The Access/CPN Framework: {A} Tool for Interacting with the {CPN}
                  Tools Simulator},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {313--322},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_19},
  doi          = {10.1007/978-3-642-02424-5\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WestergaardK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/apn/2009,
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5},
  doi          = {10.1007/978-3-642-02424-5},
  isbn         = {978-3-642-02423-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.