Asynchronous Links in the PBC and M-Nets
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Weak and Strong Composition of High-Level Petri-Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
A Concurrent and Compositional Petri Net Semantics of Preemption
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
Hierarchical timed high level nets and their branching processes
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
Generalised Composition Operations for High-level Petri Nets
Fundamenta Informaticae
| Hi-index | 0.00 |