Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/topnoc/0001DJ13,
  author       = {Robert Lorenz and
                  J{\"{o}}rg Desel and
                  Gabriel Juh{\'{a}}s},
  title        = {Models from Scenarios},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {314--371},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_9},
  doi          = {10.1007/978-3-642-38143-0\_9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/0001DJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/AalstD13,
  author       = {Wil M. P. van der Aalst and
                  Boudewijn F. van Dongen},
  title        = {Discovering Petri Nets from Event Logs},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {372--422},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_10},
  doi          = {10.1007/978-3-642-38143-0\_10},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AalstD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/AalstSW13,
  author       = {Wil M. P. van der Aalst and
                  Christian Stahl and
                  Michael Westergaard},
  title        = {Strategies for Modeling Complex Processes Using Colored Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {6--55},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_2},
  doi          = {10.1007/978-3-642-38143-0\_2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AalstSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BestW13,
  author       = {Eike Best and
                  Harro Wimmel},
  title        = {Structure Theory of Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {162--224},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_5},
  doi          = {10.1007/978-3-642-38143-0\_5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BestW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/HeeSW13a,
  author       = {Kees M. van Hee and
                  Natalia Sidorova and
                  Jan Martijn E. M. van der Werf},
  title        = {Business Process Modeling Using Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {116--161},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_4},
  doi          = {10.1007/978-3-642-38143-0\_4},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/HeeSW13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/KleijnK13,
  author       = {Jetty Kleijn and
                  Maciej Koutny},
  title        = {Causality in Extensions of Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {225--254},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_6},
  doi          = {10.1007/978-3-642-38143-0\_6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/KleijnK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/KristensenS13,
  author       = {Lars Michael Kristensen and
                  Kent Inge Fagerland Simonsen},
  title        = {Applications of Coloured Petri Nets for Functional Validation of Protocol
                  Designs},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {56--115},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_3},
  doi          = {10.1007/978-3-642-38143-0\_3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/KristensenS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Reisig13,
  author       = {Wolfgang Reisig},
  title        = {The Synthesis Problem},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {300--313},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_8},
  doi          = {10.1007/978-3-642-38143-0\_8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Reisig13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/ReisigRT13,
  author       = {Wolfgang Reisig and
                  Grzegorz Rozenberg and
                  P. S. Thiagarajan},
  title        = {In Memoriam: Carl Adam Petri},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {1--5},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_1},
  doi          = {10.1007/978-3-642-38143-0\_1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/ReisigRT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Valmari13,
  author       = {Antti Valmari},
  title        = {External Behaviour of Systems of State Machines with Variables},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {255--299},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_7},
  doi          = {10.1007/978-3-642-38143-0\_7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Valmari13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/topnoc/2013-7,
  editor       = {Kurt Jensen and
                  Wil M. P. van der Aalst and
                  Gianfranco Balbo and
                  Maciej Koutny and
                  Karsten Wolf},
  title        = {Transactions on Petri Nets and Other Models of Concurrency {VII}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7480},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0},
  doi          = {10.1007/978-3-642-38143-0},
  isbn         = {978-3-642-38142-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/2013-7.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.