Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Approximate Throughput Computation of Stochastic Marked Graphs
IEEE Transactions on Software Engineering
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Structured Solution of Stochastic DSSP Systems
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
P-Semiflow Computation with Decision Diagrams
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Improving static variable orders via invariants
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Simplifying mined process models: an approach based on unfoldings
BPM'11 Proceedings of the 9th international conference on Business process management
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
| Hi-index | 0.02 |