D7net Mini Sh3LL v1
| Current File : //usr/share/systemd/../doc/info/../libasan5/../tar/../libxcb-shm0/../maria-doc/html/maria.html |
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
<html>
<!-- Created on March 22, 2020 by texi2html 1.82
texi2html was written by:
Lionel Cons <Lionel.Cons@cern.ch> (original author)
Karl Berry <karl@freefriends.org>
Olaf Bachmann <obachman@mathematik.uni-kl.de>
and many others.
Maintained by: Many creative people.
Send bugs and suggestions to <texi2html-bug@nongnu.org>
-->
<head>
<title>Maria: Top</title>
<meta name="description" content="Maria: Top">
<meta name="keywords" content="Maria: Top">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html 1.82">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
pre.display {font-family: serif}
pre.format {font-family: serif}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: serif; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: serif; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.roman {font-family:serif; font-weight:normal;}
span.sansserif {font-family:sans-serif; font-weight:normal;}
ul.toc {list-style: none}
-->
</style>
</head>
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="Top"></a>
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="maria_10.html#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<h1 class="settitle">Maria</h1>
<table class="menu" border="0" cellspacing="0">
<tr><td align="left" valign="top"><a href="maria_1.html#Introduction">Introduction</a></td><td> </td><td align="left" valign="top">
</td></tr>
<tr><td align="left" valign="top"><a href="maria_2.html#Modeling">1. The Net Description Language</a></td><td> </td><td align="left" valign="top"> The net description language of Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_3.html#Analysis">2. Reachability Analysis with Maria</a></td><td> </td><td align="left" valign="top"> Performing reachability analysis with Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_4.html#Algorithms">3. Algorithms used in Maria</a></td><td> </td><td align="left" valign="top"></td></tr>
<tr><td align="left" valign="top"><a href="maria_5.html#Grammar">A. The Grammar</a></td><td> </td><td align="left" valign="top"> Grammar of the Maria languages
</td></tr>
<tr><td align="left" valign="top"><a href="maria_6.html#Graph-Files">B. The Graph Files</a></td><td> </td><td align="left" valign="top"> Format of the reachability graph files
</td></tr>
<tr><td align="left" valign="top"><a href="maria_7.html#Compiling">C. Compiling Maria</a></td><td> </td><td align="left" valign="top"></td></tr>
<tr><td align="left" valign="top"><a href="maria_7.html#Bugs">C.5 Reporting Bugs</a></td><td> </td><td align="left" valign="top"></td></tr>
<tr><td align="left" valign="top"><a href="maria_8.html#Examples">D. Examples</a></td><td> </td><td align="left" valign="top"> Sample Petri Nets for Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_9.html#Copying">GNU GENERAL PUBLIC LICENSE</a></td><td> </td><td align="left" valign="top"> The GNU General Public License says
how you can copy and share Maria
</td></tr>
<tr><td align="left" valign="top"><a href="maria_10.html#Index">Index</a></td><td> </td><td align="left" valign="top"> Cross-references to the text.
</td></tr>
</table>
<hr size="1">
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="maria_10.html#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<p>
<font size="-1">
This document was generated by <em>root</em> on <em>March 22, 2020</em> using <a href="http://www.nongnu.org/texi2html/"><em>texi2html 1.82</em></a>.
</font>
<br>
</p>
</body>
</html>
AnonSec - 2021 | Recode By D7net