Mordejai Zvi Retchkiman Konigsberg

Researcher

  • 38 Citations
  • 3 h-Index
19932017
If you made any changes in Pure, your changes will be visible here soon.

Personal profile

Research Interests

SIMULACION Y MODELACION, INFORMATICA, MATEMATICAS, FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA

SNI Level

  • SNI 1

EDI

  • EDI 7

Fingerprint Dive into the research topics where Mordejai Zvi Retchkiman Konigsberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Petri nets Physics & Astronomy
Max-plus Algebra Mathematics
Timed Petri Nets Mathematics
algebra Physics & Astronomy
Algebra Engineering & Materials Science
Petri Nets Mathematics
Recurrence Equations Mathematics
Modeling Mathematics

Research Output 1993 2017

  • 38 Citations
  • 3 h-Index
  • 20 Article
  • 19 Paper
  • 4 Conference contribution
  • 1 Review
Formal logic
Discrete Event Systems
Discrete event simulation
Petri nets
Petri Nets
First-order Logic
Ecosystem
Ecosystems
Interaction
Modeling

Modelling and verification analysis of the predator-prey system via a first order logic approach

Konigsberg, Z. R., 1 Jan 2017, Modelling and verification analysis of the predator-prey system via a first order logic approach. p. 22-30 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10385 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Predator prey systems
Predator-prey System
First-order Logic
Interaction
Modeling

Computability equivalence of an extended Petri net model

Königsberg, Z. R., 1 Jan 2016, In : Applied Mathematical Sciences. p. 2141-2156 1925 p.

Research output: Contribution to journalArticle

Computability
Petri nets
Petri Nets
Equivalence
Recursive functions

Kleene's normal form theorem for arithmetical petri nets

Königsberg, Z. R., 1 Jan 2016, In : International Journal of Pure and Applied Mathematics. p. 511-528 18 p.

Research output: Contribution to journalArticle

Petri nets
Petri Nets
Normal Form
Theorem
Recursive functions