The box algebra = Petri nets + process expressions
Information and Computation
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Asynchronous Links in the PBC and M-Nets
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th 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
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A compositional model of time Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Efficiency of asynchronous systems that communicate asynchronously
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hierarchical timed high level nets and their branching processes
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
Hi-index | 0.00 |