Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/topnoc/BaldanCGS13,
  author    = {Paolo Baldan and
               Nicoletta Cocco and
               Federica Giummol{\`{e}} and
               Marta Simeoni},
  title     = {Comparing Metabolic Pathways through Reactions and Potential Fluxes},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {1--23},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_1},
  doi       = {10.1007/978-3-642-40465-8\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BaldanCGS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BernardinelloMP13,
  author    = {Luca Bernardinello and
               Elisabetta Mangioni and
               Lucia Pomello},
  title     = {Local State Refinement and Composition of Elementary Net Systems:
               An Approach Based on Morphisms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {48--70},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_3},
  doi       = {10.1007/978-3-642-40465-8\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BernardinelloMP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DedovaP13,
  author    = {Anna Dedova and
               Laure Petrucci},
  title     = {From Code to Coloured Petri Nets: Modelling Guidelines},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {71--88},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_4},
  doi       = {10.1007/978-3-642-40465-8\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DedovaP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeSW13,
  author    = {Kees M. van Hee and
               Natalia Sidorova and
               Jan Martijn E. M. van der Werf},
  title     = {When Can We Trust a Third Party? - {A} Soundness Perspective},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {106--122},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_6},
  doi       = {10.1007/978-3-642-40465-8\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HeeSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HerajySH13,
  author    = {Mostafa Herajy and
               Martin Schwarick and
               Monika Heiner},
  title     = {Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {123--141},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_7},
  doi       = {10.1007/978-3-642-40465-8\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HerajySH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/JanowskaPPZ13,
  author    = {Agata Janowska and
               Wojciech Penczek and
               Agata P{\'{o}}lrola and
               Andrzej Zbrzezny},
  title     = {Using Integer Time Steps for Checking Branching Time Properties of
               Time Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {89--105},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_5},
  doi       = {10.1007/978-3-642-40465-8\_5},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/JanowskaPPZ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MaissaKMT13,
  author    = {Yann Ben Maissa and
               Fabrice Kordon and
               Salma Mouline and
               Yann Thierry{-}Mieg},
  title     = {Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An
               Integrated Workflow},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {24--47},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_2},
  doi       = {10.1007/978-3-642-40465-8\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MaissaKMT13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Rohr13,
  author    = {Christian Rohr},
  title     = {Simulative Model Checking of Steady State and Time-Unbounded Temporal
               Operators},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {142--158},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_8},
  doi       = {10.1007/978-3-642-40465-8\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Rohr13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wester-EbbinghausK13,
  author    = {Matthias Wester{-}Ebbinghaus and
               Michael K{\"{o}}hler{-}Bu{\ss}meier},
  title     = {Model-Driven Middleware Support for Team-Oriented Process Management},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {159--179},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_9},
  doi       = {10.1007/978-3-642-40465-8\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Wester-EbbinghausK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WestergaardFS13,
  author    = {Michael Westergaard and
               Dirk Fahland and
               Christian Stahl},
  title     = {Grade/CPN: {A} Tool and Temporal Logic for Testing Colored Petri Net
               Models in Teaching},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {180--202},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_10},
  doi       = {10.1007/978-3-642-40465-8\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/WestergaardFS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-8,
  editor    = {Maciej Koutny and
               Wil M. P. van der Aalst and
               Alex Yakovlev},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8100},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8},
  doi       = {10.1007/978-3-642-40465-8},
  isbn      = {978-3-642-40464-1},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2013-8.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics