Lectures on Concurrency and Petri Nets

DOI10.1007/B98282MaRDI QIDQ5712293zbMATH OpenOpenAlexFDO

Authors Ruediger Valk

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98282

Mathematics Subject Classification ID

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

Recommendations

• Petri Nets as Token Objects
• scientific article; zbMATH DE number 1686272
• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 1686283
• Integrated Formal Methods

Cited in

(35)

• Hornets: Nets within Nets Combined with Net Algebra
• Net models for concurrent object behaviour
• Nested-unit Petri nets
• Petri Nets as Token Objects
• An introduction to signed Petri net
• scientific article; zbMATH DE number 1686275 (Why is no real title available?)
• scientific article; zbMATH DE number 2064227 (Why is no real title available?)
• Petri nets with individual tokens
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Comparing concepts of object Petri net formalisms
• Software modeling and analysis using a hierarchical object-oriented Petri net
• Nested Petri Nets for Adaptive Process Modeling
• Time Recursive Petri Nets
• Applications and Theory of Petri Nets 2005
• scientific article; zbMATH DE number 2117130 (Why is no real title available?)
• scientific article; zbMATH DE number 1686272 (Why is no real title available?)
• A Petri Net Based Modeling of Active Objects and Futures
• Applications and Theory of Petri Nets 2005
• scientific article; zbMATH DE number 5051646 (Why is no real title available?)
• Structural matrices for signed Petri net
• scientific article; zbMATH DE number 1686269 (Why is no real title available?)
• scientific article; zbMATH DE number 1686278 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Software engineering with Petri nets: a web service and agent perspective
• Boundedness of adaptive nets is decidable
• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• Petri nets with name creation for transient secure association
• scientific article; zbMATH DE number 4094830 (Why is no real title available?)
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• Complexity results for elementary Hornets
• Modeling biological gradient formation: combining partial differential equations and Petri nets
• scientific article; zbMATH DE number 1799518 (Why is no real title available?)
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems
• Analysing adaption processes of Hornets
• Canonization of reconfigurable PT nets in \texttt{Maude}

Describes a project that uses

Uses Software

• Renew

This page was built for publication: Lectures on Concurrency and Petri Nets

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