Search dblp for Publications

export results for "toc:db/journals/topnoc/topnoc1.bht:"

 download as .bib file

@article{DBLP:journals/topnoc/BaldanCKS08,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Barbara K{\"{o}}nig and
                  Stefan Schwoon},
  title        = {McMillan's Complete Prefix for Contextual Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {199--220},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_12},
  doi          = {10.1007/978-3-540-89287-8\_12},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/BaldanCKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BonetHHT08,
  author       = {Blai Bonet and
                  Patrik Haslum and
                  Sarah L. Hickmott and
                  Sylvie Thi{\'{e}}baux},
  title        = {Directed Unfolding of Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {172--198},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_11},
  doi          = {10.1007/978-3-540-89287-8\_11},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BonetHHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Brabrand08,
  author       = {Claus Brabrand},
  title        = {Constructive Alignment for Teaching Model-Based Design for Concurrency},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {1--18},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_1},
  doi          = {10.1007/978-3-540-89287-8\_1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Brabrand08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/CabacD08,
  author       = {Lawrence Cabac and
                  Nicolas Denz},
  title        = {Net Components for the Integration of Process Mining into Agent-Oriented
                  Software Engineering},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {86--103},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_6},
  doi          = {10.1007/978-3-540-89287-8\_6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/CabacD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/CalzolaiNLT08,
  author       = {Francesco Calzolai and
                  Rocco De Nicola and
                  Michele Loreti and
                  Francesco Tiezzi},
  title        = {TAPAs: {A} Tool for the Analysis of Process Algebras},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {54--70},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_4},
  doi          = {10.1007/978-3-540-89287-8\_4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/CalzolaiNLT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/CortadellaKBCJ08,
  author       = {Jordi Cortadella and
                  Michael Kishinevsky and
                  Dmitry Bufistov and
                  Josep Carmona and
                  Jorge J{\'{u}}lvez},
  title        = {Elasticity and Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {221--249},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_13},
  doi          = {10.1007/978-3-540-89287-8\_13},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/CortadellaKBCJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/DahmaniIB08,
  author       = {Djaouida Dahmani and
                  Jean{-}Michel Ili{\'{e}} and
                  Malika Boukala},
  title        = {Time Recursive Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {104--118},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_7},
  doi          = {10.1007/978-3-540-89287-8\_7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/DahmaniIB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/EisentrautH08,
  author       = {Christian Eisentraut and
                  Holger Hermanns},
  title        = {Teaching Concurrency Concepts to Freshmen},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {35--53},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_3},
  doi          = {10.1007/978-3-540-89287-8\_3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/EisentrautH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/HeeKPSW08,
  author       = {Kees M. van Hee and
                  Jeroen Keiren and
                  Reinier Post and
                  Natalia Sidorova and
                  Jan Martijn E. M. van der Werf},
  title        = {Designing Case Handling Systems},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {119--133},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_8},
  doi          = {10.1007/978-3-540-89287-8\_8},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/HeeKPSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/KristensenJ08,
  author       = {Lars Michael Kristensen and
                  Kurt Jensen},
  title        = {Teaching Modelling and Validation of Concurrent Systems Using Coloured
                  Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {19--34},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_2},
  doi          = {10.1007/978-3-540-89287-8\_2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/KristensenJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/LassenD08,
  author       = {Kristian Bisgaard Lassen and
                  Boudewijn F. van Dongen},
  title        = {Translating Message Sequence Charts to other Process Languages Using
                  Process Mining},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {71--85},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_5},
  doi          = {10.1007/978-3-540-89287-8\_5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/LassenD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/RamosBHH08,
  author       = {Isaac Corro Ramos and
                  Alessandro Di Bucchianico and
                  Lusine Hakobyan and
                  Kees M. van Hee},
  title        = {Model Driven Testing Based on Test History},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {134--151},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_9},
  doi          = {10.1007/978-3-540-89287-8\_9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/RamosBHH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/VerbeekPAW08,
  author       = {Henricus M. W. (Eric) Verbeek and
                  A. Johannes Pretorius and
                  Wil M. P. van der Aalst and
                  Jarke J. van Wijk},
  title        = {Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based
                  Visualization},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {152--171},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_10},
  doi          = {10.1007/978-3-540-89287-8\_10},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/VerbeekPAW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/topnoc/2008-1,
  editor       = {Kurt Jensen and
                  Wil M. P. van der Aalst and
                  Jonathan Billington},
  title        = {Transactions on Petri Nets and Other Models of Concurrency {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5100},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8},
  doi          = {10.1007/978-3-540-89287-8},
  isbn         = {978-3-540-89286-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/2008-1.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.