LoLa: A low level analyser. With LoLA, we put recently developed state space oriented algorithms to other tool developers disposal. Providing a simple interface was a major design goal such that it is as easy as possible to integrate LoLA into tools of different application domains. LoLA supports place/transition nets. Implemented verification techniques cover standard properties (liveness, reversibility, boundedness, reachability, dead transitions, deadlocks, home states) as well as satisfiability of state predicates and CTL model checking. For satisfiability, both exhaustive search and heuristically goal oriented system execution are supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability graphs

References in zbMATH (referenced in 26 articles )

Showing results 1 to 20 of 26.
Sorted by year (citations)

1 2 next

  1. Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron: Some complexity results for stateful network verification (2019)
  2. Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří: Stubborn versus structural reductions for Petri nets (2019)
  3. Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger: Model checking data flows in concurrent network updates (2019)
  4. Garavel, Hubert: Nested-unit Petri nets (2019)
  5. Hlomozda, D. K.; Glybovets, M. M.; Maksymets, O. M.: Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (2018)
  6. Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří: PTrie: data structure for compressing and storing sets via prefix sharing (2017)
  7. Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn: Two decades of Maude (2015)
  8. Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian: Towards verification of computation orchestration (2014)
  9. Evangelista, Sami; Kristensen, Lars Michael: Hybrid on-the-fly LTL model checking with the sweep-line method (2012)
  10. Jensen, Kurt; Kristensen, Lars M.; Mailund, Thomas: The sweep-line state space exploration method (2012)
  11. Lapadula, A.; Pugliese, R.; Tiezzi, F.: A WSDL-based type system for asynchronous WS-BPEL processes (2011)
  12. Kristensen, L. M.; Schmidt, K.; Valmari, A.: Question-guided stubborn set methods for state properties (2006)
  13. Schmidt, Karsten: Automated generation of a progress measure for the sweep-line method (2006) ioport
  14. Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane: Modeling multi-valued genetic regulatory networks using high-level Petri nets (2005)
  15. Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian: Kommunizierende Workflow-services modellieren und analysieren (2005) ioport
  16. Junttila, Tommi A.: New canonical representative marking algorithms for place/transition-nets (2004)
  17. Kristensen, Lars Michael; Christensen, Søren: Implementing coloured Petri nets using a functional programming language (2004)
  18. Schmidt, Karsten: Automated generation of a progress measure for the sweep-line method (2004)
  19. Dehnert, Juliane: Four steps towards sound business process models (2003)
  20. Schmidt, Karsten: Using Petri net invariants in state space construction (2003)

1 2 next