Author:
Alqarni Mohammed,Janicki Ryszard
Publisher
Springer International Publishing
Reference28 articles.
1. Abraham, U., Ben-David, S., Magidor, M.: On global-time and inter-process communication. In: Semantics for Concurrency, Workshops in Computing, pp. 311–323. Springer (1990)
2. Agerwala, T., Flynn, M.: Comments on capabilities, limitations and "correctness" of Petri nets. Computer Architecture News 4(2), 81–86 (1973)
3. Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theoretical Computer Science 323, 129–189 (2004)
4. Busi, N., Pinna, G.M.: Process semantics for place/transition nets with inhibitor and read arcs. Fundamenta Informaticae 40(2,3), 165–197 (1999)
5. Chiola, G., Donatelli, S., Francheschinis, G.: Priorities, inhibitor arcs and concurrency in P/T-nets. In: Proc. of ATPN 1991 (Applications and Theory of Petri Nets), Gjern, Denmark, pp. 182–205 (1991)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献