Structuring and Composability Issues in Petri Nets Modeling

Gomes, Luís; Barros, João Paulo

doi:10.1109/tii.2005.844433

Cited by 73 publications

(26 citation statements)

References 53 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Composition and structuring in Petri nets are a prominent research issue, mainly owing to the fact that Petri net models tend to become very complex, in terms of number of elements and their connections, even for simple modeling tasks [22]. There are two approaches to Petri net composition, i.e., fusion and folding [7,22]. The former aims at simplifying models by allowing the interconnection of several Petri nets, similarly to the concepts of module linking and class composition in programming languages.…”

Section: Composition Rulesmentioning

confidence: 99%

See 1 more Smart Citation

Patterns and tools for business process monitoring customization

Comuzzi

Angelov

2015

SOCA

View full text Add to dashboard Cite

In a cross-organizational service-based process provisioning scenario, one provider is likely to execute a given business process to serve several customers. Each customer may hold different expectations about the way this process can be monitored. We present a solution allowing the provider to support the requirements of different customers on the monitoring of a given process, i.e., offering them the opportunity to customize the way a process will be monitored. We propose a multi-dimensional classification model of patterns for process monitoring and rules to compose the patterns to design customized monitoring infrastructures. The fit for purpose of the patterns is evaluated empirically, whereas the feasibility of our solution is demonstrated by a tool supporting process monitoring customization adhering to our pattern design and composition methodology.

show abstract

Section: Composition Rulesmentioning

confidence: 99%

“…Net composition can occur through both transition and place fusion. For expressing rules, we use the following syntax, defined in [22]:…”

Section: Composition Rulesmentioning

confidence: 99%

Patterns and tools for business process monitoring customization

Comuzzi

Angelov

2015

SOCA

View full text Add to dashboard Cite

show abstract

“…PNs constitute a mathematical metamodel that can be animated/simulated, formally analyzed, and for which several implementation techniques are available. The designer can choose, among several PN meta-models, a specific one intentionally created to deal with the particularities of the system under consideration, like the ones referred in [4,7,15,16]. In the last years, research in scenario-based modeling is receiving a considerable attention.…”

Section: Specification With Colored Petri Netsmentioning

confidence: 99%

Scenario-Based Modeling in Industrial Information Systems

Machado

Fernandes

Barros

et al. 2010

Distributed, Parallel and Biologically Inspired Systems

View full text Add to dashboard Cite

Abstract. This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is modeled in two steps that gradually introduce detail and formality. This manuscript addresses the first step, where text-based descriptions, in the form of structured rules, are used to specify how the system is or should be regulated. Those rules can be used to create behavioral snapshots, which are collections of scenario-based descriptions that represent different instances of the system behavior. Snapshots are specified in an intuitive and graphical notation that considers the elements from the problem domain and permit designers to discuss and validate the externally observable behavior, together with the domain experts. In the second step (not fully covered in this manuscript), the system behavior is formalized with an executable model. This formal model, which in our approach is specified using the Colored Petri Net (CP-nets) language, allows the system internal behavior to be animated, simulated, and optimized. The insights gained by experimenting with the formal model can be subsequently used for reengineering the existing system.

show abstract

“…A closely related concept to composition is the one of open Petri nets which has been used in different contexts like the analysis of web services [25]. Numerous compositional approaches have been proposed for the modelling of complex applications but most of them are based on high-level Petri nets; see [11] for a detailed survey.…”

Section: Introductionmentioning

confidence: 99%

Channel Properties of Asynchronously Composed Petri Nets

Haddad

Hennicker

Møller

2013

Application and Theory of Petri Nets and Concurrency

View full text Add to dashboard Cite

Abstract. We consider asynchronously composed I/O-Petri nets (AIOPNs) with built-in communication channels. They are equipped with a compositional semantics in terms of asynchronous I/O-transition systems (AIOTSs) admitting infinite state spaces. We study various channel properties that deal with the production and consumption of messages exchanged via the communication channels and establish useful relationships between them. In order to support incremental design we show that the channel properties considered in this work are preserved by asynchronous composition, i.e. they are compositional. As a crucial result we prove that the channel properties are decidable for AIOPNs.

show abstract

Structuring and Composability Issues in Petri Nets Modeling

Cited by 73 publications

References 53 publications

Patterns and tools for business process monitoring customization

Patterns and tools for business process monitoring customization

Scenario-Based Modeling in Industrial Information Systems

Channel Properties of Asynchronously Composed Petri Nets

Contact Info

Product

Resources

About