Publisher
Springer Nature Singapore
Reference30 articles.
1. Murata, T.: Petri nets: properties, analysis and application. Proceedings of IEEE 77: 541–580 (1989)
2. Lautenbach, K., Ridder, H.: Liveness in bounded Petri nets which are covered by T-invariants. In: the 15th International Conference on Application and Theory of Petri Nets, pp. 358–375 (1994)
3. Martínez, J ., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalised Petri net. In: Proceedings of the Second European Workshop on Application and Theory of Petri Nets, pp. 301–310 (1982)
4. Liu, G.J., Jiang, C.J.: Incidence matrix based methods for computing repetitive vectors and siphons of Petri net. Journal of Information Science and Engineering 25: 121–136 (2009)
5. Silva, M., Teruel, E., Colom, J.: Linear algebraic and linear programming techniques for the analysis of place/transition net systems. Lecture Notes on Computer Sciences 1491: 309–373 (1996)