Nested Petri Nets for Adaptive Process Modeling

Lomazova, Irina A.

doi:10.1007/978-3-540-78127-1_25

Cited by 31 publications

(15 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In [8] it was shown that coverability is decidable for adaptive nets without proper termination synchronization and with arbitrary transition synchronization. The result is not applicable here since synchronization on final marking can only be achieved when the token nets have their final marking reachable.…”

Section: Resultsmentioning

confidence: 99%

“…The result is not applicable here since synchronization on final marking can only be achieved when the token nets have their final marking reachable. Further, boundedness is undecidable for nested nets [9], therefore also for the extension in [8]. The abstraction employed here is a refinement of the ones presented in [8,5,6] where only transition enabling synchronization is involved.…”

Section: Resultsmentioning

confidence: 99%

See 1 more Smart Citation

Boundedness of adaptive nets is decidable

Oanea

2011

Information Processing Letters

View full text Add to dashboard Cite

Section: Resultsmentioning

confidence: 99%

Section: Resultsmentioning

confidence: 99%

Boundedness of adaptive nets is decidable

Oanea

2011

Information Processing Letters

View full text Add to dashboard Cite

“…One of the non-flat Petri net model is Nested Petri nets [9], [10], [7]. In nested Petri nets (NP-nets), there is a system net, in some places of which element nets resign, in the form of net tokens.…”

Section: Introductionmentioning

confidence: 99%

NPNtool: Modelling and Analysis Toolset for Nested Petri Nets

Dworzański

Frumin

2013

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

View full text Add to dashboard Cite

Abstract-Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. While having a number of interesting properties, NP-nets have been lacking tool support. In this paper we present the NPNtool toolset for NP-nets which can be used to edit NP-nets models and check liveness in a compositional way. An algorithm to check m-bisimiliarity needed for compositional checking of liveness has been developed. Experimental results of the toolset usage for modelling and checking liveness of classical dinning philosophers problem are provided.

show abstract

“…The basic definition of nested Petri nets can be found in [20,23]. Here we give a reduced definition, sufficient for defining conservative NP-nets.…”

Section: Nested Petri Netsmentioning

confidence: 99%

“…Levels in NP-nets are coordinated via synchronized transitions (simultaneous firing of transitions in adjacent levels of the model). Because of the loosely-coupled multilevel structure, NP-nets can be used for the effective modeling of mutli-agent systems (see [4,10,23,21,3] for examples).…”

Section: Introductionmentioning

confidence: 99%

Branching Processes of Conservative Nested Petri Nets

Frumin

Lomazova

EPiC Series in Computing

View full text Add to dashboard Cite

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the "nets-within-nets" approach, when tokens in a marking are themselves Petri nets which have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with a dynamic structure in a natural way. In this paper we define branching processes and unfoldings for conservative NP-nets, i.e., NP-nets with a persistent set of agents. We show that NPnets unfoldings satisfy the fundamental property of unfoldings, and thus can be used for verification of conservative NP-nets in line with classical unfolding methods.

show abstract

Nested Petri Nets for Adaptive Process Modeling

Cited by 31 publications

References 16 publications

Boundedness of adaptive nets is decidable

Boundedness of adaptive nets is decidable

NPNtool: Modelling and Analysis Toolset for Nested Petri Nets

Branching Processes of Conservative Nested Petri Nets

Contact Info

Product

Resources

About