BibTeX records: Lars Michael Kristensen

download as .bib file

@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. Algebr. Meth. 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 = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/WangKMS19},
  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   = {Journal of Object Technology},
  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 = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jot/RodriguezDRK19},
  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, 09 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/GkolfiDJKSY19},
  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},
  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},
  pages     = {57--72},
  year      = {2019},
  crossref  = {DBLP:conf/apn/2019pnse},
  url       = {http://ceur-ws.org/Vol-2424/paper5.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/0006KR19},
  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   = {{IJCCBS}},
  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 = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijccbs/SomappaKP18},
  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   = {T. Petri Nets and Other Models of Concurrency},
  volume    = {13},
  pages     = {158--180},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_8},
  doi       = {10.1007/978-3-662-58381-4\_8},
  timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/WangKMS18},
  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},
  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},
  pages     = {99--118},
  year      = {2018},
  crossref  = {DBLP:conf/apn/2018pnse},
  url       = {http://ceur-ws.org/Vol-2138/paper5.pdf},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/RodriguezKR18},
  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},
  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},
  pages     = {156--174},
  year      = {2018},
  crossref  = {DBLP:conf/facs2/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/bib/conf/facs2/GkolfiJKY18},
  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},
  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},
  pages     = {663--672},
  year      = {2018},
  crossref  = {DBLP:conf/models/2018w},
  url       = {http://ceur-ws.org/Vol-2245/multi\_paper\_4.pdf},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/RodriguezRDKM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiKL18,
  author    = {Fazle Rabbi and
               Lars Michael Kristensen and
               Yngve Lamo},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/modelsward/2018},
  url       = {https://doi.org/10.5220/0006602601520162},
  doi       = {10.5220/0006602601520162},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/RabbiKL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLK18,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Lars Michael Kristensen},
  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},
  pages     = {284--307},
  year      = {2018},
  crossref  = {DBLP:conf/modelsward/2018s},
  url       = {https://doi.org/10.1007/978-3-030-11030-7\_13},
  doi       = {10.1007/978-3-030-11030-7\_13},
  timestamp = {Wed, 06 Feb 2019 08:41:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/RabbiLK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/WangKS18,
  author    = {Rui Wang and
               Lars Michael Kristensen and
               Volker Stolz},
  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},
  pages     = {97--113},
  year      = {2018},
  crossref  = {DBLP:conf/vecos/2018},
  url       = {https://doi.org/10.1007/978-3-030-00359-3\_7},
  doi       = {10.1007/978-3-030-00359-3\_7},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/WangKS18},
  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/bib/journals/topnoc/2018-13},
  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},
  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},
  pages     = {177--196},
  year      = {2017},
  crossref  = {DBLP:conf/apn/2017pnse},
  url       = {http://ceur-ws.org/Vol-1846/paper11.pdf},
  timestamp = {Tue, 28 May 2019 16:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/WangKMS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenTV17,
  author    = {Lars Michael Kristensen and
               Gabriele Taentzer and
               Steffen Vaupel},
  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},
  pages     = {227--228},
  year      = {2017},
  crossref  = {DBLP:conf/apn/2017pnse},
  url       = {http://ceur-ws.org/Vol-1846/paper15.pdf},
  timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/KristensenTV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiKL17,
  author    = {Fazle Rabbi and
               Lars Michael Kristensen and
               Yngve Lamo},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/modelsward/2017},
  url       = {https://doi.org/10.5220/0006121400410052},
  doi       = {10.5220/0006121400410052},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/RabbiKL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RabbiLK17,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Lars Michael Kristensen},
  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},
  pages     = {198--221},
  year      = {2017},
  crossref  = {DBLP:conf/modelsward/2017s},
  url       = {https://doi.org/10.1007/978-3-319-94764-8\_9},
  doi       = {10.1007/978-3-319-94764-8\_9},
  timestamp = {Mon, 16 Jul 2018 14:26:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/RabbiLK17},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/nik/2017},
  url       = {https://ojs.bibsys.no/index.php/NIK/article/view/394},
  timestamp = {Mon, 07 Oct 2019 17:54:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nik/LilleskareKH17},
  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   = {{IJISMD}},
  volume    = {7},
  number    = {3},
  pages     = {93--114},
  year      = {2016},
  url       = {https://doi.org/10.4018/IJISMD.2016070105},
  doi       = {10.4018/IJISMD.2016070105},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijismd/RabbiLYK16},
  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   = {T. Petri Nets and Other Models of Concurrency},
  volume    = {11},
  pages     = {1--27},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_1},
  doi       = {10.1007/978-3-662-53401-4\_1},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/SimonsenKK16},
  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},
  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},
  pages     = {329--336},
  year      = {2016},
  crossref  = {DBLP:conf/ant/2016},
  url       = {https://doi.org/10.1016/j.procs.2016.04.133},
  doi       = {10.1016/j.procs.2016.04.133},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ant/SomappaOK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV16,
  author    = {Lars Michael Kristensen and
               Vegard Veiset},
  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},
  pages     = {135--154},
  year      = {2016},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/KristensenV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/RabbiLK16,
  author    = {Fazle Rabbi and
               Yngve Lamo and
               Lars Michael Kristensen},
  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},
  pages     = {49--57},
  year      = {2016},
  crossref  = {DBLP:conf/eumas/2016},
  url       = {https://doi.org/10.1007/978-3-319-59294-7\_5},
  doi       = {10.1007/978-3-319-59294-7\_5},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/RabbiLK16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/modelsward/2016},
  url       = {https://doi.org/10.5220/0005686900870098},
  doi       = {10.5220/0005686900870098},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/RabbiLYK16},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/nik/2016},
  url       = {http://ojs.bibsys.no/index.php/NIK/article/view/368},
  timestamp = {Mon, 28 Nov 2016 11:27:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nik/KristensenKS16},
  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 = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2016pnse},
  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/bib/journals/cacm/JensenK15},
  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},
  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},
  pages     = {79--98},
  year      = {2015},
  crossref  = {DBLP:conf/apn/2015pnse},
  url       = {http://ceur-ws.org/Vol-1372/paper5.pdf},
  timestamp = {Tue, 28 May 2019 16:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/SimonsenKK15},
  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},
  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},
  pages     = {56--65},
  year      = {2015},
  crossref  = {DBLP:conf/models/2015amt},
  url       = {http://ceur-ws.org/Vol-1500/paper7.pdf},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/RabbiLYK15},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/nik/2015},
  url       = {http://ojs.bibsys.no/index.php/NIK/article/view/249},
  timestamp = {Mon, 28 Nov 2016 11:27:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nik/RabbiLYK15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/simutools/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/bib/conf/simutools/SomappaKO15},
  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},
  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},
  pages     = {81--96},
  year      = {2015},
  crossref  = {DBLP:conf/vecos/2015},
  url       = {http://ceur-ws.org/Vol-1431/paper9.pdf},
  timestamp = {Tue, 28 May 2019 16:23:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/SomappaPK15},
  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} Communications Surveys and 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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/comsur/SOK14},
  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. Inform.},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/EvangelistaK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kristensen14,
  author    = {Lars Michael Kristensen},
  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},
  pages     = {13--14},
  year      = {2014},
  crossref  = {DBLP:conf/apn/2014pnse},
  url       = {http://ceur-ws.org/Vol-1160/paper1.pdf},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/Kristensen14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/SimonsenK14,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen},
  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},
  pages     = {104--118},
  year      = {2014},
  crossref  = {DBLP:conf/dais/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/bib/conf/dais/SimonsenK14},
  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},
  pages     = {505--510},
  year      = {2014},
  crossref  = {DBLP:conf/fnc/2014},
  url       = {https://doi.org/10.1016/j.procs.2014.07.056},
  doi       = {10.1016/j.procs.2014.07.056},
  timestamp = {Thu, 14 Sep 2017 10:06:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fnc/SomappaOK14},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/nik/2014},
  url       = {http://ojs.bibsys.no/index.php/NIK/article/view/25},
  timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nik/Kristensen14},
  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. Inform.},
  volume    = {122},
  number    = {1-2},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-780},
  doi       = {10.3233/FI-2013-780},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/KristensenPP13},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/EvangelistaK13},
  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 and Other Models of Concurrency},
  volume    = {7},
  pages     = {56--115},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_3},
  doi       = {10.1007/978-3-642-38143-0\_3},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/KristensenS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VeisetK13,
  author    = {Vegard Veiset and
               Lars Michael Kristensen},
  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},
  pages     = {259--260},
  year      = {2013},
  crossref  = {DBLP:conf/apn/2013pnse},
  url       = {http://ceur-ws.org/Vol-989/paper25.pdf},
  timestamp = {Tue, 28 May 2019 16:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/VeisetK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaKP13,
  author    = {Sami Evangelista and
               Lars Michael Kristensen and
               Laure Petrucci},
  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},
  pages     = {208--223},
  year      = {2013},
  crossref  = {DBLP:conf/atva/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/bib/conf/atva/EvangelistaKP13},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/iswpc/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/bib/conf/iswpc/SomappaKO13},
  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},
  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},
  pages     = {227--242},
  year      = {2013},
  crossref  = {DBLP:conf/sbmf/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/bib/conf/sbmf/SimonsenKK13},
  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 = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/JensenKM12},
  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 and Other Models of Concurrency},
  volume    = {5},
  pages     = {265--291},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_12},
  doi       = {10.1007/978-3-642-29072-5\_12},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/WestergaardK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EvangelistaK12,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  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},
  pages     = {248--267},
  year      = {2012},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/EvangelistaK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/SimonsenK12,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen},
  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},
  pages     = {106--125},
  year      = {2012},
  crossref  = {DBLP:conf/mompes/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/bib/conf/mompes/SimonsenK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EvangelistaK12,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  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},
  pages     = {43--61},
  year      = {2012},
  crossref  = {DBLP:conf/spin/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/bib/conf/spin/EvangelistaK12},
  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/bib/journals/topnoc/2012-6},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/TaktakK11,
  author    = {Sami Taktak and
               Lars Michael Kristensen},
  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},
  pages     = {127--137},
  year      = {2011},
  crossref  = {DBLP:conf/gpc/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/bib/conf/gpc/TaktakK11},
  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/bib/conf/apn/2011},
  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 and Other Models of Concurrency},
  volume    = {4},
  pages     = {21--41},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_2},
  doi       = {10.1007/978-3-642-18222-8\_2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/EvangelistaK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kristensen10,
  author    = {Lars Michael Kristensen},
  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},
  pages     = {39--42},
  year      = {2010},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/Kristensen10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KristensenW10,
  author    = {Lars Michael Kristensen and
               Michael Westergaard},
  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},
  pages     = {215--230},
  year      = {2010},
  crossref  = {DBLP:conf/fmics/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/bib/conf/fmics/KristensenW10},
  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/bib/books/daglib/0023756},
  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. Inform.},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/KristensenF09},
  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 and Other Models of Concurrency},
  volume    = {3},
  pages     = {189--215},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_8},
  doi       = {10.1007/978-3-642-04856-2\_8},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/EvangelistaWK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardEK09,
  author    = {Michael Westergaard and
               Sami Evangelista and
               Lars Michael Kristensen},
  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},
  pages     = {303--312},
  year      = {2009},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/WestergaardEK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardK09,
  author    = {Michael Westergaard and
               Lars Michael Kristensen},
  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},
  pages     = {313--322},
  year      = {2009},
  crossref  = {DBLP:conf/apn/2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5\_19},
  doi       = {10.1007/978-3-642-02424-5\_19},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/WestergaardK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/EvangelistaK09,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  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},
  pages     = {70--85},
  year      = {2009},
  crossref  = {DBLP:conf/fmics/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/bib/conf/fmics/EvangelistaK09},
  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   = {{STTT}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/KristensenMZMG08},
  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 and Other Models of Concurrency},
  volume    = {1},
  pages     = {19--34},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_2},
  doi       = {10.1007/978-3-540-89287-8\_2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/KristensenJ08},
  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},
  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},
  pages     = {152--170},
  year      = {2008},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/EspensenKK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FleischerK08,
  author    = {Paul Fleischer and
               Lars Michael Kristensen},
  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},
  pages     = {171--190},
  year      = {2008},
  crossref  = {DBLP:conf/apn/2008},
  url       = {https://doi.org/10.1007/978-3-540-68746-7\_14},
  doi       = {10.1007/978-3-540-68746-7\_14},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/FleischerK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/FleischerK08,
  author    = {Paul Fleischer and
               Lars Michael Kristensen},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/simutools/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/bib/conf/simutools/FleischerK08},
  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   = {{STTT}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/JensenKW07},
  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   = {{STTT}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/MitchellKZ07},
  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   = {{STTT}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/GallaschBVK07},
  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},
  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},
  pages     = {445--464},
  year      = {2007},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/WestergaardKBA07},
  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 in System Design},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/KristensenSV06},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/anss/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/bib/conf/anss/BronstedK06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LakosK05,
  author    = {Charles A. Lakos and
               Lars Michael Kristensen},
  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},
  pages     = {187--201},
  year      = {2005},
  crossref  = {DBLP:conf/atva/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/bib/conf/atva/LakosK05},
  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},
  year      = {2005},
  crossref  = {DBLP:conf/icps/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/bib/conf/icps/BroenstedHK05},
  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},
  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},
  pages     = {266--286},
  year      = {2005},
  crossref  = {DBLP:conf/ifm/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/bib/conf/ifm/KristensenWN05},
  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   = {Higher-Order and Symbolic Computation},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/KristensenC04},
  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. Systems, Man, and Cybernetics, 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 = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tsmc/BillingtonGKM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenP04,
  author    = {Lars Michael Kristensen and
               Laure Petrucci},
  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},
  pages     = {474--483},
  year      = {2004},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/KristensenP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/KristensenJ04,
  author    = {Lars Michael Kristensen and
               Kurt Jensen},
  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},
  pages     = {248--269},
  year      = {2004},
  crossref  = {DBLP:conf/dfg/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/bib/conf/dfg/KristensenJ04},
  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},
  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]},
  pages     = {626--685},
  year      = {2003},
  crossref  = {DBLP:conf/ac/2003pn},
  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/bib/conf/ac/KristensenJJ03},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/acsd/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/bib/conf/acsd/PetrucciBKQ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KristensenM03,
  author    = {Lars Michael Kristensen and
               Thomas Mailund},
  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},
  pages     = {319--337},
  year      = {2003},
  crossref  = {DBLP:conf/icfem/2003},
  url       = {https://doi.org/10.1007/978-3-540-39893-6\_19},
  doi       = {10.1007/978-3-540-39893-6\_19},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/KristensenM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GordonKB02,
  author    = {Steven Gordon and
               Lars Michael Kristensen and
               Jonathan Billington},
  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},
  pages     = {182--202},
  year      = {2002},
  crossref  = {DBLP:conf/apn/2002},
  url       = {https://doi.org/10.1007/3-540-48068-4\_12},
  doi       = {10.1007/3-540-48068-4\_12},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/GordonKB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/OuyangKB02,
  author    = {Chun Ouyang and
               Lars Michael Kristensen and
               Jonathan Billington},
  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},
  pages     = {352--373},
  year      = {2002},
  crossref  = {DBLP:conf/apn/2002},
  url       = {https://doi.org/10.1007/3-540-48068-4\_21},
  doi       = {10.1007/3-540-48068-4\_21},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/OuyangKB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/OuyangKB02,
  author    = {Chun Ouyang and
               Lars Michael Kristensen and
               Jonathan Billington},
  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},
  pages     = {377--387},
  year      = {2002},
  crossref  = {DBLP:conf/ecweb/2002},
  url       = {https://doi.org/10.1007/3-540-45705-4\_39},
  doi       = {10.1007/3-540-45705-4\_39},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecweb/OuyangKB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KristensenM02,
  author    = {Lars Michael Kristensen and
               Thomas Mailund},
  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},
  pages     = {549--567},
  year      = {2002},
  crossref  = {DBLP:conf/fm/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/bib/conf/fm/KristensenM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KristensenM02,
  author    = {Lars Michael Kristensen and
               Thomas Mailund},
  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},
  pages     = {327--343},
  year      = {2002},
  crossref  = {DBLP:conf/forte/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/bib/conf/forte/KristensenM02},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/acsd/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/bib/conf/acsd/LorentsenK01},
  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},
  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},
  pages     = {101--120},
  year      = {2001},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/ChristensenKM01},
  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},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/pnpm/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/bib/conf/pnpm/WellsCKM01},
  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},
  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},
  pages     = {450--464},
  year      = {2001},
  crossref  = {DBLP:conf/tacas/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/bib/conf/tacas/ChristensenKM01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV00,
  author    = {Lars Michael Kristensen and
               Antti Valmari},
  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},
  pages     = {282--302},
  year      = {2000},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/KristensenV00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LorentsenK00,
  author    = {Louise Lorentsen and
               Lars Michael Kristensen},
  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},
  pages     = {346--366},
  year      = {2000},
  crossref  = {DBLP:conf/apn/2000},
  url       = {https://doi.org/10.1007/3-540-44988-4\_20},
  doi       = {10.1007/3-540-44988-4\_20},
  timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/LorentsenK00},
  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 Distrib. Syst.},
  volume    = {10},
  number    = {7},
  pages     = {714--732},
  year      = {1999},
  url       = {https://doi.org/10.1109/71.780866},
  doi       = {10.1109/71.780866},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tpds/JorgensenK99},
  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   = {{STTT}},
  volume    = {2},
  number    = {2},
  pages     = {98--132},
  year      = {1998},
  url       = {https://doi.org/10.1007/s100090050021},
  doi       = {10.1007/s100090050021},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/KristensenCJ98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KristensenV98,
  author    = {Lars Michael Kristensen and
               Antti Valmari},
  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},
  pages     = {104--123},
  year      = {1998},
  crossref  = {DBLP:conf/apn/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/bib/conf/apn/KristensenV98},
  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},
  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},
  pages     = {209--223},
  year      = {1997},
  crossref  = {DBLP:conf/tacas/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/bib/conf/tacas/ChristensenJK97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2019pnse,
  editor    = {Daniel Moldt and
               Ekkart Kindler and
               Manuel Wimmer},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2424},
  urn       = {urn:nbn:de:0074-2424-7},
  timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2019pnse},
  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 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2018-13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2018pnse,
  editor    = {Daniel Moldt and
               Ekkart Kindler and
               Heiko R{\"{o}}lke},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2138},
  urn       = {urn:nbn:de:0074-2138-5},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2018pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2018,
  editor    = {Kyungmin Bae and
               Peter Csaba {\"{O}}lveczky},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02146-7},
  doi       = {10.1007/978-3-030-02146-7},
  isbn      = {978-3-030-02145-0},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2018w,
  editor    = {Regina Hebig and
               Thorsten Berger},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2245},
  urn       = {urn:nbn:de:0074-2245-1},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2018w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2018,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic},
  title     = {Proceedings of the 6th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
               January 22-24, 2018},
  publisher = {SciTePress},
  year      = {2018},
  isbn      = {978-989-758-283-7},
  timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2018s,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic},
  title     = {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},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-11030-7},
  doi       = {10.1007/978-3-030-11030-7},
  isbn      = {978-3-030-11029-1},
  timestamp = {Wed, 06 Feb 2019 08:41:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2018s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2018,
  editor    = {Mohamed Faouzi Atig and
               Saddek Bensalem and
               Simon Bliudze and
               Bruno Monsuez},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00359-3},
  doi       = {10.1007/978-3-030-00359-3},
  isbn      = {978-3-030-00358-6},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2017pnse,
  editor    = {Daniel Moldt and
               Lawrence Cabac and
               Heiko R{\"{o}}lke},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1846},
  urn       = {urn:nbn:de:0074-1846-1},
  timestamp = {Tue, 28 May 2019 16:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2017pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2017,
  editor    = {Lu{\'{\i}}s Ferreira Pires and
               Slimane Hammoudi and
               Bran Selic},
  title     = {Proceedings of the 5th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
               19-21, 2017},
  publisher = {SciTePress},
  year      = {2017},
  isbn      = {978-989-758-210-3},
  timestamp = {Thu, 18 May 2017 13:08:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2017s,
  editor    = {Lu{\'{\i}}s Ferreira Pires and
               Slimane Hammoudi and
               Bran Selic},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94764-8},
  doi       = {10.1007/978-3-319-94764-8},
  isbn      = {978-3-319-94763-1},
  timestamp = {Mon, 16 Jul 2018 14:26:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2017s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nik/2017,
  title     = {30th Norsk Informatikkonferanse, {NIK} 2017, Westerdals Oslo ACT,
               Oslo, Norway, November 27-29, 2017},
  publisher = {Bibsys Open Journal Systems, Norway},
  year      = {2017},
  url       = {http://ojs.bibsys.no/index.php/NIK/issue/view/39},
  timestamp = {Mon, 07 Oct 2019 17:54:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nik/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2016-11,
  editor    = {Maciej Koutny and
               J{\"{o}}rg Desel and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9930},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53401-4},
  doi       = {10.1007/978-3-662-53401-4},
  isbn      = {978-3-662-53400-7},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2016-11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ant/2016,
  editor    = {Elhadi M. Shakshuki},
  title     = {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},
  publisher = {Elsevier},
  year      = {2016},
  url       = {http://www.sciencedirect.com/science/journal/18770509/83},
  timestamp = {Sat, 14 May 2016 19:11:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ant/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2016,
  editor    = {Fabrice Kordon and
               Daniel Moldt},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39086-4},
  doi       = {10.1007/978-3-319-39086-4},
  isbn      = {978-3-319-39085-7},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eumas/2016,
  editor    = {Natalia Criado Pacheco and
               Carlos Carrascosa and
               Nardine Osman and
               Vicente Juli{\'{a}}n Inglada},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59294-7},
  doi       = {10.1007/978-3-319-59294-7},
  isbn      = {978-3-319-59293-0},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2016,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic and
               Philippe Desfray},
  title     = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
               on Model-Driven Engineering and Software Development, Rome, Italy,
               19-21 February, 2016},
  publisher = {SciTePress},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7947074/proceeding},
  isbn      = {978-989-758-168-7},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nik/2016,
  title     = {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/issue/view/35},
  timestamp = {Mon, 28 Nov 2016 11:27:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nik/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2015pnse,
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke and
               Harald St{\"{o}}rrle},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1372},
  urn       = {urn:nbn:de:0074-1372-0},
  timestamp = {Tue, 28 May 2019 16:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2015pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015amt,
  editor    = {J{\"{u}}rgen Dingel and
               Sahar Kokaly and
               Levi Lucio and
               Rick Salay and
               Hans Vangheluwe},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1500},
  urn       = {urn:nbn:de:0074-1500-6},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2015amt},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nik/2015,
  title     = {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/issue/view/29},
  timestamp = {Mon, 28 Nov 2016 11:27:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nik/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/simutools/2015,
  editor    = {Georgios Theodoropoulos},
  title     = {Proceedings of the 8th International Conference on Simulation Tools
               and Techniques, Athens, Greece, August 24-26, 2015},
  publisher = {{ICST/ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2832178},
  isbn      = {978-1-63190-079-2},
  timestamp = {Tue, 01 Oct 2019 07:26:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/simutools/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2015,
  editor    = {Belgacem Ben Hedia and
               Florin {Popentiu Vladicescu}},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1431},
  urn       = {urn:nbn:de:0074-1431-6},
  timestamp = {Tue, 28 May 2019 16:23:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vecos/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014pnse,
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1160},
  urn       = {urn:nbn:de:0074-1160-3},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dais/2014,
  editor    = {Kostas Magoutis and
               Peter R. Pietzuch},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43352-2},
  doi       = {10.1007/978-3-662-43352-2},
  isbn      = {978-3-662-43351-5},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fnc/2014,
  title     = {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},
  publisher = {Elsevier},
  year      = {2014},
  url       = {http://www.sciencedirect.com/science/journal/18770509/34/},
  timestamp = {Thu, 14 Sep 2017 10:06:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fnc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nik/2014,
  title     = {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/issue/view/3},
  timestamp = {Tue, 05 May 2015 12:40:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nik/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-7,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Gianfranco Balbo and
               Maciej Koutny and
               Karsten Wolf},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7480},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38143-0},
  doi       = {10.1007/978-3-642-38143-0},
  isbn      = {978-3-642-38142-3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2013-7},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2013pnse,
  editor    = {Daniel Moldt},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-989},
  urn       = {urn:nbn:de:0074-989-9},
  timestamp = {Tue, 28 May 2019 16:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2013pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2013,
  editor    = {Dang Van Hung and
               Mizuhito Ogawa},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8},
  doi       = {10.1007/978-3-319-02444-8},
  isbn      = {978-3-319-02443-1},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iswpc/2013,
  title     = {International Symposium on Wireless and pervasive Computing, {ISWPC}
               2013, Taipei, Taiwan, November 20-22, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6695813/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iswpc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2013,
  editor    = {Juliano Iyoda and
               Leonardo Mendon{\c{c}}a de Moura},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41071-0},
  doi       = {10.1007/978-3-642-41071-0},
  isbn      = {978-3-642-41070-3},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-5,
  editor    = {Kurt Jensen and
               Susanna Donatelli and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {V}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6900},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29072-5},
  doi       = {10.1007/978-3-642-29072-5},
  isbn      = {978-3-642-29071-8},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2012-5},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2012,
  editor    = {Serge Haddad and
               Lucia Pomello},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31131-4},
  doi       = {10.1007/978-3-642-31131-4},
  isbn      = {978-3-642-31130-7},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mompes/2012,
  editor    = {Ricardo Jorge Machado and
               Rita Suzana Pitangueira Maciel and
               Julia Rubin and
               Goetz Botterweck},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38209-3},
  doi       = {10.1007/978-3-642-38209-3},
  isbn      = {978-3-642-38208-6},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mompes/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2012,
  editor    = {Alastair F. Donaldson and
               David Parker},
  title     = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
               Oxford, UK, July 23-24, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7385},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31759-0},
  doi       = {10.1007/978-3-642-31759-0},
  isbn      = {978-3-642-31758-3},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpc/2011,
  editor    = {Jukka Riekki and
               Mika Ylianttila and
               Minyi Guo},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20754-9},
  doi       = {10.1007/978-3-642-20754-9},
  isbn      = {978-3-642-20753-2},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2010-4,
  editor    = {Kurt Jensen and
               Susanna Donatelli and
               Maciej Koutny},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {IV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6550},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-18222-8},
  doi       = {10.1007/978-3-642-18222-8},
  isbn      = {978-3-642-18221-1},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2010-4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2010,
  editor    = {Johan Lilius and
               Wojciech Penczek},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7},
  doi       = {10.1007/978-3-642-13675-7},
  isbn      = {978-3-642-13674-0},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2010,
  editor    = {Stefan Kowalewski and
               Marco Roveri},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15898-8},
  doi       = {10.1007/978-3-642-15898-8},
  isbn      = {978-3-642-15897-1},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-3,
  editor    = {Kurt Jensen and
               Jonathan Billington and
               Maciej Koutny},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5800},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04856-2},
  doi       = {10.1007/978-3-642-04856-2},
  isbn      = {978-3-642-04854-8},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2009-3},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2009,
  editor    = {Giuliana Franceschinis and
               Karsten Wolf},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5},
  doi       = {10.1007/978-3-642-02424-5},
  isbn      = {978-3-642-02423-8},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2009,
  editor    = {Mar{\'{\i}}a Alpuente and
               Byron Cook and
               Christophe Joubert},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7},
  doi       = {10.1007/978-3-642-04570-7},
  isbn      = {978-3-642-04569-1},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2008-1,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Jonathan Billington},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5100},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89287-8},
  doi       = {10.1007/978-3-540-89287-8},
  isbn      = {978-3-540-89286-1},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2008-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2008,
  editor    = {Kees M. van Hee and
               R{\"{u}}diger Valk},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68746-7},
  doi       = {10.1007/978-3-540-68746-7},
  isbn      = {978-3-540-68745-0},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/simutools/2008,
  editor    = {S{\'{a}}ndor Moln{\'{a}}r and
               John R. Heath and
               Olivier Dalle and
               Gabriel A. Wainer},
  title     = {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},
  publisher = {{ICST/ACM}},
  year      = {2008},
  url       = {http://eudl.eu/proceedings/SIMUTOOLS/2008},
  isbn      = {978-963-9799-20-2},
  timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/simutools/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2007,
  editor    = {Jetty Kleijn and
               Alexandre Yakovlev},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73094-1},
  doi       = {10.1007/978-3-540-73094-1},
  isbn      = {978-3-540-73093-4},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/anss/2006,
  title     = {Proceedings 39th Annual Simulation Symposium {(ANSS-39} 2006), 2-6
               April 2006, Huntsville, Alabama, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10736/proceeding},
  isbn      = {0-7695-2559-8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/anss/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2005,
  editor    = {Doron A. Peled and
               Yih{-}Kuen Tsay},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562948},
  doi       = {10.1007/11562948},
  isbn      = {3-540-29209-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icps/2005,
  title     = {Proceedings of the International Conference on Pervasive Services
               2005, {ICPS} '05, Santorini, Greece, July 11-14, 2005},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10064/proceeding},
  isbn      = {0-7803-9032-6},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icps/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2005,
  editor    = {Judi Romijn and
               Graeme Smith and
               Jaco van de Pol},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11589976},
  doi       = {10.1007/11589976},
  isbn      = {3-540-30492-4},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2004,
  editor    = {Jordi Cortadella and
               Wolfgang Reisig},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98283},
  doi       = {10.1007/b98283},
  isbn      = {3-540-22236-7},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dfg/2004,
  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     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100778},
  doi       = {10.1007/b100778},
  isbn      = {3-540-23135-8},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dfg/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2003pn,
  editor    = {J{\"{o}}rg Desel and
               Wolfgang Reisig and
               Grzegorz Rozenberg},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98282},
  doi       = {10.1007/b98282},
  isbn      = {3-540-22261-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ac/2003pn},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2003,
  title     = {3rd International Conference on Application of Concurrency to System
               Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8583/proceeding},
  isbn      = {0-7695-1887-7},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2003,
  editor    = {Jin Song Dong and
               Jim Woodcock},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94115},
  doi       = {10.1007/b94115},
  isbn      = {3-540-20461-X},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2002,
  editor    = {Javier Esparza and
               Charles Lakos},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48068-4},
  doi       = {10.1007/3-540-48068-4},
  isbn      = {3-540-43787-8},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecweb/2002,
  editor    = {Kurt Bauknecht and
               A Min Tjoa and
               Gerald Quirchmayr},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45705-4},
  doi       = {10.1007/3-540-45705-4},
  isbn      = {3-540-44137-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecweb/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2002,
  editor    = {Lars{-}Henrik Eriksson and
               Peter A. Lindsay},
  title     = {{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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45614-7},
  doi       = {10.1007/3-540-45614-7},
  isbn      = {3-540-43928-5},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2002,
  editor    = {Doron A. Peled and
               Moshe Y. Vardi},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36135-9},
  doi       = {10.1007/3-540-36135-9},
  isbn      = {3-540-00141-7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2001,
  title     = {2nd International Conference on Application of Concurrency to System
               Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7716/proceeding},
  isbn      = {0-7695-1071-X},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2001,
  editor    = {Jos{\'{e}} Manuel Colom and
               Maciej Koutny},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45740-2},
  doi       = {10.1007/3-540-45740-2},
  isbn      = {3-540-42252-8},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pnpm/2001,
  editor    = {Reinhard German and
               Boudewijn R. Haverkort},
  title     = {Proceedings of the 9th International Workshop on Petri Nets and Performance
               Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7565/proceeding},
  isbn      = {0-7695-1248-8},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pnpm/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2001,
  editor    = {Tiziana Margaria and
               Wang Yi},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45319-9},
  doi       = {10.1007/3-540-45319-9},
  isbn      = {3-540-41865-2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2000,
  editor    = {Mogens Nielsen and
               Dan Simpson},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44988-4},
  doi       = {10.1007/3-540-44988-4},
  isbn      = {3-540-67693-7},
  timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1998,
  editor    = {J{\"{o}}rg Desel and
               Manuel Silva Su{\'{a}}rez},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-69108-1},
  doi       = {10.1007/3-540-69108-1},
  isbn      = {3-540-64677-9},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/1997,
  editor    = {Ed Brinksma},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0035375},
  doi       = {10.1007/BFb0035375},
  isbn      = {3-540-62790-1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics