Object Petri nets. Using the nets-within-nets paradigm.

DOI10.1007/978-3-540-27755-2_23MaRDI 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
• Concurrency in communicating object Petri nets
• From coloured Petri nets to object Petri nets
• Object coloured Petri nets --- A formal technique for object oriented modelling
• Integrated Formal Methods

Cited in

(37)

• Petri nets with individual tokens
• Boundedness of adaptive nets is decidable
• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• An introduction to signed Petri net
• Modeling biological gradient formation: combining partial differential equations and Petri nets
• Nested-unit Petri nets
• Petri nets with name creation for transient secure association
• Using Petri nets for specifying active objects and generative communication
• Concurrency in communicating object Petri nets
• OB(PN)^2: an object based Petri net programming notation
• Modelling constrained geometric objects with OBJSA nets
• Comparing concepts of object Petri net formalisms
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Net models for concurrent object behaviour
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• scientific article; zbMATH DE number 1799518 (Why is no real title available?)
• Software engineering with Petri nets: a web service and agent perspective
• Time Recursive Petri Nets
• Hornets: Nets within Nets Combined with Net Algebra
• scientific article; zbMATH DE number 4094830 (Why is no real title available?)
• scientific article; zbMATH DE number 1163287 (Why is no real title available?)
• scientific article; zbMATH DE number 2064227 (Why is no real title available?)
• A Petri Net Based Modeling of Active Objects and Futures
• scientific article; zbMATH DE number 2117130 (Why is no real title available?)
• Petri Nets as Token Objects
• Structural matrices for signed Petri net
• Complexity results for elementary Hornets
• Nested Petri Nets for Adaptive Process Modeling
• scientific article; zbMATH DE number 5051646 (Why is no real title available?)
• An extensible editor and simulation engine for Petri nets: Renew
• High-level nets with nets and rules as tokens
• Reference and value semantics are equivalent for ordinary object Petri nets
• Software modeling and analysis using a hierarchical object-oriented Petri net
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems
• Canonization of reconfigurable PT nets in \texttt{Maude}
• Analysing adaption processes of Hornets
• Nets-within-nets through the lens of data nets

Describes a project that uses

Uses Software

• Renew

This page was built for publication: Object Petri nets. Using the nets-within-nets paradigm.

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