Publisher
Springer International Publishing
Reference21 articles.
1. Agerwala, T., Flynn, M.: Comments on capabilities, limitations and “correctness” of Petri nets. Comput. Architect. News 4(2), 81–86 (1973)
2. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983)
3. Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323, 129–189 (2004)
4. Lecture Notes in Computer Science;M Bidoit,1994
5. Cormen, T.H., Leiserson, C.E., Rivest, D.L., Stein, C.: Introduction to Algorithms. MIT Press, Cambridge (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Posets with interfaces as a model for concurrency;Information and Computation;2022-05
2. Generating Posets Beyond N;Relational and Algebraic Methods in Computer Science;2020
3. Operational Semantics, Interval Orders and Sequences of Antichains;Fundamenta Informaticae;2019-10-10
4. On Interval Semantics of Inhibitor and Activator Nets;Application and Theory of Petri Nets and Concurrency;2019