Avoiding Exponential Explosion in Petri Net Models of Control Flows
Attributed to:
Event-based parallel computing - partially ordered event-triggered systems (POETS)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-06653-5_14
Publication URI: http://dx.doi.org/10.1007/978-3-031-06653-5_14
Type: Book Chapter
Book Title: Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings (2022)
Page Reference: 261-277