BibTeX records: Lars Michael Kristensen

download as .bib file

@article{DBLP:journals/topnoc/0006KR21,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Lars Michael Kristensen and
               Adrian Rutle},
  title     = {Verification of the {MQTT} IoT Protocol Using Property-Specific {CTL}
               Sweep-Line Algorithms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {15},
  pages     = {165--183},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-662-63079-2\_8},
  doi       = {10.1007/978-3-662-63079-2\_8},
  timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/0006KR21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/StokkenesSKL21,
  author    = {Sindre Stokkenes and
               R. D. Strand and
               Lars Michael Kristensen and
               Torgrim Log},
  editor    = {Elhadi M. Shakshuki and
               Ansar{-}Ul{-}Haque Yasar},
  title     = {Validation of a Predictive Fire Risk Indication Model using Cloud-based
               Weather Data Services},
  booktitle = {The 12th International Conference on Ambient Systems, Networks and
               Technologies {(ANT} 2021) / The 4th International Conference on Emerging
               Data and Industry 4.0 {(EDI40} 2021) / Affiliated Workshops, March
               23-26, 2021, Warsaw, Poland},
  series    = {Procedia Computer Science},
  volume    = {184},
  pages     = {186--193},
  publisher = {Elsevier},
  year      = {2021},
  url       = {https://doi.org/10.1016/j.procs.2021.03.029},
  doi       = {10.1016/j.procs.2021.03.029},
  timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl    = {https://dblp.org/rec/conf/ant/StokkenesSKL21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GkolfiJKY20,
  author    = {Anastasia Gkolfi and
               Einar Broch Johnsen and
               Lars Michael Kristensen and
               Ingrid Chieh Yu},
  editor    = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
               Ekkart Kindler and
               Heiko R{\"{o}}lke},
  title     = {Model Checking Starvation for Resource-aware Active Objects with Coloured
               Petri Nets},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering co-located with 41st International Conference on Application
               and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2020), Paris,
               France, June 24, 2020 (due to {COVID-19:} virtual conference)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2651},
  pages     = {68--85},
  publisher = {CEUR-WS.org},
  year      = {2020},
  url       = {http://ceur-ws.org/Vol-2651/paper5.pdf},
  timestamp = {Wed, 19 Aug 2020 17:48:59 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/GkolfiJKY20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/0048AKS20,
  author    = {Rui Wang and
               Cyrille Artho and
               Lars Michael Kristensen and
               Volker Stolz},
  title     = {Multi-objective Search for Model-based Testing},
  booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
               and Security, {QRS} 2020, Macau, China, December 11-14, 2020},
  pages     = {130--141},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://doi.org/10.1109/QRS51102.2020.00029},
  doi       = {10.1109/QRS51102.2020.00029},
  timestamp = {Mon, 08 Feb 2021 12:13:14 +0100},
  biburl    = {https://dblp.org/rec/conf/qrs/0048AKS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AhishakiyeJKS20,
  author    = {Faustin Ahishakiye and
               Jos{\'{e}}{-}Ignacio Requeno Jarabo and
               Lars Michael Kristensen and
               Volker Stolz},
  editor    = {Belgacem Ben Hedia and
               Yu{-}Fang Chen and
               Gaiyun Liu and
               Zhenhua Yu},
  title     = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
  booktitle = {Verification and Evaluation of Computer and Communication Systems
               - 14th International Conference, VECoS 2020, Xi'an, China, October
               26-27, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12519},
  pages     = {68--83},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-65955-4\_6},
  doi       = {10.1007/978-3-030-65955-4\_6},
  timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vecos/AhishakiyeJKS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2020w,
  editor    = {Loli Burgue{\~{n}}o and
               Lars Michael Kristensen},
  title     = {{STAF} 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering
               for the Internet-of-Things, 1st International Workshop on Modeling
               Smart Cities, and 5th International Workshop on Open and Original
               Problems in Software Language Engineering co-located with Software
               Technologies: Applications and Foundations federation of conferences
               {(STAF} 2020), Bergen, Norway, June 22-26, 2020},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2707},
  publisher = {CEUR-WS.org},
  year      = {2020},
  url       = {http://ceur-ws.org/Vol-2707},
  urn       = {urn:nbn:de:0074-2707-1},
  timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/staf/2020w.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09806,
  author    = {Faustin Ahishakiye and
               Jos{\'{e}}{-}Ignacio Requeno Jarabo and
               Lars Michael Kristensen and
               Volker Stolz},
  title     = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
  journal   = {CoRR},
  volume    = {abs/2005.09806},
  year      = {2020},
  url       = {https://arxiv.org/abs/2005.09806},
  archivePrefix = {arXiv},
  eprint    = {2005.09806},
  timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2005-09806.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/WangKMS19,
  author    = {Rui Wang and
               Lars Michael Kristensen and
               Hein Meling and
               Volker Stolz},
  title     = {Automated test case generation for the Paxos single-decree protocol
               using a Coloured Petri Net model},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {104},
  pages     = {254--273},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jlamp.2019.02.004},
  doi       = {10.1016/j.jlamp.2019.02.004},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/WangKMS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/RodriguezDRK19,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Francisco Dur{\'{a}}n and
               Adrian Rutle and
               Lars Michael Kristensen},
  title     = {Executing Multilevel Domain-Specific Models in Maude},
  journal   = {J. Object Technol.},
  volume    = {18},
  number    = {2},
  pages     = {4:1--21},
  year      = {2019},
  url       = {https://doi.org/10.5381/jot.2019.18.2.a4},
  doi       = {10.5381/jot.2019.18.2.a4},
  timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jot/RodriguezDRK19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GkolfiDJKSY19,
  author    = {Anastasia Gkolfi and
               Crystal Chang Din and
               Einar Broch Johnsen and
               Lars Michael Kristensen and
               Martin Steffen and
               Ingrid Chieh Yu},
  title     = {Translating active objects into colored Petri nets for communication
               analysis},
  journal   = {Sci. Comput. Program.},
  volume    = {181},
  pages     = {1--26},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.scico.2019.04.002},
  doi       = {10.1016/j.scico.2019.04.002},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/GkolfiDJKSY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/0006KR19,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Lars Michael Kristensen and
               Adrian Rutle},
  title     = {Formal Modelling and Incremental Verification of the {MQTT} IoT Protocol},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {126--145},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_5},
  doi       = {10.1007/978-3-662-60651-3\_5},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/0006KR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/0006KR19,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Lars Michael Kristensen and
               Adrian Rutle},
  editor    = {Daniel Moldt and
               Ekkart Kindler and
               Manuel Wimmer},
  title     = {On {CTL} Model Checking of the {MQTT} IoT Protocol using the Sweep-Line
               Method},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering {(PNSE} 2019), co-located with the 40th International
               Conference on Application and Theory of Petri Nets and Concurrency
               Petri Nets 2019 and the 19th International Conference on Application
               of Concurrency to System Design {ACSD} 2019 and the 1st {IEEE} International
               Conference on Process Mining Process Mining 2019, Aachen, Germany,
               June 23-28, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2424},
  pages     = {57--72},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2424/paper5.pdf},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/0006KR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WangAKS19,
  author    = {Rui Wang and
               Cyrille Artho and
               Lars Michael Kristensen and
               Volker Stolz},
  editor    = {Wolfgang Ahrendt and
               Silvia Lizeth Tapia Tarifa},
  title     = {Visualization and Abstractions for Execution Paths in Model-Based
               Software Testing},
  booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
               Bergen, Norway, December 2-6, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11918},
  pages     = {474--492},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-34968-4\_26},
  doi       = {10.1007/978-3-030-34968-4\_26},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/WangAKS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/0006RKD19,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Adrian Rutle and
               Lars Michael Kristensen and
               Francisco Dur{\'{a}}n},
  editor    = {Loli Burgue{\~{n}}o and
               Alexander Pretschner and
               Sebastian Voss and
               Michel Chaudron and
               J{\"{o}}rg Kienzle and
               Markus V{\"{o}}lter and
               S{\'{e}}bastien G{\'{e}}rard and
               Mansooreh Zahedi and
               Erwan Bousse and
               Arend Rensink and
               Fiona Polack and
               Gregor Engels and
               Gerti Kappel},
  title     = {A Foundation for the Composition of Multilevel Domain-Specific Languages},
  booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
               Languages and Systems Companion, {MODELS} Companion 2019, Munich,
               Germany, September 15-20, 2019},
  pages     = {88--97},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/MODELS-C.2019.00018},
  doi       = {10.1109/MODELS-C.2019.00018},
  timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/models/0006RKD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/KristensenLS19,
  author    = {Lars Michael Kristensen and
               Torgrim Log and
               Sindre Stokkenes},
  title     = {Cloud-based Implementation and Validation of a Predictive Fire Risk
               Indication Model},
  booktitle = {32nd Norsk Informatikkonferanse, {NIK} 2019, {UIT} Norges Arktiske
               Universitet, Narvik, Norway, November 25-27, 2019},
  publisher = {Bibsys Open Journal Systems, Norway},
  year      = {2019},
  url       = {https://ojs.bibsys.no/index.php/NIK/article/view/642},
  timestamp = {Fri, 05 Feb 2021 11:08:05 +0100},
  biburl    = {https://dblp.org/rec/conf/nik/KristensenLS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2019-14,
  editor    = {Maciej Koutny and
               Lucia Pomello and
               Lars Michael Kristensen},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XIV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11790},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-662-60651-3},
  doi       = {10.1007/978-3-662-60651-3},
  isbn      = {978-3-662-60650-6},
  timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/2019-14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/SomappaKP18,
  author    = {Admar Ajith Kumar Somappa and
               Lars Michael Kristensen and
               Andreas Prinz},
  title     = {Model-based specification and validation of the dual-mode adaptive
               {MAC} protocol},
  journal   = {Int. J. Crit. Comput. Based Syst.},
  volume    = {8},
  number    = {2},
  pages     = {108--140},
  year      = {2018},
  url       = {https://doi.org/10.1504/IJCCBS.2018.096190},
  doi       = {10.1504/IJCCBS.2018.096190},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijccbs/SomappaKP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WangKMS18,
  author    = {Rui Wang and
               Lars Michael Kristensen and
               Hein Meling and
               Volker Stolz},
  title     = {Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed
               Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {158--180},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_8},
  doi       = {10.1007/978-3-662-58381-4\_8},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/WangKMS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RodriguezKR18,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Lars Michael Kristensen and
               Adrian Rutle},
  editor    = {Daniel Moldt and
               Ekkart Kindler and
               Heiko R{\"{o}}lke},
  title     = {On Modelling and Validation of the {MQTT} IoT Protocol for {M2M} Communication},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'18), co-located with the39th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2018 and the 18th International Conference on Application of Concurrency
               to System Design {ACSD} 2018, Bratislava, Slovakia, June 24-29, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2138},
  pages     = {99--118},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2138/paper5.pdf},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/RodriguezKR18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/GkolfiJKY18,
  author    = {Anastasia Gkolfi and
               Einar Broch Johnsen and
               Lars Michael Kristensen and
               Ingrid Chieh Yu},
  editor    = {Kyungmin Bae and
               Peter Csaba {\"{O}}lveczky},
  title     = {Using Coloured Petri Nets for Resource Analysis of Active Objects},
  booktitle = {Formal Aspects of Component Software - 15th International Conference,
               {FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11222},
  pages     = {156--174},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02146-7\_8},
  doi       = {10.1007/978-3-030-02146-7\_8},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/facs2/GkolfiJKY18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RodriguezRDKM18,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Adrian Rutle and
               Francisco Dur{\'{a}}n and
               Lars Michael Kristensen and
               Fernando Mac{\'{\i}}as},
  editor    = {Regina Hebig and
               Thorsten Berger},
  title     = {Multilevel modelling of coloured petri nets},
  booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2245},
  pages     = {663--672},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2245/multi\_paper\_4.pdf},
  timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/models/RodriguezRDKM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiKL18,
  author    = {Fazle Rabbi and
               Lars Michael Kristensen and
               Yngve Lamo},
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic},
  title     = {Static Analysis of Conformance Preserving Model Transformation Rules},
  booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
               January 22-24, 2018},
  pages     = {152--162},
  publisher = {SciTePress},
  year      = {2018},
  url       = {https://doi.org/10.5220/0006602601520162},
  doi       = {10.5220/0006602601520162},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/RabbiKL18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLK18,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Lars Michael Kristensen},
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic},
  title     = {Analysis and Evaluation of Conformance Preserving Graph Transformation
               Rules},
  booktitle = {Model-Driven Engineering and Software Development - 6th International
               Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January
               22-24, 2018, Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {991},
  pages     = {284--307},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-11030-7\_13},
  doi       = {10.1007/978-3-030-11030-7\_13},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/RabbiLK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/WangKS18,
  author    = {Rui Wang and
               Lars Michael Kristensen and
               Volker Stolz},
  editor    = {Mohamed Faouzi Atig and
               Saddek Bensalem and
               Simon Bliudze and
               Bruno Monsuez},
  title     = {{MBT/CPN:} {A} Tool for Model-Based Software Testing of Distributed
               Systems Protocols Using Coloured Petri Nets},
  booktitle = {Verification and Evaluation of Computer and Communication Systems
               - 12th International Conference, VECoS 2018, Grenoble, France, September
               26-28, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11181},
  pages     = {97--113},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00359-3\_7},
  doi       = {10.1007/978-3-030-00359-3\_7},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vecos/WangKS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2018-13,
  editor    = {Maciej Koutny and
               Lars Michael Kristensen and
               Wojciech Penczek},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11090},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-662-58381-4},
  doi       = {10.1007/978-3-662-58381-4},
  isbn      = {978-3-662-58380-7},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2018-13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WangKMS17,
  author    = {Rui Wang and
               Lars Michael Kristensen and
               Hein Meling and
               Volker Stolz},
  editor    = {Daniel Moldt and
               Lawrence Cabac and
               Heiko R{\"{o}}lke},
  title     = {Application of Model-based Testing on a Quorum-based Distributed Storage},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'17), co-located with the38th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2017 and the 17th International Conference on Application of Concurrency
               to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1846},
  pages     = {177--196},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1846/paper11.pdf},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/WangKMS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenTV17,
  author    = {Lars Michael Kristensen and
               Gabriele Taentzer and
               Steffen Vaupel},
  editor    = {Daniel Moldt and
               Lawrence Cabac and
               Heiko R{\"{o}}lke},
  title     = {Towards Verification of Connection-Aware Transaction Models for Mobile
               Applications},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'17), co-located with the38th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2017 and the 17th International Conference on Application of Concurrency
               to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1846},
  pages     = {227--228},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1846/paper15.pdf},
  timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/KristensenTV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiKL17,
  author    = {Fazle Rabbi and
               Lars Michael Kristensen and
               Yngve Lamo},
  editor    = {Lu{\'{\i}}s Ferreira Pires and
               Slimane Hammoudi and
               Bran Selic},
  title     = {Optimizing Distributed Resource Allocation using Epistemic Game Theory:
               {A} Model-driven Engineering Approach},
  booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
               19-21, 2017},
  pages     = {41--52},
  publisher = {SciTePress},
  year      = {2017},
  url       = {https://doi.org/10.5220/0006121400410052},
  doi       = {10.5220/0006121400410052},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/RabbiKL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLK17,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Lars Michael Kristensen},
  editor    = {Lu{\'{\i}}s Ferreira Pires and
               Slimane Hammoudi and
               Bran Selic},
  title     = {A Model Driven Engineering Approach for Heterogeneous Model Composition},
  booktitle = {Model-Driven Engineering and Software Development - 5th International
               Conference, {MODELSWARD} 2017, Porto, Portugal, February 19-21, 2017,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {880},
  pages     = {198--221},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-94764-8\_9},
  doi       = {10.1007/978-3-319-94764-8\_9},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/RabbiLK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/LilleskareKH17,
  author    = {Andreas Lilleskare and
               Lars Michael Kristensen and
               Sven{-}Olai H{\o}yland},
  title     = {{CTL} Model Checking with the Sweep-line State Space Exploration Method},
  booktitle = {30th Norsk Informatikkonferanse, {NIK} 2017, Westerdals Oslo ACT,
               Oslo, Norway, November 27-29, 2017},
  publisher = {Bibsys Open Journal Systems, Norway},
  year      = {2017},
  url       = {https://ojs.bibsys.no/index.php/NIK/article/view/394},
  timestamp = {Fri, 05 Feb 2021 11:08:02 +0100},
  biburl    = {https://dblp.org/rec/conf/nik/LilleskareKH17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/RabbiLYK16,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Ingrid Chieh Yu and
               Lars Michael Kristensen},
  title     = {Diagrammatic Development of Domain Specific Modelling Languages with
               WebDPF},
  journal   = {Int. J. Inf. Syst. Model. Des.},
  volume    = {7},
  number    = {3},
  pages     = {93--114},
  year      = {2016},
  url       = {https://doi.org/10.4018/IJISMD.2016070105},
  doi       = {10.4018/IJISMD.2016070105},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijismd/RabbiLYK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SimonsenKK16,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen and
               Ekkart Kindler},
  title     = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation
               and Verification},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {1--27},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_1},
  doi       = {10.1007/978-3-662-53401-4\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SimonsenKK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/SomappaOK16,
  author    = {Admar Ajith Kumar Somappa and
               Knut {\O}vsthus and
               Lars Michael Kristensen},
  editor    = {Elhadi M. Shakshuki},
  title     = {Implementation and Deployment Evaluation of the {DMAMAC} Protocol
               for Wireless Sensor Actuator Networks},
  booktitle = {The 7th International Conference on Ambient Systems, Networks and
               Technologies {(ANT} 2016) / The 6th International Conference on Sustainable
               Energy Information Technology {(SEIT-2016)} / Affiliated Workshops,
               May 23-26, 2016, Madrid, Spain},
  series    = {Procedia Computer Science},
  volume    = {83},
  pages     = {329--336},
  publisher = {Elsevier},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.procs.2016.04.133},
  doi       = {10.1016/j.procs.2016.04.133},
  timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl    = {https://dblp.org/rec/conf/ant/SomappaOK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV16,
  author    = {Lars Michael Kristensen and
               Vegard Veiset},
  editor    = {Fabrice Kordon and
               Daniel Moldt},
  title     = {Transforming {CPN} Models into Code for TinyOS: {A} Case Study of
               the {RPL} Protocol},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
               Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
               2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9698},
  pages     = {135--154},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39086-4\_10},
  doi       = {10.1007/978-3-319-39086-4\_10},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/KristensenV16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/RabbiLK16,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Lars Michael Kristensen},
  editor    = {Natalia Criado Pacheco and
               Carlos Carrascosa and
               Nardine Osman and
               Vicente Juli{\'{a}}n Inglada},
  title     = {An {MDE} Approach for Modelling and Reasoning About Multi-agent Systems},
  booktitle = {Multi-Agent Systems and Agreement Technologies - 14th European Conference,
               {EUMAS} 2016, and 4th International Conference, {AT} 2016, Valencia,
               Spain, December 15-16, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10207},
  pages     = {49--57},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-59294-7\_5},
  doi       = {10.1007/978-3-319-59294-7\_5},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/eumas/RabbiLK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLYK16,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Ingrid Chieh Yu and
               Lars Michael Kristensen},
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic and
               Philippe Desfray},
  title     = {WebDPF: {A} Web-based Metamodelling and Model Transformation Environment},
  booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
               on Model-Driven Engineering and Software Development, Rome, Italy,
               19-21 February, 2016},
  pages     = {87--98},
  publisher = {SciTePress},
  year      = {2016},
  url       = {https://doi.org/10.5220/0005686900870098},
  doi       = {10.5220/0005686900870098},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/RabbiLYK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/KristensenKS16,
  author    = {Lars Michael Kristensen and
               Birgit Rognebakke Krogstie and
               Volker Stolz},
  title     = {Forord til {NIK} 2016 og {UDIT} 2016},
  booktitle = {29th Norsk Informatikkonferanse, {NIK} 2016, H{\o}gskolen i Bergen,
               Bergen, Norway, November 28-30, 2016},
  publisher = {Bibsys Open Journal Systems, Norway},
  year      = {2016},
  url       = {http://ojs.bibsys.no/index.php/NIK/article/view/368},
  timestamp = {Fri, 05 Feb 2021 11:08:06 +0100},
  biburl    = {https://dblp.org/rec/conf/nik/KristensenKS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2016pnse,
  editor    = {Lawrence Cabac and
               Lars Michael Kristensen and
               Heiko R{\"{o}}lke},
  title     = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering 2016, including the International Workshop on Biological
               Processes {\&} Petri Nets 2016 co-located with the 37th International
               Conference on Application and Theory of Petri Nets and Concurrency
               Petri Nets 2016 and the 16th International Conference on Application
               of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
               June 20-21, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1591},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1591},
  urn       = {urn:nbn:de:0074-1591-5},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/2016pnse.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/JensenK15,
  author    = {Kurt Jensen and
               Lars Michael Kristensen},
  title     = {Colored Petri nets: a graphical language for formal modeling and validation
               of concurrent systems},
  journal   = {Commun. {ACM}},
  volume    = {58},
  number    = {6},
  pages     = {61--70},
  year      = {2015},
  url       = {https://doi.org/10.1145/2663340},
  doi       = {10.1145/2663340},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cacm/JensenK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SimonsenKK15,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen and
               Ekkart Kindler},
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke and
               Harald St{\"{o}}rrle},
  title     = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation
               and Verification},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'15), including the International Workshop on Petri
               Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
               satellite event of the conferences: 36th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2015 and 15th International Conference on Application of Concurrency
               to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1372},
  pages     = {79--98},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1372/paper5.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/SimonsenKK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RabbiLYK15,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Ingrid Chieh Yu and
               Lars Michael Kristensen},
  editor    = {J{\"{u}}rgen Dingel and
               Sahar Kokaly and
               Levi Lucio and
               Rick Salay and
               Hans Vangheluwe},
  title     = {A Diagrammatic Approach to Model Completion},
  booktitle = {Proceedings of the 4th Workshop on the Analysis of Model Transformations
               co-located with the 18th International Conference on Model Driven
               Engineering Languages and Systems {(MODELS} 2015), Ottawa, Canada,
               September 28, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1500},
  pages     = {56--65},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1500/paper7.pdf},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/models/RabbiLYK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/RabbiLYK15,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Ingrid Chieh Yu and
               Lars Michael Kristensen},
  title     = {Towards a Multi Metamodelling Approach for Developing Distributed
               Healthcare Applications},
  booktitle = {28th Norsk Informatikkonferanse, {NIK} 2015, H{\o}gskolen i {\AA}lesund,
               {\AA}lesund, Norway, November 23-25, 2015},
  publisher = {Bibsys Open Journal Systems, Norway},
  year      = {2015},
  url       = {http://ojs.bibsys.no/index.php/NIK/article/view/249},
  timestamp = {Fri, 05 Feb 2021 11:08:02 +0100},
  biburl    = {https://dblp.org/rec/conf/nik/RabbiLYK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/SomappaKO15,
  author    = {Admar Ajith Kumar Somappa and
               Lars Michael Kristensen and
               Knut {\O}vsthus},
  editor    = {Georgios Theodoropoulos},
  title     = {Simulation-based evaluation of {DMAMAC:} a dual-mode adaptive mac
               protocol for process control},
  booktitle = {Proceedings of the 8th International Conference on Simulation Tools
               and Techniques, Athens, Greece, August 24-26, 2015},
  pages     = {218--227},
  publisher = {{ICST/ACM}},
  year      = {2015},
  url       = {https://doi.org/10.4108/eai.24-8-2015.2260868},
  doi       = {10.4108/eai.24-8-2015.2260868},
  timestamp = {Tue, 01 Oct 2019 07:26:13 +0200},
  biburl    = {https://dblp.org/rec/conf/simutools/SomappaKO15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SomappaPK15,
  author    = {Admar Ajith Kumar Somappa and
               Andreas Prinz and
               Lars Michael Kristensen},
  editor    = {Belgacem Ben Hedia and
               Florin Popentiu Vladicescu},
  title     = {Model-Based Verification of the {DMAMAC} Protocol for Real-time Process
               Control},
  booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of
               Computer and Communication Systems, VECoS 2015, Bucharest, Romania,
               September 10-11, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1431},
  pages     = {81--96},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1431/paper9.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:17 +0100},
  biburl    = {https://dblp.org/rec/conf/vecos/SomappaPK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsur/SOK14,
  author    = {A. Ajith Kumar S. and
               Knut {\O}vsthus and
               Lars Michael Kristensen},
  title     = {An Industrial Perspective on Wireless Sensor Networks - {A} Survey
               of Requirements, Protocols, and Challenges},
  journal   = {{IEEE} Commun. Surv. Tutorials},
  volume    = {16},
  number    = {3},
  pages     = {1391--1412},
  year      = {2014},
  url       = {https://doi.org/10.1109/SURV.2014.012114.00058},
  doi       = {10.1109/SURV.2014.012114.00058},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/comsur/SOK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EvangelistaK14,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  title     = {A Sweep-Line Method for B{\"{u}}chi Automata-based Model Checking},
  journal   = {Fundam. Informaticae},
  volume    = {131},
  number    = {1},
  pages     = {27--53},
  year      = {2014},
  url       = {https://doi.org/10.3233/FI-2014-1003},
  doi       = {10.3233/FI-2014-1003},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/EvangelistaK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kristensen14,
  author    = {Lars Michael Kristensen},
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke},
  title     = {An Approach for the Engineering of Protocol Software from Coloured
               Petri Net Models: {A} Case Study of the {IETF} WebSocket Protocol},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering, co-located with 35th International Conference on Application
               and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
               International Conference on Application of Concurrency to System Design
               {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1160},
  pages     = {13--14},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1160/paper1.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/Kristensen14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/SimonsenK14,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen},
  editor    = {Kostas Magoutis and
               Peter R. Pietzuch},
  title     = {Implementing the WebSocket Protocol Based on Formal Modelling and
               Automated Code Generation},
  booktitle = {Distributed Applications and Interoperable Systems - 14th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2014, Held as Part of the 9th
               International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8460},
  pages     = {104--118},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43352-2\_9},
  doi       = {10.1007/978-3-662-43352-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/dais/SimonsenK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fnc/SomappaOK14,
  author    = {Admar Ajith Kumar Somappa and
               Knut {\O}vsthus and
               Lars Michael Kristensen},
  title     = {Towards a Dual-mode Adaptive {MAC} Protocol {(DMA-MAC)} for Feedback-based
               Networked Control Systems},
  booktitle = {The 9th International Conference on Future Networks and Communications
               (FNC'14) / The 11th International Conference on Mobile Systems and
               Pervasive Computing (MobiSPC'14) / Affiliated Workshops, August 17-20,
               2014, Niagara Falls, Canada},
  series    = {Procedia Computer Science},
  volume    = {34},
  pages     = {505--510},
  publisher = {Elsevier},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.procs.2014.07.056},
  doi       = {10.1016/j.procs.2014.07.056},
  timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl    = {https://dblp.org/rec/conf/fnc/SomappaOK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/Kristensen14,
  author    = {Lars Michael Kristensen},
  title     = {Investigating Optimal Progress Measures for Verification of the WebSocket
               Protocol},
  booktitle = {27th Norsk Informatikkonferanse, {NIK} 2014, H{\o}gskolen i {\O}stfold,
               Fredrikstad, Norway, November 17-19, 2014},
  publisher = {Bibsys Open Journal Systems, Norway},
  year      = {2014},
  url       = {http://ojs.bibsys.no/index.php/NIK/article/view/25},
  timestamp = {Fri, 05 Feb 2021 11:08:03 +0100},
  biburl    = {https://dblp.org/rec/conf/nik/Kristensen14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KristensenPP13,
  author    = {Lars Michael Kristensen and
               Wojciech Penczek and
               Laure Petrucci},
  title     = {Preface},
  journal   = {Fundam. Informaticae},
  volume    = {122},
  number    = {1-2},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-780},
  doi       = {10.3233/FI-2013-780},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/KristensenPP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EvangelistaK13,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  title     = {Dynamic state space partitioning for external memory state space exploration},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {7},
  pages     = {778--795},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2011.09.005},
  doi       = {10.1016/j.scico.2011.09.005},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/EvangelistaK13.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}
}
@inproceedings{DBLP:conf/apn/VeisetK13,
  author    = {Vegard Veiset and
               Lars Michael Kristensen},
  editor    = {Daniel Moldt},
  title     = {Transforming Platform Independent {CPN} Models into Code for the TinyOS
               Platform: {A} Case Study of the {RPL} Protocol},
  booktitle = {Joint Proceedings of the International Workshop on Petri Nets and
               Software Engineering (PNSE'13) and the International Workshop on Modeling
               and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
               2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {989},
  pages     = {259--260},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-989/paper25.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/VeisetK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaKP13,
  author    = {Sami Evangelista and
               Lars Michael Kristensen and
               Laure Petrucci},
  editor    = {Dang Van Hung and
               Mizuhito Ogawa},
  title     = {Multi-threaded Explicit State Space Exploration with State Reconstruction},
  booktitle = {Automated Technology for Verification and Analysis - 11th International
               Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8172},
  pages     = {208--223},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8\_16},
  doi       = {10.1007/978-3-319-02444-8\_16},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/atva/EvangelistaKP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswpc/SomappaKO13,
  author    = {Admar Ajith Kumar Somappa and
               Lars Michael Kristensen and
               Knut {\O}vsthus},
  title     = {A formal executable specification of the GinMAC protocol for Wireless
               Sensor Actuator Networks},
  booktitle = {International Symposium on Wireless and pervasive Computing, {ISWPC}
               2013, Taipei, Taiwan, November 20-22, 2013},
  pages     = {1--7},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/ISWPC.2013.6707433},
  doi       = {10.1109/ISWPC.2013.6707433},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/iswpc/SomappaKO13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SimonsenKK13,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen and
               Ekkart Kindler},
  editor    = {Juliano Iyoda and
               Leonardo Mendon{\c{c}}a de Moura},
  title     = {Generating Protocol Software from {CPN} Models Annotated with Pragmatics},
  booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
               {SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8195},
  pages     = {227--242},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41071-0\_16},
  doi       = {10.1007/978-3-642-41071-0\_16},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/sbmf/SimonsenKK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JensenKM12,
  author    = {Kurt Jensen and
               Lars Michael Kristensen and
               Thomas Mailund},
  title     = {The sweep-line state space exploration method},
  journal   = {Theor. Comput. Sci.},
  volume    = {429},
  pages     = {169--179},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2011.12.036},
  doi       = {10.1016/j.tcs.2011.12.036},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/JensenKM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WestergaardK12,
  author    = {Michael Westergaard and
               Lars Michael Kristensen},
  title     = {A Graphical Approach to Component-Based and Extensible Model Checking
               Platforms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {265--291},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_12},
  doi       = {10.1007/978-3-642-29072-5\_12},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/WestergaardK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EvangelistaK12,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  editor    = {Serge Haddad and
               Lucia Pomello},
  title     = {Hybrid On-the-Fly {LTL} Model Checking with the Sweep-Line Method},
  booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
               {PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7347},
  pages     = {248--267},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31131-4\_14},
  doi       = {10.1007/978-3-642-31131-4\_14},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/EvangelistaK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/SimonsenK12,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen},
  editor    = {Ricardo Jorge Machado and
               Rita Suzana Pitangueira Maciel and
               Julia Rubin and
               Goetz Botterweck},
  title     = {Towards a CPN-Based Modelling Approach for Reconciling Verification
               and Implementation of Protocol Models},
  booktitle = {Model-Based Methodologies for Pervasive and Embedded Software, 8th
               International Workshop, {MOMPES} 2012, Essen, Germany, September 4,
               2012. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7706},
  pages     = {106--125},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-38209-3\_7},
  doi       = {10.1007/978-3-642-38209-3\_7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/mompes/SimonsenK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EvangelistaK12,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  editor    = {Alastair F. Donaldson and
               David Parker},
  title     = {Combining the Sweep-Line Method with the Use of an External-Memory
               Priority Queue},
  booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
               Oxford, UK, July 23-24, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7385},
  pages     = {43--61},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31759-0\_6},
  doi       = {10.1007/978-3-642-31759-0\_6},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/spin/EvangelistaK12.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}
}
@inproceedings{DBLP:conf/gpc/TaktakK11,
  author    = {Sami Taktak and
               Lars Michael Kristensen},
  editor    = {Jukka Riekki and
               Mika Ylianttila and
               Minyi Guo},
  title     = {Formal Modelling and Initial Validation of the Chelonia Distributed
               Storage System},
  booktitle = {Advances in Grid and Pervasive Computing - 6th International Conference,
               {GPC} 2011, Oulu, Finland, May 11-13, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6646},
  pages     = {127--137},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20754-9\_14},
  doi       = {10.1007/978-3-642-20754-9\_14},
  timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/gpc/TaktakK11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2011,
  editor    = {Lars Michael Kristensen and
               Laure Petrucci},
  title     = {Applications and Theory of Petri Nets - 32nd International Conference,
               {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6709},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21834-7},
  doi       = {10.1007/978-3-642-21834-7},
  isbn      = {978-3-642-21833-0},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EvangelistaK10,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  title     = {Search-Order Independent State Caching},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {21--41},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_2},
  doi       = {10.1007/978-3-642-18222-8\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/EvangelistaK10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kristensen10,
  author    = {Lars Michael Kristensen},
  editor    = {Johan Lilius and
               Wojciech Penczek},
  title     = {A Perspective on Explicit State Space Exploration of Coloured Petri
               Nets: Past, Present, and Future},
  booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
               {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6128},
  pages     = {39--42},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7\_4},
  doi       = {10.1007/978-3-642-13675-7\_4},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/Kristensen10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KristensenW10,
  author    = {Lars Michael Kristensen and
               Michael Westergaard},
  editor    = {Stefan Kowalewski and
               Marco Roveri},
  title     = {Automatic Structure-Based Code Generation from Coloured Petri Nets:
               {A} Proof of Concept},
  booktitle = {Formal Methods for Industrial Critical Systems - 15th International
               Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6371},
  pages     = {215--230},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15898-8\_14},
  doi       = {10.1007/978-3-642-15898-8\_14},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fmics/KristensenW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023756,
  author    = {Kurt Jensen and
               Lars Michael Kristensen},
  title     = {Coloured Petri Nets - Modelling and Validation of Concurrent Systems},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/b95112},
  doi       = {10.1007/b95112},
  isbn      = {978-3-642-00283-0},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/books/daglib/0023756.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KristensenF09,
  author    = {Lars Michael Kristensen and
               Paul Fleischer},
  title     = {Modelling and Validation of Secure Connection Establishment in a Generic
               Access Network Scenario},
  journal   = {Fundam. Informaticae},
  volume    = {94},
  number    = {3-4},
  pages     = {361--386},
  year      = {2009},
  url       = {https://doi.org/10.3233/FI-2009-135},
  doi       = {10.3233/FI-2009-135},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/KristensenF09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EvangelistaWK09,
  author    = {Sami Evangelista and
               Michael Westergaard and
               Lars Michael Kristensen},
  title     = {The ComBack Method Revisited: Caching Strategies and Extension with
               Delayed Duplicate Detection},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {189--215},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_8},
  doi       = {10.1007/978-3-642-04856-2\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/EvangelistaWK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardEK09,
  author    = {Michael Westergaard and
               Sami Evangelista and
               Lars Michael Kristensen},
  editor    = {Giuliana Franceschinis and
               Karsten Wolf},
  title     = {{ASAP:} An Extensible Platform for State Space Analysis},
  booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
               {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5606},
  pages     = {303--312},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5\_18},
  doi       = {10.1007/978-3-642-02424-5\_18},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/WestergaardEK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardK09,
  author    = {Michael Westergaard and
               Lars Michael Kristensen},
  editor    = {Giuliana Franceschinis and
               Karsten Wolf},
  title     = {The Access/CPN Framework: {A} Tool for Interacting with the {CPN}
               Tools Simulator},
  booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
               {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5606},
  pages     = {313--322},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5\_19},
  doi       = {10.1007/978-3-642-02424-5\_19},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/WestergaardK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/EvangelistaK09,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  editor    = {Mar{\'{\i}}a Alpuente and
               Byron Cook and
               Christophe Joubert},
  title     = {Dynamic State Space Partitioning for External Memory Model Checking},
  booktitle = {Formal Methods for Industrial Critical Systems, 14th International
               Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5825},
  pages     = {70--85},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7\_7},
  doi       = {10.1007/978-3-642-04570-7\_7},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fmics/EvangelistaK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KristensenMZMG08,
  author    = {Lars Michael Kristensen and
               Peter Mechlenborg and
               Lin Zhang and
               Brice Mitchell and
               Guy Edward Gallasch},
  title     = {Model-based development of a course of action scheduling tool},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {10},
  number    = {1},
  pages     = {5--14},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10009-007-0053-y},
  doi       = {10.1007/s10009-007-0053-y},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/KristensenMZMG08.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}
}
@inproceedings{DBLP:conf/apn/EspensenKK08,
  author    = {Kristian L. Espensen and
               Mads K. Kjeldsen and
               Lars Michael Kristensen},
  editor    = {Kees M. van Hee and
               R{\"{u}}diger Valk},
  title     = {Modelling and Initial Validation of the {DYMO} Routing Protocol for
               Mobile Ad-Hoc Networks},
  booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
               {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5062},
  pages     = {152--170},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68746-7\_13},
  doi       = {10.1007/978-3-540-68746-7\_13},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/EspensenKK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FleischerK08,
  author    = {Paul Fleischer and
               Lars Michael Kristensen},
  editor    = {Kees M. van Hee and
               R{\"{u}}diger Valk},
  title     = {Formal Specification and Validation of Secure Connection Establishment
               in a Generic Access Network Scenario},
  booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
               {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5062},
  pages     = {171--190},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68746-7\_14},
  doi       = {10.1007/978-3-540-68746-7\_14},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/FleischerK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/FleischerK08,
  author    = {Paul Fleischer and
               Lars Michael Kristensen},
  editor    = {S{\'{a}}ndor Moln{\'{a}}r and
               John R. Heath and
               Olivier Dalle and
               Gabriel A. Wainer},
  title     = {Modelling the configuration/management {API} middleware using coloured
               petri nets},
  booktitle = {Proceedings of the 1st International Conference on Simulation Tools
               and Techniques for Communications, Networks and Systems {\&} Workshops,
               SimuTools 2008, Marseille, France, March 3-7, 2008},
  pages     = {16},
  publisher = {{ICST/ACM}},
  year      = {2008},
  url       = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.3043},
  doi       = {10.4108/ICST.SIMUTOOLS2008.3043},
  timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
  biburl    = {https://dblp.org/rec/conf/simutools/FleischerK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JensenKW07,
  author    = {Kurt Jensen and
               Lars Michael Kristensen and
               Lisa Wells},
  title     = {Coloured Petri Nets and {CPN} Tools for modelling and validation of
               concurrent systems},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {9},
  number    = {3-4},
  pages     = {213--254},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10009-007-0038-x},
  doi       = {10.1007/s10009-007-0038-x},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/JensenKW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MitchellKZ07,
  author    = {Brice Mitchell and
               Lars Michael Kristensen and
               Lin Zhang},
  title     = {Formal specification and state space analysis of an operational planning
               process},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {9},
  number    = {3-4},
  pages     = {255--267},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10009-007-0032-3},
  doi       = {10.1007/s10009-007-0032-3},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/MitchellKZ07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GallaschBVK07,
  author    = {Guy Edward Gallasch and
               Jonathan Billington and
               Somsak Vanit{-}Anunchai and
               Lars Michael Kristensen},
  title     = {Checking safety properties on-the-fly with the sweep-line method},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {9},
  number    = {3-4},
  pages     = {371--391},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10009-007-0031-4},
  doi       = {10.1007/s10009-007-0031-4},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/GallaschBVK07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardKBA07,
  author    = {Michael Westergaard and
               Lars Michael Kristensen and
               Gerth St{\o}lting Brodal and
               Lars Arge},
  editor    = {Jetty Kleijn and
               Alexandre Yakovlev},
  title     = {The ComBack Method - Extending Hash Compaction with Backtracking},
  booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
               Conference on Applications and Theory of Petri Nets and Other Models
               of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4546},
  pages     = {445--464},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73094-1\_26},
  doi       = {10.1007/978-3-540-73094-1\_26},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/WestergaardKBA07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KristensenSV06,
  author    = {Lars Michael Kristensen and
               Karsten Schmidt and
               Antti Valmari},
  title     = {Question-guided stubborn set methods for state properties},
  journal   = {Formal Methods Syst. Des.},
  volume    = {29},
  number    = {3},
  pages     = {215--251},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10703-006-0006-1},
  doi       = {10.1007/s10703-006-0006-1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fmsd/KristensenSV06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BronstedK06,
  author    = {Jeppe Br{\o}nsted and
               Lars Michael Kristensen},
  title     = {Specification and Performance Evaluation of Two Zone Dissemination
               Protocols for Vehicular Ad-hoc Networks},
  booktitle = {Proceedings 39th Annual Simulation Symposium {(ANSS-39} 2006), 2-6
               April 2006, Huntsville, Alabama, {USA}},
  pages     = {68--79},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://doi.org/10.1109/ANSS.2006.43},
  doi       = {10.1109/ANSS.2006.43},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/anss/BronstedK06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LakosK05,
  author    = {Charles A. Lakos and
               Lars Michael Kristensen},
  editor    = {Doron A. Peled and
               Yih{-}Kuen Tsay},
  title     = {State Space Exploration of Object-Based Systems Using Equivalence
               Reduction and the Sweepline Method},
  booktitle = {Automated Technology for Verification and Analysis, Third International
               Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3707},
  pages     = {187--201},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562948\_16},
  doi       = {10.1007/11562948\_16},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/atva/LakosK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icps/BroenstedHK05,
  author    = {J. Broensted and
               Klaus Marius Hansen and
               Lars Michael Kristensen},
  title     = {An infrastructure for a traffic warning system},
  booktitle = {Proceedings of the International Conference on Pervasive Services
               2005, {ICPS} '05, Santorini, Greece, July 11-14, 2005},
  pages     = {136--145},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/PERSER.2005.1506402},
  doi       = {10.1109/PERSER.2005.1506402},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/icps/BroenstedHK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KristensenWN05,
  author    = {Lars Michael Kristensen and
               Michael Westergaard and
               Peder Christian N{\o}rgaard},
  editor    = {Judi Romijn and
               Graeme Smith and
               Jaco van de Pol},
  title     = {Model-Based Prototyping of an Interoperability Protocol for Mobile
               Ad-Hoc Networks},
  booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
               Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3771},
  pages     = {266--286},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11589976\_16},
  doi       = {10.1007/11589976\_16},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/KristensenWN05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/KristensenC04,
  author    = {Lars Michael Kristensen and
               S{\o}ren Christensen},
  title     = {Implementing Coloured Petri Nets Using a Functional Programming Language},
  journal   = {High. Order Symb. Comput.},
  volume    = {17},
  number    = {3},
  pages     = {207--243},
  year      = {2004},
  url       = {https://doi.org/10.1023/B:LISP.0000029445.29210.ca},
  doi       = {10.1023/B:LISP.0000029445.29210.ca},
  timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lisp/KristensenC04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BillingtonGKM04,
  author    = {Jonathan Billington and
               Guy Edward Gallasch and
               Lars Michael Kristensen and
               Thomas Mailund},
  title     = {Exploiting equivalence reduction and the sweep-line method for detecting
               terminal states},
  journal   = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
  volume    = {34},
  number    = {1},
  pages     = {23--37},
  year      = {2004},
  url       = {https://doi.org/10.1109/TSMCA.2003.820582},
  doi       = {10.1109/TSMCA.2003.820582},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tsmc/BillingtonGKM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenP04,
  author    = {Lars Michael Kristensen and
               Laure Petrucci},
  editor    = {Jordi Cortadella and
               Wolfgang Reisig},
  title     = {An Approach to Distributed State Space Exploration for Coloured Petri
               Nets},
  booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
               {ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3099},
  pages     = {474--483},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-27793-4\_28},
  doi       = {10.1007/978-3-540-27793-4\_28},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/KristensenP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/KristensenJ04,
  author    = {Lars Michael Kristensen and
               Kurt Jensen},
  editor    = {Hartmut Ehrig and
               Werner Damm and
               J{\"{o}}rg Desel and
               Martin Gro{\ss}e{-}Rhode and
               Wolfgang Reif and
               Eckehard Schnieder and
               Engelbert Westk{\"{a}}mper},
  title     = {Specification and Validation of an Edge Router Discovery Protocol
               for Mobile Ad Hoc Networks},
  booktitle = {Integration of Software Specification Techniques for Applications
               in Engineering, Priority Program SoftSpez of the German Research Foundation
               (DFG), Final Report},
  series    = {Lecture Notes in Computer Science},
  volume    = {3147},
  pages     = {248--269},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-27863-4\_15},
  doi       = {10.1007/978-3-540-27863-4\_15},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/dfg/KristensenJ04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/KristensenJJ03,
  author    = {Lars Michael Kristensen and
               Jens B{\ae}k J{\o}rgensen and
               Kurt Jensen},
  editor    = {J{\"{o}}rg Desel and
               Wolfgang Reisig and
               Grzegorz Rozenberg},
  title     = {Application of Coloured Petri Nets in System Development},
  booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
               tutorial volume originates from the 4th Advanced Course on Petri Nets,
               {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
               In addition to lectures given at {ACPN} 2003, additional chapters
               have been commissioned]},
  series    = {Lecture Notes in Computer Science},
  volume    = {3098},
  pages     = {626--685},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-27755-2\_18},
  doi       = {10.1007/978-3-540-27755-2\_18},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ac/KristensenJJ03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PetrucciBKQ03,
  author    = {Laure Petrucci and
               Jonathan Billington and
               Lars Michael Kristensen and
               Zahid H. Qureshi},
  title     = {Developing a Formal Specification for the Mission System of a Maritime
               Surveillance Aircraft},
  booktitle = {3rd International Conference on Application of Concurrency to System
               Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages     = {92--101},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://doi.org/10.1109/CSD.2003.1207703},
  doi       = {10.1109/CSD.2003.1207703},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/PetrucciBKQ03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KristensenM03,
  author    = {Lars Michael Kristensen and
               Thomas Mailund},
  editor    = {Jin Song Dong and
               Jim Woodcock},
  title     = {Efficient Path Finding with the Sweep-Line Method Using External Storage},
  booktitle = {Formal Methods and Software Engineering, 5th International Conference
               on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
               2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2885},
  pages     = {319--337},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-39893-6\_19},
  doi       = {10.1007/978-3-540-39893-6\_19},
  timestamp = {Sun, 25 Oct 2020 22:57:03 +0100},
  biburl    = {https://dblp.org/rec/conf/icfem/KristensenM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GordonKB02,
  author    = {Steven Gordon and
               Lars Michael Kristensen and
               Jonathan Billington},
  editor    = {Javier Esparza and
               Charles Lakos},
  title     = {Verification of a Revised {WAP} Wireless Transaction Protocol},
  booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
               {ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2360},
  pages     = {182--202},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48068-4\_12},
  doi       = {10.1007/3-540-48068-4\_12},
  timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/GordonKB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/OuyangKB02,
  author    = {Chun Ouyang and
               Lars Michael Kristensen and
               Jonathan Billington},
  editor    = {Javier Esparza and
               Charles Lakos},
  title     = {A Formal Service Specification for the Internet Open Trading Protocol},
  booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
               {ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2360},
  pages     = {352--373},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48068-4\_21},
  doi       = {10.1007/3-540-48068-4\_21},
  timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/OuyangKB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/OuyangKB02,
  author    = {Chun Ouyang and
               Lars Michael Kristensen and
               Jonathan Billington},
  editor    = {Kurt Bauknecht and
               A Min Tjoa and
               Gerald Quirchmayr},
  title     = {A Formal and Executable Specification of the Internet Open Trading
               Protocol},
  booktitle = {E-Commerce and Web Technologies, Third International Conference, EC-Web
               2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2455},
  pages     = {377--387},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45705-4\_39},
  doi       = {10.1007/3-540-45705-4\_39},
  timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecweb/OuyangKB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KristensenM02,
  author    = {Lars Michael Kristensen and
               Thomas Mailund},
  editor    = {Lars{-}Henrik Eriksson and
               Peter A. Lindsay},
  title     = {A Generalised Sweep-Line Method for Safety Properties},
  booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
               of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2391},
  pages     = {549--567},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45614-7\_31},
  doi       = {10.1007/3-540-45614-7\_31},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/KristensenM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KristensenM02,
  author    = {Lars Michael Kristensen and
               Thomas Mailund},
  editor    = {Doron A. Peled and
               Moshe Y. Vardi},
  title     = {A Compositional Sweep-Line State Space Exploration Method},
  booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
               USA, November 11-14, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2529},
  pages     = {327--343},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36135-9\_21},
  doi       = {10.1007/3-540-36135-9\_21},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/KristensenM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LorentsenK01,
  author    = {Louise Lorentsen and
               Lars Michael Kristensen},
  title     = {Exploiting Stabilizers and Parallelism in State Space Generation with
               the Symmetry Method},
  booktitle = {2nd International Conference on Application of Concurrency to System
               Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages     = {211--220},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://doi.org/10.1109/CSD.2001.981778},
  doi       = {10.1109/CSD.2001.981778},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/LorentsenK01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChristensenKM01,
  author    = {S{\o}ren Christensen and
               Lars Michael Kristensen and
               Thomas Mailund},
  editor    = {Jos{\'{e}} Manuel Colom and
               Maciej Koutny},
  title     = {Condensed State Spaces for Timed Petri Nets},
  booktitle = {Application and Theory of Petri Nets 2001, 22nd International Conference,
               {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2075},
  pages     = {101--120},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45740-2\_8},
  doi       = {10.1007/3-540-45740-2\_8},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/ChristensenKM01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/WellsCKM01,
  author    = {Lisa Wells and
               S{\o}ren Christensen and
               Lars Michael Kristensen and
               Kjeld H{\o}yer Mortensen},
  editor    = {Reinhard German and
               Boudewijn R. Haverkort},
  title     = {Simulation Based Performance Analysis of Web Servers},
  booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance
               Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  pages     = {59--68},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://doi.org/10.1109/PNPM.2001.953356},
  doi       = {10.1109/PNPM.2001.953356},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/pnpm/WellsCKM01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristensenKM01,
  author    = {S{\o}ren Christensen and
               Lars Michael Kristensen and
               Thomas Mailund},
  editor    = {Tiziana Margaria and
               Wang Yi},
  title     = {A Sweep-Line Method for State Space Exploration},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               7th International Conference, {TACAS} 2001 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2001
               Genova, Italy, April 2-6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2031},
  pages     = {450--464},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45319-9\_31},
  doi       = {10.1007/3-540-45319-9\_31},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/ChristensenKM01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV00,
  author    = {Lars Michael Kristensen and
               Antti Valmari},
  editor    = {Mogens Nielsen and
               Dan Simpson},
  title     = {Improved Question-Guided Stubborn Set Methods for State Properties},
  booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
               {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  series    = {Lecture Notes in Computer Science},
  volume    = {1825},
  pages     = {282--302},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44988-4\_17},
  doi       = {10.1007/3-540-44988-4\_17},
  timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/KristensenV00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LorentsenK00,
  author    = {Louise Lorentsen and
               Lars Michael Kristensen},
  editor    = {Mogens Nielsen and
               Dan Simpson},
  title     = {Modelling and Analysis of a {DANFOSS} Flowmeter System Using Coloured
               Petri Nets},
  booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
               {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  series    = {Lecture Notes in Computer Science},
  volume    = {1825},
  pages     = {346--366},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44988-4\_20},
  doi       = {10.1007/3-540-44988-4\_20},
  timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/LorentsenK00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/JorgensenK99,
  author    = {Jens B{\ae}k J{\o}rgensen and
               Lars Michael Kristensen},
  title     = {Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm
               Using Colored Petri Nets and Occurrence Graphs with Symmetries},
  journal   = {{IEEE} Trans. Parallel Distributed Syst.},
  volume    = {10},
  number    = {7},
  pages     = {714--732},
  year      = {1999},
  url       = {https://doi.org/10.1109/71.780866},
  doi       = {10.1109/71.780866},
  timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tpds/JorgensenK99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KristensenCJ98,
  author    = {Lars Michael Kristensen and
               S{\o}ren Christensen and
               Kurt Jensen},
  title     = {The Practitioner's Guide to Coloured Petri Nets},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {2},
  number    = {2},
  pages     = {98--132},
  year      = {1998},
  url       = {https://doi.org/10.1007/s100090050021},
  doi       = {10.1007/s100090050021},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/KristensenCJ98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV98,
  author    = {Lars Michael Kristensen and
               Antti Valmari},
  editor    = {J{\"{o}}rg Desel and
               Manuel Silva Su{\'{a}}rez},
  title     = {Finding Stubborn Sets of Coloured Petri Nets Without Unfolding},
  booktitle = {Application and Theory of Petri Nets 1998, 19th International Conference,
               {ICATPN} '98, Lisbon, Portugal, June 22-26, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1420},
  pages     = {104--123},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-69108-1\_7},
  doi       = {10.1007/3-540-69108-1\_7},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/KristensenV98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristensenJK97,
  author    = {S{\o}ren Christensen and
               Jens B{\ae}k J{\o}rgensen and
               Lars Michael Kristensen},
  editor    = {Ed Brinksma},
  title     = {Design/CPN - {A} Computer Tool for Coloured Petri Nets},
  booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
               International Workshop, {TACAS} '97, Enschede, The Netherlands, April
               2-4, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1217},
  pages     = {209--223},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0035390},
  doi       = {10.1007/BFb0035390},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/ChristensenJK97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics