Pomset bisimulation and unfolding for reset Petri nets

DOI10.1016/J.IC.2020.104674OpenAlexW3112796942MaRDI QIDQ2113378FDOQ2113378

Authors Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux 

Publication date 14 March 2022

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2020.104674

zbMATH Keywords

unfoldingpomset behaviourreset Petri nets

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Pomsets and unfolding of reset Petri nets
• A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets
• Faster Unfolding of General Petri Nets Based on Token Flows
• scientific article; zbMATH DE number 1361137
• scientific article; zbMATH DE number 1863174

Cites work

• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• scientific article; zbMATH DE number 1337730 (Why is no real title available?)
• An improvement of McMillan's unfolding algorithm
• Bisimulation and action refinement
• Concurrent bisimulations in Petri nets
• Contextual Petri nets, asymmetric event structures, and processes
• Contextual nets
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Non sequential semantics for contextual P/T nets
• Normalization of place/transition-systems preserves net behaviour
• Partial order semantics and read arcs
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Petri nets, event structures and domains. I
• Sequential and concurrent behaviour in Petri net theory
• The non-sequential behaviour of Petri nets
• Unfoldings: A partial-order approach to model checking.

Cited in

(1)

• Special issue: Selected papers of the 12th international conference on language and automata theory and applications, LATA 2018

This page was built for publication: Pomset bisimulation and unfolding for reset Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2113378)