Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

An Axiomatic Characterization of Algebras of Processes of Petri Nets

Szczegóły
Abstrakt

Tytuł:: An Axiomatic Characterization of Algebras of Processes of Petri Nets
Autorzy:: Winkowski, J.
Data publikacji:: 2006
Słowa kluczowe:: Petri net
states
process
sequential composition
parallel composition
category
partial monoid
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

The paper is concerned with algebras which can be obtained by endowing sets of processes of Petri nets with a sequential and a parallel composition. The considered algebras are categories with additional structures and special properties. It is shown that all structures which enjoy such properties can be represented as algebras of processes of Petri nets.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

An Axiomatic Characterization of Algebras of Processes of Petri Nets