Please check our Instructions to Authors and send your manuscripts to nifs.journal@gmail.com. Next issue: September/October 2024.
Deadline for submissions: 16 November 2024.
Ifigenia:Lecture courses/Generalized nets: Difference between revisions
Jump to navigation
Jump to search
Тази страница е достъпна на български.
New page: == Conspect == # Definitions and basic properties of Petri nets and generalized nets (Дефиниции и основни свойства на мрежата на Петри и ... |
→Examination: updated |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
== | {{in-bulgarian|Ifigenia:Lecture courses/Generalized nets/BG}} | ||
# Definitions and basic properties of [[Petri net]]s and [[generalized net]]s ( | == Curriculum == | ||
# [[Reduced generalized nets]] | # Definitions and basic properties of [[Petri net]]s and [[generalized net]]s ([[Transition|Formal definition of a transition]]. [[Generalized_nets#Formal_description|Formal definition of a GN]]. [[Algorithm for transition functioning]]. [[Algorithm for generalized net functioning]]. [[Index matrix]]) | ||
# Extensions of GN | # [[Reduced generalized nets]] | ||
# Algebraic aspect of the GN theory | # [[Extensions of generalized nets|Extensions of GN]] | ||
# Topological aspect of GN theory | # Algebraic aspect of the GN theory ([[Operations over generalized nets|Operations]] and [[Relations over generalized nets|relations]]) | ||
# Logical aspect of GN theory ( | # [[Topological aspect of generalized net theory|Topological aspect of GN theory]] | ||
# Operator aspect of GN theory. Part 1 | # Logical aspect of GN theory ([[Modal operators over generalized nets]]) | ||
# Operator aspect of GN theory. Part 2 | # Operator aspect of GN theory. Part 1 ([[Global operators over generalized nets|Global operators]], [[Local operators over generalized nets|Local operators]], [[Reducing operators over generalized nets|Reducing operators]]) | ||
# [[Self-modifying generalized nets|Self-modifying GN]] | # Operator aspect of GN theory. Part 2 ([[Extending operators over generalized nets|Extending operators]], [[Hierarchical operators over generalized nets|Hierarchical operators]], [[Dynamical operators over generalized nets|Dynamical operators]]) | ||
# Methodology for construction of generalized nets | # [[Self-modifying generalized nets|Self-modifying GN]] | ||
# [[Generalized nets in artificial intelligence|Applications of GN in artificial intelligence]] | # Methodology for construction of generalized nets | ||
# Applications of GN in biology and [[Generalized nets in medicine|medicine]] | # [[Generalized nets in artificial intelligence|Applications of GN in artificial intelligence]] | ||
# Applications of GN in transport and [[Generalized nets in industry|industry]] | # Applications of GN in biology and [[Generalized nets in medicine|medicine]] | ||
# GN in systems theory | # Applications of GN in transport and [[Generalized nets in industry|industry]] | ||
# GN as a tool for modelling of real processes | # GN in systems theory | ||
# GN as a tool for modelling of real processes | |||
== Examination == | == Examination == | ||
; Formative assessment | |||
* Test 1 on generalized nets (in Bulgarian): '''{{download|GN-test-part1.pdf|PDF|206}}''' | |||
; Summative assessment | |||
Students may choose to: | Students may choose to: | ||
* either prepare a research paper, for instance developing their own GN model of a real process, or working on an open problem from the theory of GNs, | * either prepare a research paper, for instance developing their own GN model of a real process, or working on an open problem from the theory of GNs, | ||
* or take a regular examination by writing on a theme from the | * or take a regular examination by writing on a theme from the curriculum above. | ||
== Literature == | == Literature and training materials == | ||
* Training materials in IFS and GN (in Bulgarian): '''{{download|Phd-course-IFS-GN-2010-lecture-materials.pdf|PDF|1340}}''' | |||
* Krassimir Atanassov, [[On Generalized Nets Theory]], "Prof. Marin Drinov" Academic Publishing House | * Krassimir Atanassov, [[On Generalized Nets Theory]], "Prof. Marin Drinov" Academic Publishing House | ||
* [[:Category:Publications on generalized nets|Publications on generalized nets]] | * [[:Category:Publications on generalized nets|Publications on generalized nets]] | ||
Latest revision as of 11:16, 27 February 2010
Тази страница е достъпна на български.Curriculum
- Definitions and basic properties of Petri nets and generalized nets (Formal definition of a transition. Formal definition of a GN. Algorithm for transition functioning. Algorithm for generalized net functioning. Index matrix)
- Reduced generalized nets
- Extensions of GN
- Algebraic aspect of the GN theory (Operations and relations)
- Topological aspect of GN theory
- Logical aspect of GN theory (Modal operators over generalized nets)
- Operator aspect of GN theory. Part 1 (Global operators, Local operators, Reducing operators)
- Operator aspect of GN theory. Part 2 (Extending operators, Hierarchical operators, Dynamical operators)
- Self-modifying GN
- Methodology for construction of generalized nets
- Applications of GN in artificial intelligence
- Applications of GN in biology and medicine
- Applications of GN in transport and industry
- GN in systems theory
- GN as a tool for modelling of real processes
Examination
- Formative assessment
- Test 1 on generalized nets (in Bulgarian):
PDF (206 Kb, File info)
- Summative assessment
Students may choose to:
- either prepare a research paper, for instance developing their own GN model of a real process, or working on an open problem from the theory of GNs,
- or take a regular examination by writing on a theme from the curriculum above.
Literature and training materials
- Training materials in IFS and GN (in Bulgarian): PDF (1340 Kb, File info)
- Krassimir Atanassov, On Generalized Nets Theory, "Prof. Marin Drinov" Academic Publishing House
- Publications on generalized nets