The box algebra = Petri nets + process expressions
Information and Computation
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model
International Journal of Embedded and Real-Time Communication Systems
| Hi-index | 0.00 |