Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Science › Persistent Permutability in Choice Petri Nets
Science

Persistent Permutability in Choice Petri Nets

arXiv CS Monday 08 June 2026, 04:00 UTC By Eike Best, Raymond Devillers 1 min read
Key Points

arXiv:2601.18004v2 Announce Type: replace Abstract: Persistence is a strong, global, behavioural property of a Petri net, meaning that no activity can disable a different activity. Persistent permutability is a weaker property, pertaining to individual interleavings of a Petri net and stating that a non-persistent sequence can be permuted into a persistent one. We identify Petri net classes for which persistent permutability already suffices to imply overall persistence.

arXiv:2601.18004v2 Announce Type: replace Abstract: Persistence is a strong, global, behavioural property of a Petri net, meaning that no activity can disable a different activity. Persistent permutability is a weaker property, pertaining to individual interleavings of a Petri net and stating that a non-persistent sequence can be permuted into a persistent one. We identify Petri net classes for which persistent permutability already suffices to imply overall persistence. These classes generalise free-choice nets and are related to Petri's concept of ``confusion'', while they are distinguished from each other by diverse restrictions on the choice structure of a net. We prove Ochmanski's conjecture to be correct for these classes.
Petri (ORG) Ochmanski (PERSON)
Originally published by arXiv CS Read original →

Related Stories

Drivers being urged to IGNORE sat nav instructions for 'worrying' reason

Drivers being urged to IGNORE sat nav instructions for 'worrying' reason Road safety charity IAM RoadSmart research has found 54% of drivers have been diverted onto rural roads because of congestion on motorways, dual carriageways and other major A roads. Drivers are being urged to consider ignoring sat nav instructions over fears they could send motorists down more dangerous roads. Road safety charity IAM RoadSmart research has found 54% of drivers have been diverted onto rural roads...

Daily Mirror 23m ago

New species found in Australia's most 'pristine' marine parks

Scientists discover 149 new marine species off Christmas and Cocos (Keeling) Islands Thu 11 Jun 2026 at 9:04am In short: Researchers say they have catalogued at least 149 new species from waters around Christmas and Cocos (Keeling) Islands.

ABC Australia 37m ago

Unix GC Remastered

Introduction The AF_UNIX garbage collector is an interesting piece of the kernel. It exists because sockets can be sent with SCM_RIGHTS but they can become unreachable from user-space while still being kept alive by the kernel, which is not memory efficient; in this situation, the garbage collector intervenes to free them. Not long ago, the subsystem was rewritten from scratch on top of a graph/Strongly-Connected-Components model; but it is still bug prone.

Hacker News 53m ago

Brother and sister from remote SA town receive King's Birthday Honours

Two siblings from the remote town of Lock on the Eyre Peninsula were surprised to see each other receive honours in the King's Birthday awards. Marie Elizabeth Shaw KC AM was honoured for her significant service to the law and community, while her brother, Michael Stephen Roberts AO was awarded for his work in pharmaceutical science research. The siblings say they are proud of each other, and that their rural upbringing had a big influence on their careers and lives.

ABC Australia 54m ago