Tematyka książki obejmuje obszerne wprowadzenie do teorii sieci Petriego. Omówiono w niejdziewięć klas sieci, uwzględniając zarówno sieci najczęściej spotykane w literaturze (sieci uogólnione, sieci kolorowane), jak i te nowo proponowane (RTCP-sieci). Dla każdej z omówionych klas przedstawiono przykłady ich zastosowania do modelowania rozmaitych systemów oraz metody analizy ich najważniejszych własności. Czytając tę książkę można nie tylko poznać podstawowe cechy poszczególny...
Poznaj profesjonalny system składu dokumentów technicznych i naukowych_x000D_ _x000D_ LaTeX to system składu - zarówno oprogramowanie, jak i zestaw instrukcji - umożliwiający tworzenie dowolnego typu dokumentów o wysokiej jakości typograficznej. Sprawdza się szczególnie w pracy z treściami technicznymi i naukowymi. Dokumenty złożone w LaTeX-u cechuje determinizm, co oznacza, że niezależnie od systemu operacyjnego, pod którym odbywa się ich k...
