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
Тази страница е достъпна на български.
No edit summary |
→Examination: updated |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{in-bulgarian|Ifigenia:Lecture courses/Generalized nets/BG}} | {{in-bulgarian|Ifigenia:Lecture courses/Generalized nets/BG}} | ||
== | == Curriculum == | ||
# Definitions and basic properties of [[Petri net]]s and [[generalized net]]s | # 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]]) | ||
# [[Reduced generalized nets]] | # [[Reduced generalized nets]] | ||
# Extensions of GN | # [[Extensions of generalized nets|Extensions of GN]] | ||
# Algebraic aspect of the GN theory | # Algebraic aspect of the GN theory ([[Operations over generalized nets|Operations]] and [[Relations over generalized nets|relations]]) | ||
# Topological aspect of GN theory | # [[Topological aspect of generalized net theory|Topological aspect of GN theory]] | ||
# Logical aspect of GN theory | # Logical aspect of GN theory ([[Modal operators over generalized nets]]) | ||
# Operator aspect of GN theory. Part 1 | # 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]]) | ||
# Operator aspect of GN theory. Part 2 | # 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]]) | ||
# [[Self-modifying generalized nets|Self-modifying GN]] | # [[Self-modifying generalized nets|Self-modifying GN]] | ||
# Methodology for construction of generalized nets | # Methodology for construction of generalized nets | ||
| Line 18: | Line 18: | ||
== 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