×
Enjoy a 20% Discount on all IGI Global Books
Browse Titles
Language:
English
US
China
Cart
0
Login/Create Portal Account
All Products
All Products
Books
Journals
Videos
Book Chapters
Journal Articles
Video Lessons
Teaching Cases
Special Offers
20% Discount On All IGI Global Published Book Products Through the Online Bookstore
In response to rapid inflation and global currency fluctuations, and in our continued effort to make diverse, equitable, and inclusive research more accessible, IGI Global is now offering a 20% discount on hardcover print book and e-book purchases through June 30, 2023, directly on IGI Global’s Online Bookstore. Hosted on the InfoSci
®
platform, these titles feature no DRM, no additional cost for multi-user licensing, no embargo of content, full-text PDF & HTML format, and more. Discount is automatically added at checkout.
Browse Titles
20% Discount on All IGI Global E-Book Purchases Through GOBI
GOBI is currently offering a 20% discount on IGI Global e-Book purchases on GOBI (Publisher Direct), through June 30, 2023. A direct link to GOBI can be found on each book's webpage of the
IGI Global Online Bookstore
.
Browse GOBI
20% Discount on All IGI Global E-Book Purchases Through OASIS
OASIS is currently offering a 20% discount on IGI Global e-Book purchases (Publisher Direct) until June 30, 2023. A direct link to OASIS can be found on each book's webpage of the
IGI Global Online Bookstore
.
Browse OASIS
20% Discount on All IGI Global E-Book Purchases Through Rialto
Rialto is currently offering a 20% discount on IGI Global e-Book purchases (Publisher Direct) until June 30, 2023.
Browse Books
IGI Global E-Book Offer Through Proquest E-Book Central
Right now, receive
Unlimited Multi-User Licensing
at the Single User price with
no mark-up
for all IGI Global e-books acquired on ProQuest's e-Book Central platform until June 30, 2023.
Browse e-Book Central
IGI Global e-Book Offer Through EBSCOhost
Right now, receive
Unlimited Multi-User Licensing
at the Single User price with
no mark-up
for all IGI Global e-books acquired on EBSCOhost until June 30, 2023.
Browse EBSCOhost
Limited Time Offer: Retrospective Open Access is Discounted 20%
Access and convert your previously published work through your through your
IGI Global Portal Account
. For a limited time, IGI Global is offering a
20% discount on all Retrospective Open Access conversions
through June 30, 2023.
Learn More
Books
Books
Open Access Books
OnDemand Book Chapters
Books by Subject
Business, Administration, & Management
Scientific, Technical, & Medical (STM)
Education
Books by Field
Business & Management
Computer Science & Technology
Education
Environment & Agriculture
Government & Law
Library & Information Science
Media & Communications
Medicine & Healthcare
Science & Engineering
Security & Forensics
Social Sciences & Humanities
Journals
Journals
OnDemand Journal Articles
Journals by Subject
Business, Administration, & Management
Scientific, Technical, & Medical (STM)
Education
Journals by Field
Business & Management
Computer Science & Technology
Education
Environment & Agriculture
Government & Law
Library & Information Science
Media & Communications
Medicine & Healthcare
Science & Engineering
Security & Forensics
Social Sciences & Humanities
e-Collections
Open Access
Open Access Publishing
Open Access Journals
Open Access Books
Open Access Policies and Ethical Guidelines
Retrospective Open Access
Open Access Agreements
Publish
with Us
Resources
Librarians
e-Collections
Book Title List
Journal Title List
Video Title List
Library Collection Development Service
Browse Forthcoming Books
Consortia Partnerships
Library and Publisher Collaborations
Product Distributors
Catalogs
Open Access Initiative
Instructors
Course Adoption
Teaching Cases
K-12 Online Learning Collection
Researchers
Browse Books
Browse Journals
Browse Forthcoming Books
Search Open Access Content
OnDemand Downloads
Webinars
InfoScipedia
Authors and Editors
eEditorial Discovery
®
System
Peer Review Process
Ethics and Malpractice
COPE Membership
Fair Use Policy
Open Access Publishing
FAQ
Distributors
Distributor Resources
Book Distributors
Journal Subscription Agencies
E-Resource Partners
Browse Forthcoming Books
Catalogs
About Us
Newsroom
news
room
Email Updates
RSS
Search
Search:
All Posts
IGI Global News
New Title Releases
Press Releases
All Tags
A-Title (1)
Academic Writing Month (1)
Accounting & Finance (20)
Acquisitions (65)
Adaptive & Complex Systems (7)
Adult Learning (18)
AERA (3)
Aerospace Engineering (10)
Against the Grain (5)
Agent Technologies (4)
ALA Annual (1)
ALA Midwinter (1)
Algorithms (3)
AMCIS (1)
AOM (1)
Applied E-Learning (37)
Articles (186)
Artificial Intelligence (59)
ASEE (1)
Asia (86)
Author News (633)
Awards & Recognition (137)
BIBF (2)
Bioinformatics (12)
Biologically-Inspired Computing (11)
Biomedical Technologies (24)
Biometrics (9)
Blended & Mobile Learning (27)
Book Series (234)
Books & E-Books (898)
Business & Organizational Research (48)
Business & Technical Education (14)
Business and Management (257)
Business Information Systems (38)
Business Intelligence (28)
Business Process Management (23)
Chapters (263)
Charleston (5)
Chemical Engineering (5)
Chemoinformatics (3)
China (68)
Clinical Technologies (15)
Cognitive Informatics (21)
Cognitive Learning (9)
Collective Intelligence (7)
Computational Intelligence (13)
Computational Linguistics (6)
Computer Engineering (9)
Computer Graphics & Art (6)
Computer Science and Information Technology (227)
Computer Simulation (4)
Computer Vision & Image Processing (6)
Computer-Assisted Language Learning (5)
Computer-Mediated-Communication (11)
Conferences (199)
Consortia (6)
Consumer Management (9)
Contributor Collaboration (11)
COPE Resources (6)
Course Adoption (86)
Cyber Behavior (40)
Cyber Warfare & Terrorism (38)
Cybernetics (8)
Data Analysis & Statistics (16)
Data Mining (28)
Data Warehousing (14)
Database Technologies (88)
Databases (33)
Decision Support Systems (9)
Digital Crime & Forensics (20)
Digital Divide & Developing Countries (22)
Digital Libraries (22)
Digital Literacy (18)
Distance Education (31)
E-Business (29)
E-Collaboration (19)
E-Commerce (18)
Eastern Europe (62)
Education (371)
Electrical Engineering (4)
Electronic Services (15)
End User Computing (4)
Engineering Education (14)
Enterprise Information Systems (9)
Enterprise Resource Planning (2)
Entrepreneurship & E-Innovation (6)
Environmental Engineering (24)
Environmental, Agricultural, and Physical Sciences (89)
ER&L (1)
Europe (149)
Events & Collaborations (265)
Facebook (10)
FIBF (1)
Free Content (140)
Gaming (40)
Gender & Technology (13)
Geoinformatics (6)
Global Business (40)
Global Information Technology (40)
Government and Law (128)
Grid & High Performance Computing (1)
Healthcare (102)
Healthcare Information Systems (52)
Hidden (1)
Hospitality, Travel & Tourism Management (10)
Human Aspects of Business (34)
Human Aspects of Technology (105)
Human Resources Development (21)
India (47)
Industrial Engineering (4)
Industrial Informatics (4)
Information Ethics (13)
Information Resources Management (23)
Information Retrieval (12)
Information Security & Privacy (29)
Information Trust (20)
Information Value & Quality (9)
InfoSci-Books (282)
InfoSci-Cases (15)
InfoSci-Databases (80)
InfoSci-Dictionary (5)
InfoSci-Disciplines (8)
InfoSci-Journals (179)
InfoSci-Medical (10)
InfoSci-OnDemand (21)
InfoSci-Select (1)
InfoSci-Videos (12)
Instructional Design (29)
Interactive Technologies (35)
Internet Technologies (30)
Interview (176)
IT Governance (13)
IT Policy & Standardization (11)
IT Research & Theory (14)
Journals (359)
Knowledge Discovery (64)
Knowledge Management (103)
Knowledge Society (49)
Latin & South America (20)
Library and Information Science (178)
Library Collaboration (24)
Library Information Systems (102)
Library Technology Innovation Series (14)
Marketing (36)
Materials Science (1)
Mechanical Engineering (5)
Media and Communications (170)
Medical, Healthcare, and Life Sciences (168)
Middle East & Africa (73)
Mobile Computing (26)
Multimedia Technology (41)
Music Technologies (2)
Nanotechnology (10)
Networking (39)
Neural Networks (6)
Newsletter (240)
North America (399)
Oceania (70)
Open Access (50)
Open Access Week (41)
Open Source Software (5)
Partnerships (19)
Peer Review Week (8)
Presentations (78)
Public & Sector Management (19)
Public Policy & Administration (100)
Research Essentials (22)
Research Trends (175)
Resources for Distributors (273)
Resources for Instructors (401)
Resources for Librarians (417)
Resources for Researchers (536)
Resources for Translators (119)
Reviews & Indexing (102)
Robotics (20)
Science & Engineering (93)
Security and Forensics (129)
Semantic Web (2)
Sensor Technologies (1)
SLA (2)
Small & Medium Enterprises (3)
Social Computing (62)
Social Sciences and Humanities (194)
Software (96)
Strategic Information Systems (5)
Supply Chain Management (9)
Surveys, Measurements & Response Systems (7)
Sustainable Development (34)
Systems & Software Engineering (5)
Teaching Cases (61)
Technologies in Higher Education (46)
Technologies in K-12 Education (33)
Telecommunications (7)
Topic Collections (30)
Twitter (16)
Ubiquitous & Pervasive Computing (3)
Urban & Regional Development (9)
Videos (14)
Virtual Communities (47)
Virtual Learning Environments (69)
Web Services (8)
Web Technologies & Engineering (12)
Web-Based Teaching & Learning (41)
Webinar (52)
Wireless Systems (9)
World Forgotten Children's Foundation (1)
Posted any time
Posted this week
Posted this month
Posted this year
Sort by:
Relevance
Newest first
Oldest first
Search
Reset
Dr. Dmitry Zaitsev sacrifices his ego to expose computer science achievements in Ukraine
Selfie with a view on “Cybernetics and Systems Analysis”
By
IGI Global
on
Sep 27, 2016
Contributed by
Dmitry Zaitsev
(International Humanitarian University, Ukraine), Editor of the video lecture series
Petri Nets for Modeling and Computing
, author of
"Infinite Petri Nets as Models of Grids"
and
"Composition of Functional Petri Nets"
.
Selfies are all the rage recently, though many people resent seeing suchlike narcissistic affairs. The topic of most selfies is “me and something remarkable”, but many of them even suffer from ignoring any background with the only topic being: “I am surprisingly beautiful with this peculiar grimace”.
But when witnessing and being a part of something that requires major public attention, sometimes a measure of ego is necessary. I am attempting to avoid such excessive selfishness in my "selfie" and pay due respect to my contemporary - the best CS journal in Ukraine, which has been published since 1965.
Cybernetics and Systems Analysis
(CSA) is the only CS Ukrainian journal indexed in Scopus and included in JCR 1997-1999. I like to believe that this is because during those years we published a couple of papers [1,2] in it. In spite of the fact that the journal is republished and translated in English by Springer, it lays aside the citation thoroughfares of the civilized world. Sometimes good results published in CSA remain unheeded for years because very few scientists look inside it.
Ukraine has solid background in Computer Science, established with the first in the continental Europe computer MESM put into operation in 1951 in Kiev Laboratory of Sergey Lebedev. The further maintenance and development of the computer since 1956 was continued by Victor Glushkov, who headed Cybernetics Institute of National Academy of Science of Ukraine, created in 1962. The Institute, which established numerous branches in universities all around Ukraine, has become the center of Computer Science in Ukraine. It is widely known for its scientific achievements and bright scientists such as Zinoviy Rabinovich, Vladimir Skurihin, Igor Velbitsky, Ivan Sergiyenko, and others. It has developed new kinds of computer hardware and software and fulfilled numerous application projects for production control, management, and artificial intelligence. Interested parties can trace the implementation of “paperless management technology” and “state control system” as original concepts of Vladimir Glushkov. In 1965, a journal named
Cybernetics
was founded and renamed in
Cybernetics and Systems Analysis
in 1991.
We published our best results in CSA [1-7], considering it was the only journal in the world we could publish in before we learned English; otherwise we could not share our ideas easily to others. Originally the CSA papers were submitted and published in Russian with strict proofreading procedures often accomplished only with personal discussions on terminology, style, and phrasing. Then the papers were translated and published in English by Springer. An extensive process! Ergo, the proper time to take a selfie has come. Let us take a look at the papers I have published in CSA, together with my respected co-authors, during some twenty years.
Article [1] introduces a concept of a multichannel transition for Petri nets. Now I rather say the multiple firing strategy using an analogy with the maximal firing strategy of Salwicky. Recently, widespread papers on “the exhaustive use of rule” in spiking P neuron systems do not even mention our multichannel transitions which first appeared in my Ph.D., defended in 1991. We illustrate the concept for a timed Petri net where time delays are associated with transitions. We applied them for production control in our Opera-Topaz system from where they come quite naturally. Say we have a job to do for a duration of 10 minutes, modeled by a transition; we have 3 work-pieces and 4 machine tools. Why should we do it sequentially in 30 minutes, like in usual nets, when we can start processing 3 work-pieces on 3 machine tools simultaneously and finish the lot in 10 minutes? It looks like having unlimited number of each transition attached in parallel; moreover, usual Petri net is obtained as a special case via attaching a place having unit marking to each transition via a loop. We specified a state of such net using its marking and history of transitions’ firing that allowed us to compose a strict state equation to describe its behavior. Article [3] actually accomplishes results of article [1] with fundamental equation and invariants of timed nets with multichannel transitions. Similar to linear invariants of Petri nets, we introduced invariants of state and behavior, so-called full invariants, and considered partial invariants which preserve the marking only. Finally, properties of invariant nets have been investigated.
In addition, article [1] introduces a concept of functional equivalence for Petri nets, specifies the net transfer function, and presents an algebra that combines arithmetic, logic, and timed operations. Algebraic transformations of formulae correspond to structural transformations of a net preserving its transfer function, offering a new kind of reduction technique. The concept of functional equivalence introduced for definite subsets of input and output places a supplement's known kinds of equivalences considered for reachability trees and free languages of a net. Two articles [4] and [5] develop the topic of functional Petri net under a device “divide and sway”, respectively; namely [4] describes how to “divide” while [5] teaches how to “sway” afterwards. Among different types of subnets with contact places the functional subnet is the strictest one: input places have only output arcs and output places have only input arcs. We illustrated decomposition on models of networking protocols such as BGP and TCP. It was proven that a set of minimal functional subnets constitutes a basis and any functional subnet is obtained as a sum of some minimal subnets. For decomposition, two techniques have been offered: with logical equation and via ad-hoc algorithm of polynomial complexity. The advantage of the logical equations technique is its applicability for more general kinds of subnets with contact places. Because of strict limitation on the connection of a functional subnet, to analyze the properties of a net [5], we decompose it into a set of minimal functional subnets, analyze properties of each subnet, and, finally, solve a sole composition system in which dimension is equal to the number of contact places. The basic motivation is a speed-up of computations for big models.
In the state equation of a timed Petri net with multichannel transitions [1], we applied operations of continuous logic, namely, conjunction represented as the minimum operation. In this way we came to the task of synthesis of a continuous (fuzzy) logic function given in tabular form [2]. Synthesis of a binary logic function on its truth table is a well-known task. A continuous logic function can be given with a choice table where all the variants of reordering arguments and their negations with the great-or-equal operation are listed; on each variant a function takes the value of an argument or a negation of an argument. We introduced concepts of constituents of minimum and maximum, similar to classical constituents of zero and unit in binary logic, to compose PDNF and PCNF. To handle an essential difference that not any choice table gives a continuous logic functions, a necessary and sufficient condition was formulated in the terms of overlapping rows of the choice table. Finally, for any choice table we obtained a set of continuous logic functions valid on definite subareas.
In 2007-2008, we began working on a project supported by NATO in verification of complex networking protocols. We came to recognize the necessity of obtaining results, not only for a definite net, but for a definite structure. In article [6] we introduced a composition of Petri net models having hypercube structure with parameters specifying the number of dimensions and size. As far as we studied properties of solutions obtained for any natural values of parameters, we claimed working with infinite Petri nets. We studied grid structures composed of a model of generalized packet switching devices and built infinite systems of linear algebraic equations solved in nonnegative integer numbers. Parametric solutions have been obtained to study properties of infinite Petri nets; complex deadlocks caused by loops of blockings, chains of blockings, and isolation revealed.
Finally we came to programming in the language of Petri nets. For years a concept of a universal Petri net had been hanging in the air, its existence proven for the class of inhibitor nets. Article [7] presents a universal inhibitor Petri net specified in an explicit form. It is a prototype of a Petri net processor which is specified by a Petri net and executes a program written in the Petri net language. The language is appropriate for concurrent programming and model-driven approaches for software design. Lately, smaller universal nets consisting of a few dozen nodes were composed. However the advantage of a net described in [7] is the direct encoding of a program without references to other models of computation.
Perhaps it’s all done with the selfie. The camera zooms out to catch outstanding scientists in Ukraine who dislike selfies though “photographers” do not pay due attention to them. As Ukraine integrates into European and world structures and this process involves revolutionary scientific developments, scientists of Ukraine rely on the world’s welcome. Please view our journals, at least, translated and published in English, such as CSA, and cite our papers when it is appropriate.
References
1. Zaitsev D.A., Sleptsov A.I. State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis, Volume 33, Number 5 (1997), 659-672, DOI: 10.1007/BF02667189
2. Zaitsev D.A., Sarbei V.G., Sleptsov A.I., Synthesis of continuous-valued logic functions defined in tabular form, Cybernetics and Systems Analysis, Volume 34, Number 2 (1998), 190-195, DOI: 10.1007/BF02742068
3. Zaitsev D.A. Invariants of Timed Petri Nets, Cybernetics and Systems Analysis, Volume 40, Number 2 (2004), 226-237, DOI: 10.1023/B:CASA.0000034448.97077.dd
4. Zaitsev D.A. Decomposition of Petri Nets, Cybernetics and Systems Analysis, Volume 40, Number 5 (2004), 739-746, DOI: 10.1007/s10559-005-0012-0
5. Zaitsev D.A. Compositional analysis of Petri nets, Cybernetics and Systems Analysis, Volume 42, Number 1 (2006), 126-136, DOI: 10.1007/s10559-006-0044-0
6. Zaitsev D.A., Shmeleva T.R. Verification of hypercube communication structures via parametric Petri nets, Cybernetics and Systems Analysis, Volume 46, Number 1 (2010), 105-114, DOI: 10.1007/s10559-010-9189-y
7. Zaitsev D.A. Universal Petri net, Cybernetics and Systems Analysis, Volume 48, Number 4 (2012), 498-511. DOI: 10.1007/s10559-012-9429-4
Related Posts:
The On-Line Encyclopedia of Integer Sequences Accepts Professor Dmitry Zaitsev's New Integer Sequence
Ukrainian Research: IGI Global Chapters & Articles
Browse for more posts in:
Computer Science and Information Technology
Human Aspects of Technology
Multimedia Technology
Surveys, Measurements & Response Systems
Systems & Software Engineering
Ubiquitous & Pervasive Computing
Articles
Books & E-Books
Chapters
InfoSci-Books
InfoSci-Videos
Videos
Interview
Eastern Europe
Author News
Resources for Distributors
Resources for Instructors
Resources for Librarians
Resources for Researchers
Resources for Translators
Displaying 1 comment
Comments
Log in
or
sign up
to comment.
Reply
Congratulation for all the hard work and all your achievements!
Toderici Melania
6 years ago
More from IGI Global
May 26, 2023
Drs. Sang-Bing Tsai and Wei Liu on Leading Open Access Journals
Being an Editor-in-Chief (EiC) of academic open access journals is not always a simple endeavor. We recently reached out to Drs. Sang-Bing Tsai of the International Engineering and Technology Institute and Wei Liu of Qingdao University, who are the EiCs of
Journal of Organizational and End User Computing
(JOEUC) and the
International Journal of Information Technologies and Systems Approach
(IJITSA ) to hear their thoughts, outlook, and mission for leading two open access journals.
IGI Global
Read More
May 19, 2023
Many Citizens Have No Choice but to be At Risk of Hacking
The US federal government has access to a vast amount of personal data, making it a prime target for cyberattacks.
IGI Global
Read More
Government and Law
Security and Forensics
Cyber Warfare & Terrorism
Books & E-Books
Research Trends
May 19, 2023
Living Brain Cells in Computers
Researchers at the University of Illinois Urbana-Champaign have built a simple computer that uses 80,000 living brain cells from mice to recognize patterns of light and electricity.
IGI Global
Read More
Computer Science and Information Technology
Science & Engineering
Biologically-Inspired Computing
Books & E-Books
Research Trends
May 19, 2023
Dr. João Rodrigues on Leading an Open Access Journal
Professor Rodrigues' journal,
Journal of Affective Computing and Human Interfaces
, provides a forum for the advancement of knowledge and methods necessary to recognize, interpret, process, and simulate human feelings, sentiments and emotions, and a way to link them with human major senses.
IGI Global
Read More
May 18, 2023
Explore the past with Immersive Reality at Tourist Locations
Have you ever wanted to peek into the past to see the architecture and culture that has since disappeared?
IGI Global
Read More
Business and Management
Computer Science and Information Technology
Hospitality, Travel & Tourism Management
Books & E-Books
Research Trends
May 18, 2023
Comparing Acquisition Value With Other Variables in Small Businesses
A common goal among Small and Medium Enterprises (SMEs) is to be acquired by a larger corporation, and according Forbes, one important step to achieving this status is to set up Standard Operating Procedures, or SOPs.
IGI Global
Read More
Business and Management
Small & Medium Enterprises
Books & E-Books
Research Trends
May 17, 2023
Exploring Healthcare Quality and E-Health
Dr. Moumtzoglou explores healthcare quality and e-health. Hear from the editor about his experiences.
IGI Global
Read More
Medical, Healthcare, and Life Sciences
Computer Science and Information Technology
Books & E-Books
May 17, 2023
Step into the Future of Guided Learning
How can the use of a predictive metaverse revolutionize the ways that students learn and teaching methods?
IGI Global
Read More
Education
Computer Science and Information Technology
Virtual Learning Environments
Books & E-Books
Research Trends
May 16, 2023
Exploring the Applications and Insights of AI-Enabled Agile IoT in FinTech
Professor Kaur Guneet answers our questions on what makes her title an essential reference source for the FinTech industry.
IGI Global
Read More
Business and Management
Computer Science and Information Technology
Artificial Intelligence
Books & E-Books
Interview
May 16, 2023
Insights on the Award Winning Book, New Models of Higher Education
Hear from the Editors about their award winning-book and its impact on the education community.
IGI Global
Read More
Education
Books & E-Books
Awards & Recognition
Open Access
First
Previous
1
2
3
4
5
6
7
8
9
10
...
Next
Last