Nested Nets for Adaptive Systems

DOI10.1007/11767589_14MaRDI QIDQ3618708zbMATH OpenOpenAlexFDO

Authors K. M. van Hee, Olivia Oanea, Alexander Serebrenik, Irina A. Lomazova, Natalia Sidorova, Marc Voorhoeve

Publication date 2 April 2009

Published in Petri Nets and Other Models of Concurrency - ICATPN 2006 (Search for Journal in Brave)

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

zbMATH Keywords

adaptivitymodelingPetri netsworkflow

Mathematics Subject Classification ID

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

Recommendations

• Nested Petri Nets for Adaptive Process Modeling
• Checking properties of adaptive workflow nets
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Nested Petri nets: Multi-level and recursive systems.
• Interacting workflow nets for workflow process re-engineering

Cited in

(9)

• Boundedness of adaptive nets is decidable
• Automatic construction of systems of distributed components from nested Petri nets models
• Using attribute grammars to model nested workflows with extra constraints
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Nested dynamic condition response graphs
• Evolutionary design through reflective Petri nets: an application to workflow
• Hornets: Nets within Nets Combined with Net Algebra
• Checking properties of adaptive workflow nets
• Nested Petri Nets for Adaptive Process Modeling

This page was built for publication: Nested Nets for Adaptive Systems

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