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
Тази страница е достъпна на български.
mNo edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{in-bulgarian|Ifigenia:Lecture courses/Generalized nets/BG}} | {{in-bulgarian|Ifigenia:Lecture courses/Generalized nets/BG}} | ||
== Curriculum == | == 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 | ||
Revision as of 21:38, 8 January 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
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.
There is a third option for those who are interested in software development of the GN simulator package.
- Open problems
Literature
- Krassimir Atanassov, On Generalized Nets Theory, "Prof. Marin Drinov" Academic Publishing House
- Publications on generalized nets