Petri nets with structured data

DOI10.1007/978-3-319-19488-2_11MaRDI QIDQ2941152zbMATH OpenOpenAlexFDO

Authors Loïc Hélouët, Christophe Morvan, Eric Badouel

Publication date 27 August 2015

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-19488-2_11

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri nets with structured data
• Nets with tokens which carry data
• Nets with Tokens Which Carry Data
• scientific article; zbMATH DE number 3982529
• Petri nets and algebraic specifications

Cites work

• Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
• Forward analysis of depth-bounded processes
• scientific article; zbMATH DE number 4035160 (Why is no real title available?)
• scientific article; zbMATH DE number 1223710 (Why is no real title available?)
• scientific article; zbMATH DE number 877807 (Why is no real title available?)
• Multiparty asynchronous session types
• Nets with tokens which carry data
• Ordering by Divisibility in Abstract Algebras
• Subgraphs and well‐quasi‐ordering
• Verifying recursive active documents with positive data tree rewriting
• Well-structured transition systems everywhere!

Cited in

(6)

• Data and process resonance. Identifier soundness for models of information systems
• On termination of transactions over semantic document models
• Model checking Petri nets with names using data-centric dynamic systems
• Petri nets with structured data
• scientific article; zbMATH DE number 5593270 (Why is no real title available?)
• From DB-nets to Coloured Petri Nets with Priorities

This page was built for publication: Petri nets with structured data

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