1

Topic: How to use Petri nets for programming?

How to use UML-diagrams I conditionally I represent. If there is a command of people it is possible to draw pictures and they can theoretically help with process of communications. It is possible to describe still all code by means of UML if there is a good utility of automation of this process (but it is not present). And here is how to use Petri nets for writing of the code for multi-threaded libraries I do not understand. Whether books of Piterson of J can help something. The theory of Petri nets and modeling of systems. - : the World, 1984. - 264 with. The author: Olten Date: 24.06.03 in a format.djvu V.E.Seti Petri's Cats. - : the Science, 1984. - 160 with.? Whether there are they in electronic form? Yes, both books are on the Internet in djvu and both are in.pdf (pdf from pictures, without a text layer)

2

Re: How to use Petri nets for programming?

> And here is how to use Petri nets for writing of the code for multi-threaded libraries I do not understand. And what for them to use?

3

Re: How to use Petri nets for programming?

LVV> And what for them to use? I want to be able to prove that the implemented algorithm possesses any properties from this list: https://ru.wikipedia.org/wiki/%D0%9D%D0 … 0%B8%D1%8F - obstruction-free - lock-free - wait-free

4

Re: How to use Petri nets for programming?

> I want to be able to prove that the implemented algorithm possesses any properties from this list: > https://ru.wikipedia.org/wiki/%D0%9D%D0 … 0%B8%D1%8F > - obstruction-free > - lock-free > - wait-free Besides - at what here Petri nets? As they like just have been developed for locking parallel processes...

5

Re: How to use Petri nets for programming?

Hello, Ejnstok Fajr, you wrote: > How to use UML-diagrams I conditionally I represent. If there is a command of people it is possible to draw pictures and they can theoretically help with process of communications. It is possible to describe still all code by means of UML if there is a good utility of automation of this process (but it is not present). > and here is how to use Petri nets for writing of the code for multi-threaded libraries I do not understand. You place in flows of library of a Petri net and you program, from time to time checking, whether the code got in a network.

6

Re: How to use Petri nets for programming?

LVV> they like just have been developed for locking parallel processes... And unless atomic-operations by locks are not? Not, not so, unless atomic-operations do not imply some "elementary quality", so blocking of a section (cell) of storage for the period of the performance?

7

Re: How to use Petri nets for programming?

Horse-radish to you a minus to you, instead of a smilie!

8

Re: How to use Petri nets for programming?

Hello, Ejnstok Fajr, you wrote: > a horse-radish to you a minus to you, instead of a smilie! You, probably, simply did not note that the code (cod) is a cod in English!

9

Re: How to use Petri nets for programming?

DR> the code (cod) is a cod in English! At me the lexicon of only 7000 words, certainly did not note - and did not know never