Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/apn/AalstB01,
  author       = {Wil M. P. van der Aalst and
                  Twan Basten},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Identifying Commonalities and Differences in Object Life Cycles Using
                  Behavioral Inheritance},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {32--52},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_4},
  doi          = {10.1007/3-540-45740-2\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AalstB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/AbdullaN01,
  author       = {Parosh Aziz Abdulla and
                  Aletta Nyl{\'{e}}n},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Timed Petri Nets and BQOs},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {53--70},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_5},
  doi          = {10.1007/3-540-45740-2\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AbdullaN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/AlonsoF01,
  author       = {Olga Marroqu{\'{\i}}n Alonso and
                  David de Frutos{-}Escrig},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Extending the Petri Box Calculus with Time},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {303--322},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_18},
  doi          = {10.1007/3-540-45740-2\_18},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AlonsoF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Beaudouin-LafonMAJJLLMMRRCJ01,
  author       = {Michel Beaudouin{-}Lafon and
                  Wendy E. Mackay and
                  Peter Andersen and
                  Paul Janecek and
                  Mads Jensen and
                  Henry Michael Lassen and
                  Kasper Lund and
                  Kjeld H{\o}yer Mortensen and
                  Stephanie Munck and
                  Anne V. Ratzer and
                  Katrine Ravn and
                  S{\o}ren Christensen and
                  Kurt Jensen},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {CPN/Tools: {A} Post-WIMP Interface for Editing and Simulating Coloured
                  Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {71--80},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_6},
  doi          = {10.1007/3-540-45740-2\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Beaudouin-LafonMAJJLLMMRRCJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BulachBPK01,
  author       = {Slavek Bulach and
                  Anton Brauchle and
                  Hans{-}J{\"{o}}rg Pfleiderer and
                  Zdenek Kucerovsky},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Petri Net Based Design and Implementation Methodology for Discrete
                  Event Control Systems},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {81--100},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_7},
  doi          = {10.1007/3-540-45740-2\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BulachBPK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/ChristensenKM01,
  author       = {S{\o}ren Christensen and
                  Lars Michael Kristensen and
                  Thomas Mailund},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Condensed State Spaces for Timed Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {101--120},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_8},
  doi          = {10.1007/3-540-45740-2\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ChristensenKM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/CouvreurGP01,
  author       = {Jean{-}Michel Couvreur and
                  S{\'{e}}bastien Grivet and
                  Denis Poitrenaud},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Unfolding of Products of Symmetrical Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {121--143},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_9},
  doi          = {10.1007/3-540-45740-2\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/CouvreurGP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Deussen01,
  author       = {Peter Deussen},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Partial Order Verification of Programmable Logic Controllers},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {144--163},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_10},
  doi          = {10.1007/3-540-45740-2\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Deussen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Donatelli01,
  author       = {Susanna Donatelli},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_1},
  doi          = {10.1007/3-540-45740-2\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Donatelli01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/HaddadMSS01,
  author       = {Serge Haddad and
                  Patrice Moreaux and
                  Matteo Sereno and
                  Manuel Silva Su{\'{a}}rez},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Structural Characterization and Qualitative Properties of Product
                  Form Stochastic Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {164--183},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_11},
  doi          = {10.1007/3-540-45740-2\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HaddadMSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/IordacheA01,
  author       = {Marian V. Iordache and
                  Panos J. Antsaklis},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Generalized Conditions for Liveness Enforcement and Deadlock Prevention
                  in Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {184--203},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_12},
  doi          = {10.1007/3-540-45740-2\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/IordacheA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/KlaudelP01,
  author       = {Hanna Klaudel and
                  Franck Pommereau},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {A Concurrent Semantics of Static Exceptions in a Parallel Programming
                  Language},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {204--223},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_13},
  doi          = {10.1007/3-540-45740-2\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/KlaudelP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/KohlerMR01,
  author       = {Michael K{\"{o}}hler and
                  Daniel Moldt and
                  Heiko R{\"{o}}lke},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Modelling the Structure and Behaviour of Petri Net Agents},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {224--241},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_14},
  doi          = {10.1007/3-540-45740-2\_14},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/KohlerMR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Latvala01,
  author       = {Timo Latvala},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Model Checking {LTL} Properties of High-Level Petri Nets with Fairness
                  Constraints},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {242--262},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_15},
  doi          = {10.1007/3-540-45740-2\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Latvala01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/LewisL01,
  author       = {Glenn Lewis and
                  Charles Lakos},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Incremental State Space Construction for Coloured Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {263--282},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_16},
  doi          = {10.1007/3-540-45740-2\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/LewisL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Makela01,
  author       = {Marko M{\"{a}}kel{\"{a}}},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Optimising Enabling Tests and Unfoldings of Algebraic System Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {283--302},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_17},
  doi          = {10.1007/3-540-45740-2\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Makela01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Milner01,
  author       = {Robin Milner},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {The Flux of Interaction},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {19--22},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_2},
  doi          = {10.1007/3-540-45740-2\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Milner01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/NielsenSS01,
  author       = {Mogens Nielsen and
                  Vladimiro Sassone and
                  Jir{\'{\i}} Srba},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Towards a Notion of Distributed Time for Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {23--31},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_3},
  doi          = {10.1007/3-540-45740-2\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/NielsenSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PenczekP01,
  author       = {Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Abstractions and Partial Order Reductions for Checking Branching Properties
                  of Time Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {323--342},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_19},
  doi          = {10.1007/3-540-45740-2\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PenczekP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/RustTB01,
  author       = {Carsten Rust and
                  J{\"{u}}rgen Tacken and
                  Carsten B{\"{o}}ke},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Pr/T-Net Based Seamless Design of Embedded Real-Time Systems},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {343--362},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_20},
  doi          = {10.1007/3-540-45740-2\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/RustTB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Steggles01,
  author       = {L. J. Steggles},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {363--381},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_21},
  doi          = {10.1007/3-540-45740-2\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Steggles01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Vogler01,
  author       = {Walter Vogler},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Partial S-Invariants for the Verification of Infinite Systems Families},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {382--402},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_22},
  doi          = {10.1007/3-540-45740-2\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Vogler01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/apn/2001,
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2},
  doi          = {10.1007/3-540-45740-2},
  isbn         = {3-540-42252-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2001.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.