Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
Property-preserving subnet reductions for designing manufacturing systems with shared resources
Theoretical Computer Science
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Deciding branching time properties for asynchronous programs
Theoretical Computer Science
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
Synthesis and analysis of product-form petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Synthesis and Analysis of Product-form Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Hi-index | 0.00 |