Petri Nets as Token Objects

DOI10.1007/3-540-69108-1_1MaRDI QIDQ5055702zbMATH OpenOpenAlexFDO

Authors Ruediger Valk

Publication date 9 December 2022

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

Full work available at URL https://doi.org/10.1007/3-540-69108-1_1

Mathematics Subject Classification ID

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

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1686272
• scientific article; zbMATH DE number 853730
• scientific article; zbMATH DE number 1686268
• Applications and Theory of Petri Nets 2004

Cites work

• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 1686268 (Why is no real title available?)
• scientific article; zbMATH DE number 1686272 (Why is no real title available?)
• scientific article; zbMATH DE number 4018371 (Why is no real title available?)
• scientific article; zbMATH DE number 3876610 (Why is no real title available?)
• scientific article; zbMATH DE number 4005574 (Why is no real title available?)
• scientific article; zbMATH DE number 4037216 (Why is no real title available?)
• scientific article; zbMATH DE number 4037217 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)

Cited in

(13)

• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
• Nested-unit Petri nets
• scientific article; zbMATH DE number 1686272 (Why is no real title available?)
• Coding mobile synchronizing Petri nets into rewriting logic
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• Workflow management principles for interactions between Petri net-based agents
• scientific article; zbMATH DE number 853730 (Why is no real title available?)
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Decidability and complexity of Petri nets with unordered data
• Lectures on Concurrency and Petri Nets
• Relating state-based and process-based concurrency through linear logic (full-version)
• An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows

This page was built for publication: Petri Nets as Token Objects

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