Maria: Modular reachability analyser for algebraic system nets Maria performs simulation, exhaustive reachability analysis and on-the-fly LTL model checking of high-level Petri nets with fairness constraints. The algebra contains powerful built-in data types and operations. Models can be exported to low-level Petri nets and labelled transition systems. Translator programs allow Maria to analyse transition systems as well as distributed computer programs written in procedural or object-oriented languages, or high-level specifications such as SDL. par Maria has been implemented in portable C and C++, and it is freely available under the conditions of the GNU General Public License.

References in zbMATH (referenced in 19 articles , 1 standard article )

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

  1. Xie, Wanling; Zhu, Huibiao; Xu, Qiwen: A process calculus BigrTiMo of mobile systems and its formal semantics (2021)
  2. Xie, Wanling; Xiang, Shuangqing; Zhu, Huibiao: A UTP approach for rTiMo (2018)
  3. Lakos, Charles: Modelling mobile IP with mobile Petri nets (2009)
  4. Klaudel, Hanna; Pommereau, Franck: M-nets: a survey (2008)
  5. Kryvyy, Sergiy; Matvyeyeva, Lyudmila: Algorithm of translation of MSC-specified system into Petri net (2007)
  6. Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane: Modeling multi-valued genetic regulatory networks using high-level Petri nets (2005)
  7. Evangelista, Sami: High level Petri nets analysis with Helena (2005)
  8. Kristensen, Lars Michael; Christensen, Søren: Implementing coloured Petri nets using a functional programming language (2004)
  9. Latvala, Timo; Mäkelä, Marko: LTL model checking for modular Petri nets (2004)
  10. Ojala, Leo; Penttinen, Olli-Matti; Parviainen, Elina: Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods (2004)
  11. Thanh, Cécile Bui; Klaudel, Hanna: Object-oriented modelling with high-level modular Petri nets (2004)
  12. Aalto, Annikka; Husberg, Nisse; Varpaaniemi, Kimmo: Automatic formal model generation and analysis of SDL (2003)
  13. Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M.: On the use of Petri nets for the computation of completion time distribution for short TCP transfers (2003)
  14. Mäkelä, Marko: Model checking safety properties in modular high-level nets (2003)
  15. Thanh, C. Bui; Klaudel, H.; Pommereau, F.: Petri nets with causal time for system verification (2003)
  16. Klaudel, Hanna; Pommereau, Franck: A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems (2002)
  17. Mäkelä, Marko: Maria: Modular reachability analyser for algebraic system nets (2002)
  18. Mäkelä, Marko: Optimising enabling tests and unfoldings of algebraic system nets (2001)
  19. Mäkelä, Marko: Modular reachability analyzer for high-level Petri nets (2000)