Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Symbolic Representation of Upward-Closed Sets
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Compositional Petri Net Semantics for SDL
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Representing and Validating Digital Business Processes
Advances in Web Semantics I
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
FM '09 Proceedings of the 2nd World Congress on Formal Methods
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Causal dataflow analysis for concurrent programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
From many places to few: automatic abstraction refinement for Petri nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A compositional method for the synthesis of asynchronous communication mechanisms
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Implication-based approximating bounded model checking
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
On the efficient computation of the minimal coverability set for Petri nets
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
| Hi-index | 0.00 |