Search
ChatPaper
AI Writing
analysis
Analysis
编组
Open Data
more
More
RankingsMust ReadingJournal&ConferenceAI TRAI HistoryMaster Reading TreeXiaomai's Star TalentsTrajectoryTalentNDI TrackerAI sign LanguageOpen
VIPCreated with Sketch.

Stubborn versus structural reductions for Petri nets

Frederik M. Bønneland,Jakob Dyhr,Peter G. Jensen,Mads Johannsen,Jiří Srba

Journal of Logical and Algebraic Methods in Programming（2019）

Cited 15|Views14
No score
Abstract
•Stubborn reductions are extendable to Petri nets with weighted inhibitor arcs.•Structural reduction rules refined for weighted arcs to increase applicability.•Combination of reduction techniques does not overlap.•TAPAAL surpassing LoLA on answering reachability queries.
More
Translated text
Key words
Partial order reduction,Stubborn sets,Structural reductions,Reachability analysis,Petri nets
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined