Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals

Teruel, Enrique; Colom, José Manuel; Silva, M.

doi:10.1109/3468.553226

Cited by 77 publications

(120 citation statements)

References 14 publications

Supporting

Mentioning

119

Contrasting

Order By: Relevance

“…In complex models, distant split-join pairs can be quite difficult to trace. In general such interdependencies can be analyzed using the reachability graph, but many analyses can be performed also structurally (see [29]). Experts modelers tend to use structural heuristics for investigating the behavior of a process model.…”

Section: B Factors Of Process Model Understandingmentioning

confidence: 99%

A Study Into the Factors That Influence the Understandability of Business Process Models

Reijers

Mendling

2011

IEEE Trans. Syst., Man, Cybern. A

225

163

View full text Add to dashboard Cite

Abstract-Business process models are key artifacts in the development of information systems. While one of their main purposes is to facilitate communication among stakeholders, little is known about the factors that influence their comprehension by human agents. On the basis of a sound theoretical foundation, this paper presents a study into these factors. Specifically, the effects of both personal and model factors are investigated. Using a questionnaire, students from three different universities evaluated a set of realistic process models. Our findings are that both types of investigated factors affect model understanding, while personal factors seem to be the more important of the two. The results have been validated in a replication that involves professional modelers.

show abstract

Section: B Factors Of Process Model Understandingmentioning

confidence: 99%

A Study Into the Factors That Influence the Understandability of Business Process Models

Reijers

Mendling

2011

IEEE Trans. Syst., Man, Cybern. A

225

163

View full text Add to dashboard Cite

show abstract

“…In FA nets there is only one configuration matrix and it is square. Furthermore, a strongly connected FA net is Ct iff it is Cv (Teruel, Colom & Silva (1997)), thus, ∀λ it is λ-Ct iff it is λ-Cv. In such case, closedform expressions for basis for P-and T-semiflows can be obtained.…”

Section: Choice-free and Fork-attribution Netsmentioning

confidence: 99%

Timing-dependent boundedness and liveness in continuous Petri nets

Vázquez

Silva

2010

IFAC Proceedings Volumes

View full text Add to dashboard Cite

The very classical structural boundedness and repetitiveness properties for discrete and untimed models are reconsidered for timed continuous Petri nets (T CP N ), under infinite server semantics. The timing is here involved in the analysis, by taking advantage of its matricial characterization and properties analogous to conservativeness and consistency are defined. It is shown that such properties are sufficient for timed boundedness and timed liveness, respectively, even if the untimed model does not exhibit them. The rest of the paper is devoted to study these timing-dependent boundedness and liveness.

show abstract

“…When F is empty, the system is a cycle (Teruel et al, 1997) and measuring one place the system is observable.…”

Section: Attribution Free Petri Netsmentioning

confidence: 99%

Optimal Observability for Continuous Petri Nets

Mahulea

Recalde

Silva

2005

IFAC Proceedings Volumes

View full text Add to dashboard Cite

show abstract

Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals

Cited by 77 publications

References 14 publications

A Study Into the Factors That Influence the Understandability of Business Process Models

A Study Into the Factors That Influence the Understandability of Business Process Models

Timing-dependent boundedness and liveness in continuous Petri nets

Optimal Observability for Continuous Petri Nets

Contact Info

Product

Resources

About