Crossmark

Unified bisimulation applied to incremental abstraction of Petri nets

Published Online: 2026-05-25

Published Print: 2026-12

Authors

Lennartson, Bengt
Funding

Funding for this research was provided by:

Chalmers University of Technology
License Information

Text and Data Mining valid from 2026-05-25

Version of Record valid from 2026-05-25
More Information

Article History

Received: 5 December 2024

Accepted: 19 February 2026

First Online: 25 May 2026

Declarations

:

: The authors declare no competing interests.

Document is current