Temat: hierarchical nets - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality
Autorzy:: Sroka, J.
Chrząstowski-Wachtel, P.
Hidders, J.
Data publikacji:: 2015
Słowa kluczowe:: workflow net
Petri net
soundness
hierarchical nets
extended hierarchical nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Realizacja hierarchicznych sieci Petriego z wykorzystaniem sterowników klasy PLC
Realization of Hierarchical Petri net by means of PLC
Autorzy:: Andrzejewski, G.
Mróz, P.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: hierarchiczne sieci Petriego
programowalne sterowniki logiczne PLC
hierarchical Petri nets
programmable logic controller (PLC); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Realizacja hierarchicznych sieci Petriego z wykorzystaniem sterowników klasy PLC
Autorzy:: Andrzejewski, G.
Mróz, P.
Data publikacji:: 2007
Słowa kluczowe:: hierarchiczne sieci Petriego
programowalne sterowniki logiczne PLC
hierarchical Petri nets
programmable logic controller (PLC); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: HTCPNs – based analysis of priority-based Internet requests scheduling
Autorzy:: Samolej, S.
Szuc, T.
Data publikacji:: 2010
Słowa kluczowe:: hierarchiczne czasowe kolorowane sieci Petriego
systemy WWW
analiza wydajności
Hierarchical Timed Coloured Petri Nets
Web–server systems
performance evaluation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Nested Petri Nets: Multi-level and Recursive Systems
Autorzy:: Lomazova, I.A.
Data publikacji:: 2001
Słowa kluczowe:: hierarchical multi-agent systems
nested Petri nets
well-structured transition systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems
Autorzy:: Lomazova, I.A.
Data publikacji:: 2000
Słowa kluczowe:: hierarchical multi-agent systems
nested Petri nets
well-structured transition systems
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Słowa kluczowe:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja