Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
The box algebra = Petri nets + process expressions
Information and Computation
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
IEEE Transactions on Computers
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Translating TPAL Specifications into Timed-Arc Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Towards Petri net calculi based on synchronization via places
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A translation of TPALp into a class of timed-probabilistic Petri nets
Theoretical Computer Science
On the expressive power of process interruption and compensation
Mathematical Structures in Computer Science
Mapping RT-LOTOS specifications into time petri nets
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Effective representation of RT-LOTOS terms by finite time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Fundamenta Informaticae
On the Decidability of Non-Interleaving Process Equivalences
Fundamenta Informaticae
| Hi-index | 0.00 |