Nested Petri Nets for Adaptive Process Modeling

DOI10.1007/978-3-540-78127-1_25MaRDI QIDQ5452192zbMATH OpenOpenAlexFDO

Authors Irina A. Lomazova

Publication date 25 March 2008

Published in Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78127-1_25

Mathematics Subject Classification ID

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

Recommendations

• Nested Nets for Adaptive Systems
• Nested Petri nets: Multi-level and recursive systems.
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• scientific article; zbMATH DE number 1522994
• scientific article; zbMATH DE number 1515290

Cites work

• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• scientific article; zbMATH DE number 4018371 (Why is no real title available?)
• scientific article; zbMATH DE number 1799520 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 1302044 (Why is no real title available?)
• scientific article; zbMATH DE number 1515290 (Why is no real title available?)
• scientific article; zbMATH DE number 1515851 (Why is no real title available?)
• scientific article; zbMATH DE number 1522994 (Why is no real title available?)
• scientific article; zbMATH DE number 1379970 (Why is no real title available?)
• Applications and Theory of Petri Nets 2005
• Applications and Theory of Petri Nets 2005
• From coloured Petri nets to object Petri nets
• Lectures on Concurrency and Petri Nets
• Lectures on Concurrency and Petri Nets
• Multi-agent-systems based on coloured Petri nets
• Nested Nets for Adaptive Systems
• Nested Petri nets: Multi-level and recursive systems.
• Nested Petri nets: modeling and analysis of distributed systems with object structure
• Ordering by Divisibility in Abstract Algebras
• Well-structured transition systems everywhere!

Cited in

(21)

• Nested Petri nets: Multi-level and recursive systems.
• Nested Nets for Adaptive Systems
• Automatic construction of systems of distributed components from nested Petri nets models
• Nested-unit Petri nets
• scientific article; zbMATH DE number 1522994 (Why is no real title available?)
• Can I find a partner? Undecidability of partner existence for open nets
• scientific article; zbMATH DE number 1799520 (Why is no real title available?)
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
• Nested dynamic condition response graphs
• Consistent timed semantics for nested Petri nets with restricted urgency
• Restricting \textsc{Hornets} to support self-adaptive systems
• Replicated Ambient Petri Nets
• Extending Petri nets for specifying man–machine dialogues
• scientific article; zbMATH DE number 1555551 (Why is no real title available?)
• Boundedness of adaptive nets is decidable
• Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
• Three level Petri nets
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• Complexity results for elementary Hornets
• On the use of SPIN for studying the behavior of nested Petri nets

This page was built for publication: Nested Petri Nets for Adaptive Process Modeling

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