Coding mobile synchronizing Petri nets into rewriting logic

DOI10.1016/J.ENTCS.2006.10.021MaRDI QIDQ2864520zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Fernando Rosa-Velardo

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.10.021

zbMATH Keywords

mobilityPetri netsrewritingsecurityspecifications

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1973125
• Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• On the expressiveness of mobile synchronizing Petri nets
• Mobile Petri nets

Cites work

• An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• scientific article; zbMATH DE number 1973125 (Why is no real title available?)
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• Mobile Petri nets
• Nested Petri nets: Multi-level and recursive systems.
• On the expressiveness of mobile synchronizing Petri nets
• Petri Nets as Token Objects
• Recent Trends in Algebraic Development Techniques
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Specification and proof in membership equational logic
• Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
• Using forward reachability analysis for verification of lossy channel systems

Cited in

(3)

• On the expressiveness of mobile synchronizing Petri nets
• Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets
• scientific article; zbMATH DE number 1973125 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Coding mobile synchronizing Petri nets into rewriting logic

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