Parallel Algorithm for Petri Object Simulation

Stetsenko, Inna V.

doi:10.1007/s10559-017-9963-1

Cited by 2 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Мережа Петрі об'єкта Queuing з групи складається з 4 триплетів позиція -дуга -перехід та 4 триплетів перехід-дуга -позиція. Імітація моделі здійснюється виконанням таких дій [11]: -виконати вхід маркерів в переходи для всіх об'єктів; -доки не вичерпаний час моделювання:…”

Section: прикладні засоби програмування та програмне забезпеченняunclassified

The translator of Petri-object model visual programming language

Dyfuchyn¹

2022

View full text Add to dashboard Cite

High-level programming tools are aimed at increasing the development speed of complex programs due to automation within the routine actions of the programmer, reducing the number of coding errors and reducing the code in general. Visual programming involves coding based on a visual representation of a task for the computational process instead of a textual one. The translator of the visual programming language of Petri-object models is designed and built according to the defi ned formal grammar of the language and Petri-object model formalism. It performs the transformation of the visual representation of the model into the calculation of the simulation algorithm. The advantages of the developed language are a small alphabet of symbols, the opportunity for replication of objects and connections between them, and the versatile application for the discrete-event systems models development.

show abstract

Section: прикладні засоби програмування та програмне забезпеченняunclassified

The translator of Petri-object model visual programming language

Dyfuchyn¹

2022

View full text Add to dashboard Cite

show abstract

“…There are other extensions in Petri net model for different problems. For example, a time Petri net is introduced in [21] which looks into concurrency in business processes; a parallel algorithm for Petri object simulation in stochastic Petri net is developed in [22]; a wider Petri net called Open net is discussed in [23].…”

Section: Bpmn Model Bpmn and Related Workmentioning

confidence: 99%

Query Data Inconsistency for Business Processes

Tang

Yang

2019

2019 IEEE World Congress on Services (SERVICES)

View full text Add to dashboard Cite

Business processes are designed to achieve business goals under procedural rules by orchestrating tasks, information and documents. Managing data inconsistency in business processes is a challenging task. If not managed properly, business will face negative financial consequences.For instance, in a typical service business process, dispatching invoice depends on service being ready. When starting to dispatch invoice, if the service is not yet deployed, the invoice will be wrong and there may be financial damage to the business. From literatures, some work provides modelling for business process execution with notations of activities, events and flows and deals with inconsistency problem by patterns; some work analyses data generated in business process and investigates the reachability between data points. Although substantial works have been done, the data inconsistency problem has not been properly resolved. In particular, it is still lacking of modelling language and resolution for inconsistency caused by multiple starting points of business processes and dynamics of business processes execution.This thesis provides data consistency solution in three aspects: a business process modelling in enriched business workflow notation with data states and temporal properties, a classification of data consistency categories, and a workflow query algorithm to discovery data inconsistency issue.

show abstract

Parallel Algorithm for Petri Object Simulation

Cited by 2 publications

References 6 publications

The translator of Petri-object model visual programming language

The translator of Petri-object model visual programming language

Query Data Inconsistency for Business Processes

Contact Info

Product

Resources

About