Loading...
Please wait, while we are loading the content...
Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings*
| Content Provider | Semantic Scholar |
|---|---|
| Author | Madalinski, Agnes Khomenko, Victor |
| Copyright Year | 2011 |
| Abstract | Abstract We show that the predictability problem for a Petri net can be reduced to LTL-X model checking. The advantage of this is that existing efficient methods and tools can be employed, in particular parallel model checking based on Petri net unfoldings. The experimental results show that this approach is efficient, and a good level of parallelisation can be achieved. |
| Starting Page | 1232 |
| Ending Page | 1237 |
| Page Count | 6 |
| File Format | PDF HTM / HTML |
| DOI | 10.3182/20120829-3-MX-2028.00048 |
| Volume Number | 45 |
| Alternate Webpage(s) | https://eprint.ncl.ac.uk/file_store/production/178210/EFC0275E-9C69-474A-8F68-D886EF59F9D5.pdf |
| Alternate Webpage(s) | https://assets.cs.ncl.ac.uk/TRs/1276.pdf |
| Alternate Webpage(s) | https://doi.org/10.3182/20120829-3-MX-2028.00048 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
