Abstract
The assignment of prime numbers to the branches of directed or non-directed nets, enables one to construct transition matrices in a numerical, rather than a symbolic, form. The numerical form greatly facilitates the construction of higher-order transition matrices, needed for the topological analysis of a given net. The proposed method is especially useful for the mechanical determination of the non-repeating paths and cycles in the net.
- 1 F. E. HOHN, S. SESHU, D. D. AUFENKAMp, The theory of nets, IRE Transactions on Electronic Computers, vol. EC-6, no. 3, pp. 154--161; September, 1957.Google Scholar
Index Terms
- Analysis of Nets by Numerical Methods
Recommendations
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance ModelsIt had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation ConferencePetri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets
ICEIS 2014: Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2Coloured Petri Nets (CPN) arose from the need to model very large and complex systems, which are found in real industrial applications. The idea behind CPN is to unite the ability to represent synchronization and competition for resources of Petri nets ...
Comments