Commodification of accelerations for the Karp and Miller Construction
Abstract
References
Index Terms
- Commodification of accelerations for the Karp and Miller Construction
Recommendations
Linear time analysis of properties of conflict-free and general Petri nets
We introduce the notion of a T-path within Petri nets, and propose to adopt the model of directed hypergraphs in order to determine properties of nets; in particular, we study the relationships between T-paths and firable sequences of transitions. Let ...
SAT-Solving the Coverability Problem for Petri Nets
Net unfoldings have attracted great attention as a powerful technique for combating state space explosion in model checking, and have been applied to verification of finite state systems including 1-safe (finite) Petri nets and synchronous products of ...
Formalization of Karp-Miller tree construction on petri nets
CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and ProofsKarp-Miller tree construction on Petri nets is a classical well-known algorithm to construct the minimal coverability set via forward analysis. It enables us to construct decision procedures for several problems such as coverability and (place) ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Kluwer Academic Publishers
United States
Publication History
Author Tags
Qualifiers
- Research-article
Funding Sources
- ED-STIC
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in