Search dblp for Publications

• > Home > Search

@article{DBLP:journals/topnoc/BashkinL14,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  title        = {Decidability of k -Soundness for Workflow Nets with an Unbounded Resource},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {1--18},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_1},
  doi          = {10.1007/978-3-662-45730-6\_1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BashkinL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BernardinelloKMP14,
  author       = {Luca Bernardinello and
                  G{\"{o}}rkem Kilin{\c{c}} and
                  Elisabetta Mangioni and
                  Lucia Pomello},
  title        = {Modeling Distributed Private Key Generation by Composing Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {19--40},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_2},
  doi          = {10.1007/978-3-662-45730-6\_2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/BernardinelloKMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BetzCDWW14,
  author       = {Tobias Betz and
                  Lawrence Cabac and
                  Michael Duvigneau and
                  Thomas Wagner and
                  Matthias Wester{-}Ebbinghaus},
  title        = {Software Engineering with Petri Nets: {A} Web Service and Agent Perspective},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {41--61},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_3},
  doi          = {10.1007/978-3-662-45730-6\_3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BetzCDWW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/CabacMW14,
  author       = {Lawrence Cabac and
                  David Mosteller and
                  Matthias Wester{-}Ebbinghaus},
  title        = {Modeling Organizational Structures and Agent Knowledge for Mulan Applications},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {62--82},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_4},
  doi          = {10.1007/978-3-662-45730-6\_4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/CabacMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/ChatainH14,
  author       = {Thomas Chatain and
                  Stefan Haar},
  title        = {A Canonical Contraction for Safe Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {83--98},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_5},
  doi          = {10.1007/978-3-662-45730-6\_5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/ChatainH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/JinLC14,
  author       = {Xiaoqing Jin and
                  Yousra Lembachar and
                  Gianfranco Ciardo},
  title        = {Symbolic Termination and Confluence Checking for {ECA} Rules},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {99--123},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_6},
  doi          = {10.1007/978-3-662-45730-6\_6},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/JinLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/KleijnKP14,
  author       = {Jetty Kleijn and
                  Maciej Koutny and
                  Marta Pietkiewicz{-}Koutny},
  title        = {Tissue Systems and Petri Net Synthesis},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {124--146},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_7},
  doi          = {10.1007/978-3-662-45730-6\_7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/KleijnKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/LiuL14,
  author       = {Junxian Liu and
                  Lin Liu},
  title        = {A Coloured Petri Net Approach to the Functional and Performance Analysis
                  of {SIP} Non-INVITE Transaction},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {147--177},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_8},
  doi          = {10.1007/978-3-662-45730-6\_8},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/LiuL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/topnoc/2014-9,
  editor       = {Maciej Koutny and
                  Serge Haddad and
                  Alex Yakovlev},
  title        = {Transactions on Petri Nets and Other Models of Concurrency {IX}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8910},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6},
  doi          = {10.1007/978-3-662-45730-6},
  isbn         = {978-3-662-45729-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/2014-9.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}