Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming.threads > #994
| Path | csiph.com!usenet.pasdenom.info!gegeweb.org!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail |
|---|---|
| From | "aminer" <aminer@videotron.ca> |
| Newsgroups | comp.programming.threads, comp.programming |
| Subject | About Petri Nets ... |
| Date | Fri, 10 Aug 2012 13:57:43 -0500 |
| Organization | A noiseless patient Spider |
| Lines | 45 |
| Message-ID | <k03i2s$m7$2@dont-email.me> (permalink) |
| Injection-Date | Fri, 10 Aug 2012 17:57:49 +0000 (UTC) |
| Injection-Info | mx04.eternal-september.org; posting-host="c43ca82f9e8d62a602307fe9d2e9b807"; logging-data="711"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/mOR3jc8+6ElHwoYY3kIAg" |
| X-MimeOLE | Produced By Microsoft MimeOLE V6.00.2900.5512 |
| X-RFC2646 | Format=Flowed; Original |
| X-Newsreader | Microsoft Outlook Express 6.00.2900.5512 |
| Cancel-Lock | sha1:lIy3l7tPkdWvsSrhSL2p0ysXVT0= |
| X-Priority | 3 |
| X-MSMail-Priority | Normal |
| Xref | csiph.com comp.programming.threads:994 comp.programming:2052 |
Cross-posted to 2 groups.
Show key headers only | View raw
Hello, The demand for high availability and reliability of computer and software systems has led to a formal verification of such systems. There are two principal approaches to formal verification: model checking and theorem proving. I will talk about Petri Nets and how to model parallel programs and how to exploit verification tools as Tina and Romeo to verify the properties such as liveleness of the system. I will restrict the discussion to so-called "1-conservative" Petri Nets, in which the capacity of each place is assumed to be 1, and each edge will remove exactly one mark from a net if it leads from a place to a transition and add exactly one when it leads from a transition to a place. Please read more here: http://pages.videotron.com/aminer/PetriNet/formal.htm You can download Tina from: http://projects.laas.fr/tina//projects.php and Romeo from: http://romeo.rts-software.org/ Sincerely, Amine Moulay Ramdane.
Back to comp.programming.threads | Previous | Next | Find similar
About Petri Nets ... "aminer" <aminer@videotron.ca> - 2012-08-10 13:57 -0500
csiph-web