Author:
Bhattacharyya Anirban,Koutny Maciej
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abbes, S., Benveniste, A.: True-concurrency probabilistic models branching cells and distributed probabilities for event structures. Inf. Comput. 204(2), 231–274 (2006)
2. Bhattacharyya, A., Li, B., Randell, B.: Time in structured occurrence nets. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2016), pp. 35–55 (2016)
3. Bruni, R., Melgratti, H., Montanari, U.: Concurrency and probability: removing confusion, compositionally. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 195–204 (2018)
4. Burke, A., Leemans, S.J.J., Wynn, M.T.: Discovering stochastic process models by reduction and abstraction. In Proceedings of the 42nd International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2021), pp. 312–336 (2021)
5. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)