Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/topnoc/ArnoldB12,
  author       = {Sonya Arnold and
                  Jonathan Billington},
  title        = {An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol
                  Operating over the Transmission Control Protocol},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {226--250},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_10},
  doi          = {10.1007/978-3-642-35179-2\_10},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/ArnoldB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BruneoLP12,
  author       = {Dario Bruneo and
                  Francesco Longo and
                  Antonio Puliafito},
  title        = {Modeling Energy-Aware Cloud Federations with SRNs},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {277--307},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_12},
  doi          = {10.1007/978-3-642-35179-2\_12},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BruneoLP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Carmona12,
  author       = {Josep Carmona},
  title        = {The Label Splitting Problem},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {1--23},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_1},
  doi          = {10.1007/978-3-642-35179-2\_1},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Carmona12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/ChoppyDEKPY12,
  author       = {Christine Choppy and
                  Anna Dedova and
                  Sami Evangelista and
                  Kais Klai and
                  Laure Petrucci and
                  Samir Youcef},
  title        = {Modelling and Formal Verification of the {NEO} Protocol},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {197--225},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_9},
  doi          = {10.1007/978-3-642-35179-2\_9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/ChoppyDEKPY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/DarondeauR12,
  author       = {Philippe Darondeau and
                  S. Laurie Ricker},
  title        = {Distributed Control of Discrete-Event Systems: {A} First Step},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {24--45},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_2},
  doi          = {10.1007/978-3-642-35179-2\_2},
  timestamp    = {Fri, 16 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/DarondeauR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/DongenDA12,
  author       = {Boudewijn F. van Dongen and
                  J{\"{o}}rg Desel and
                  Wil M. P. van der Aalst},
  title        = {Aggregating Causal Runs into Workflow Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {334--363},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_14},
  doi          = {10.1007/978-3-642-35179-2\_14},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/DongenDA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/HillahKLP12,
  author       = {Lom{-}Messan Hillah and
                  Fabrice Kordon and
                  Charles Lakos and
                  Laure Petrucci},
  title        = {Extending pnml Scope: {A} Framework to Combine Petri Nets Types},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {46--70},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_3},
  doi          = {10.1007/978-3-642-35179-2\_3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/HillahKLP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Kindler12,
  author       = {Ekkart Kindler},
  title        = {Modelling Local and Global Behaviour: Petri Nets and Event Coordination},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {71--93},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_4},
  doi          = {10.1007/978-3-642-35179-2\_4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Kindler12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/KordonLBCELLPTW12,
  author       = {Fabrice Kordon and
                  Alban Linard and
                  Didier Buchs and
                  Maximilien Colange and
                  Sami Evangelista and
                  Kai Lampka and
                  Niels Lohmann and
                  Emmanuel Paviot{-}Adet and
                  Yann Thierry{-}Mieg and
                  Harro Wimmel},
  title        = {Report on the Model Checking Contest at Petri Nets 2011},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {169--196},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_8},
  doi          = {10.1007/978-3-642-35179-2\_8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/MarroneMNPRV12,
  author       = {Stefano Marrone and
                  Nicola Mazzocca and
                  Roberto Nardone and
                  Roberta Presta and
                  Simon Pietro Romano and
                  Valeria Vittorini},
  title        = {A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant
                  Conferencing Framework},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {308--333},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_13},
  doi          = {10.1007/978-3-642-35179-2\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/MarroneMNPRV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/SalemDK12,
  author       = {Ala{-}Eddine Ben Salem and
                  Alexandre Duret{-}Lutz and
                  Fabrice Kordon},
  title        = {Model Checking Using Generalized Testing Automata},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {94--122},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_5},
  doi          = {10.1007/978-3-642-35179-2\_5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/SalemDK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/SedlmajerBHLBM12,
  author       = {Nicolas Sedlmajer and
                  Didier Buchs and
                  Steve Hostettler and
                  Alban Linard and
                  Edmundo L{\'{o}}pez B{\'{o}}beda and
                  Alexis Marechal},
  title        = {A Domain Specific Language Approach for Genetic Regulatory Mechanisms
                  Analysis},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {123--145},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_6},
  doi          = {10.1007/978-3-642-35179-2\_6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/SedlmajerBHLBM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/SuriadiOF12,
  author       = {Suriadi Suriadi and
                  Chun Ouyang and
                  Ernest Foo},
  title        = {Privacy Compliance Verification in Cryptographic Protocols},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {251--276},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_11},
  doi          = {10.1007/978-3-642-35179-2\_11},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/SuriadiOF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Westergaard12,
  author       = {Michael Westergaard},
  title        = {Verifying Parallel Algorithms and Programs Using Coloured Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {6},
  pages        = {146--168},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2\_7},
  doi          = {10.1007/978-3-642-35179-2\_7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Westergaard12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/topnoc/2012-6,
  editor       = {Kurt Jensen and
                  Wil M. P. van der Aalst and
                  Marco Ajmone Marsan and
                  Giuliana Franceschinis and
                  Jetty Kleijn and
                  Lars Michael Kristensen},
  title        = {Transactions on Petri Nets and Other Models of Concurrency {VI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7400},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35179-2},
  doi          = {10.1007/978-3-642-35179-2},
  isbn         = {978-3-642-35178-5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/2012-6.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.