Wyniki wyszukiwania - BazTech

Ograniczanie wyników

4 Fundamenta Informaticae

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: place/transition Petri net

Sortuj według:

Ogranicz wyniki do:

Levels of Persistency in Place/Transition Nets

Barylska K., Ochmański E.

Fundamenta Informaticae

2009

Vol. 93, nr 1-3

33-43

The notion of persistency, based on the rule "no action can disable another one" is one of the classical notions in concurrency theory. We propose two ways of generalization of this notion: the first is "no action can kill another one" and the second "no action can kill another enabled one". We study the three notions in the context of place/transition nets, the fundamental class of Petri nets. We prove that the three classes of persistency form an increased strict hierarchy. The final section of the paper deals with decision problems about persistency. We show that the set reachability problem is decidable for rational convex sets, and using this result we prove that all kinds of persistency are decidable in the class place/transition nets.

Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy

Coja-Oghlan A., Stehr M-O.

Fundamenta Informaticae

2003

Vol. 54, nr 2,3

151-164

Revisiting the view of ``Petri nets as monoids'' suggested by Meseguer and Montanari, we give a direct proof of the well-known result that the class of Best/Devillers processes, which represents the behavior of Petri nets under the collective token semantics, has a sound and complete axiomatization in terms of symmetric monoidal categories. Using membership equational logic for the axiomatization, we prove the result by an explicit construction of a natural isomorphism between suitable functors. Our interest in the collective token semantics is motivated by earlier work on the use of rewriting logic as a uniform framework for different Petri net classes, especially including high-level Petri nets, where individuality of tokens can be already expressed at the system level.

Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis

Czaja L.

Fundamenta Informaticae

2002

Vol. 51, nr 1,2

43-58

Four semantic domains for Place/Transition Petri nets and their relationships are considered. They are monoids of respectively: firing sequences, processes, traces and dependence graphs. For each of them the analysis and synthesis problem is stated and solved. The monoid of processes is defined in a non-standard way. Nets under consideration involve weights of arrows and capacities (finite or infinite) of places. However, the analysis and synthesis tasks require nets to be pure, i.e. each of their transition must have the pre-set and post-set disjoint.

w-Process Languages for Place/Transition Nets

Czaja L., Kudlek M.

Fundamenta Informaticae

2001

Vol. 47, nr 3,4

217-229

The definition of process admitted here follows the line developed for elementary (1-safe) Petri nets and published in [Cza 99], [Cza 2000a], [Cza-Kud 2000]. It pertains not to any particular net, thus allows for collecting processes into arbitrary sets, i.e. process languages, and for asking questions like: for a given process language decide if there exists a Place/Transition net and if yes, contruct it (synthesis). The collection of all process languages is a semantic domain for Place/Transition nets. w-process languages contain both finite and infinite processes. The main problems pursued are analysis, synthesis and iteration lemmata for w-process languages. Surprisingly, the problems enjoy much simpler solutions for processes generated by P/T nets than generated by elementary nets.