A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
OB(PN)2: an object based petri net programming notation
Concurrent object-oriented programming and petri nets
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
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
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
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Asynchronous Links in the PBC and M-Nets
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Real-Time Systems Design with PEP
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Weak and Strong Composition of High-Level Petri-Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Compositional Petri Net Semantics for SDL
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
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
M-net Calculus Based Semantics for Triggers
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
Extending the Petri Box Calculus with Time
ICATPN '01 Proceedings of the 22nd 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
Translating TPAL Specifications into Timed-Arc Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets
Compositional Modeling and Verification of Workflow Processes
Business Process Management, Models, Techniques, and Empirical Studies
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Visual Formalism for the Composition of Stochastic Petri Nets
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
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
Towards Petri net calculi based on synchronization via places
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
An approach to formalize structural decomposition and aggregation for stochastic reward net models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Fundamenta Informaticae
Merging paradigms of survivability and security: stochastic faults and designed faults
Proceedings of the 2003 workshop on New security paradigms
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
A translation of TPALp into a class of timed-probabilistic Petri nets
Theoretical Computer Science
Petri net semantics of the finite π-calculus terms
Fundamenta Informaticae
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Control Synthesis For Discrete Event Systems: A Semantic Framework Based On Open Petri Nets
Journal of Integrated Design & Process Science - Component-Based System Development
A congruence relation for sPBC
Formal Methods in System Design
Versatile boxes: a multi-purpose algebra of high-level Petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Process Algebra with Local Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Quickly prototyping petri nets tools with SNAKES
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
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
Hierarchical timed high level nets and their branching processes
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
An algebra of petri nets with arc-based time restrictions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Petri Net Semantics of the Finite π-calculus Terms
Fundamenta Informaticae
Fundamenta Informaticae
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Fundamenta Informaticae
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |