Lectures on Concurrency and Petri Nets

DOI10.1007/B98282zbMATH Open1088.68135OpenAlexW78026558MaRDI QIDQ5712293FDOQ5712293

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

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

Mathematics Subject Classification ID

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

Cited In (35)

• Hornets: Nets within Nets Combined with Net Algebra
• Net models for concurrent object behaviour
• Petri Nets as Token Objects
• Nested-unit Petri nets
• An introduction to signed Petri net
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Applications and Theory of Petri Nets 2005
• Time Recursive Petri Nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Petri Net Based Modeling of Active Objects and Futures
• Applications and Theory of Petri Nets 2005
• Title not available (Why is that?)
• Structural matrices for signed Petri net
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems
• Analysing adaption processes of Hornets
• Canonization of reconfigurable PT nets in \texttt{Maude}

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)