Abstract:This contribution highlights some concepts and aspects of Petri nets that are frequently neglected, but that the authors consider important or interesting, or that Carl Adam Petri emphasized.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve lies in exploring some concepts and aspects in Petri nets that are often overlooked but considered important or interesting by the author. Specifically, the paper aims to:
1. **Review and develop the core concepts of Petri nets**: The article shows the development process of Petri net concepts through seven time steps (from the 1950s to the present), and emphasizes the fundamental differences between these concepts and other computing models, especially concurrent models.
2. **Highlight the uniqueness of Petri nets**: The paper pays special attention to the differences between Petri nets and other computing models, especially its unique advantages in dealing with discrete dynamic systems. For example, Petri nets can better represent the behavior of asynchronous systems and can describe the causal relationships between events more finely.
3. **Propose a theoretical framework for concurrent systems**: The author attempts to define the concept of concurrency and proposes a concurrent - relation model based on Petri nets. This model can not only describe the concurrent behaviors between system elements, but also can be used to analyze and verify the correctness of complex systems.
4. **Solve the combination problem of Petri nets**: The paper discusses how to combine multiple Petri net modules into a larger system and studies the impact of this combination on distributed operation. This involves how to effectively merge places and transitions with the same labels and how to handle the interfaces between modules.
### Analysis of specific problems
- **Advantages of asynchronous systems**: Through a thought experiment, the paper explores the potential advantages of asynchronous systems over synchronous systems and points out that there is currently a lack of a theoretical framework that can quantify these advantages.
- **Extension of propositional logic**: Petri suggests extending the traditional propositional logic of "always true or always false" to a state logic of "sometimes true and sometimes false", so as to better describe the dynamic changes in the real world.
- **Four - season model**: The paper shows how to define concurrent relations through a simple four - season model and explains why this model, although simple, is of great significance in understanding the concept of concurrency.
- **Partially ordered operation**: The paper proposes the concept of partially ordered operation, that is, there is not necessarily a complete temporal order relationship between events. This concept helps to describe the operation behavior of concurrent systems more precisely.
- **Data modeling**: In order to handle data, the paper introduces extended forms such as colored Petri nets and predicate - transition nets, making Petri nets can be used not only for control and synchronization, but also for data processing and resource counting.
- **Combination problem**: Finally, the paper discusses the combination problem of Petri nets and proposes the Heraklit infrastructure as a flexible combination method, which allows the combination of mixed interfaces and supports the combination of associated places and transitions.
In general, this paper attempts to review and develop the core concepts of Petri nets, propose new theoretical frameworks, and solve the key problems of Petri nets in practical applications, especially in concurrent systems and combined systems.