-
On Concept of Petri Nets Receptors and Effectors
New subclasses of Petri nets - Petri nets receptors and Petri nets effec...
12/18/2019 ∙ by Alexander Yu. Chunikhin, et al. ∙
0
∙
share
read it
-
Introduction to Dialectical Nets
This paper initiates the dialectical approach to net theory. This approa...
10/14/2018 ∙ by Robert E. Kent, et al. ∙
0
∙
share
read it
-
An analysis of Principle 1.2 in the new ACM Code Of Ethics
The new ACM Code of Ethics is a much-needed update, but introduced chang...
10/16/2018 ∙ by Christoph Becker, et al. ∙
0
∙
share
read it
-
MIVAR: Transition from Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production R
The theoretical transition from the graphs of production systems to the ...
11/05/2011 ∙ by Oleg O. Varlamov, et al. ∙
0
∙
share
read it
-
From DB-nets to Coloured Petri Nets with Priorities (Extended Version)
The recently introduced formalism of DB-nets has brought in a new concep...
03/29/2019 ∙ by Marco Montali, et al. ∙
0
∙
share
read it
-
Elements of Petri nets and processes
We present a formalism for Petri nets based on polynomial-style finite-s...
05/11/2020 ∙ by Joachim Kock, et al. ∙
0
∙
share
read it
-
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach
This paper proposes a semi-structural approach to verify the nonblocking...
03/31/2020 ∙ by Chao Gu, et al. ∙
0
∙
share
read it
On Concept of Creative Petri Nets
10/17/2019 ∙ by Alexander Yu. Chunikhin, et al. ∙
0
∙
share
A new formalism of Petri nets, based on the adoption of the "position-arc-transition" triad and "transition-arc-position" triad as structure-forming units is introduced. In accordance with the Fusion principle, an analytical representation of Petri nets is developed. We propose the concept of Creative Petri Nets, which allows to implement structural changes in Petri net by procreation/deletion of structural units or complexes.
READ FULL TEXT
Comments
There are no comments yet.