Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Randomized Non-sequential Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
MTP: a Petri net-based framework for the analysis and transformation of SystemC designs
SCOPES '05 Proceedings of the 2005 workshop on Software and compilers for embedded systems
Information Processing Letters
On Synchronous and Asynchronous Interaction in Distributed Systems
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Symmetric and Asymmetric Asynchronous Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
Interacting code motion transformations: their impact and their complexity
Interacting code motion transformations: their impact and their complexity
Time-independent Liveness in Time Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Time supervision of concurrent systems using symbolic unfoldings of time petri nets
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Complete finite prefixes of symbolic unfoldings of safe time petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Determinate STG decomposition of marked graphs
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Structuring acyclic process models
Information Systems
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.00 |