135 Hits in 8.7 sec

Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance

Meriem Kherbouche, Galena Pisoni, Bálint Molnár
2022 Applied System Innovation  
We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable  ...  We investigate the utilization of blockchain technology for model checking of Workflow, Business Processes to ensure consistency, integrity, and security in a dynamically changing business environment.  ...  Since the model transformation helps to minimize the development time of the system, thereby reducing the "time-to-market" factor of the final product [8] , we transform the model into Petri nets after  ... 
doi:10.3390/asi5010010 fatcat:64sbcwzoqrc7lcnvmleaox3k4i

Timing Constraints Support on Petri-Net Model for Healthcare System Design [article]

Sabri Mtibaa, Moncef Tagina
2012 arXiv   pre-print
Thanks to Hierarchical Timed Predicate Petri-Net based conceptual framework, desirable properties such as deadlock free and safe as well as timing constraints satisfiability can be easily checked by designer  ...  Since healthcare process exists in temporal context, timing constraints satisfiability verification techniques are growing to enable designers to test and repair design errors.  ...  F is a finite set of arcs representing healthcare process action flow. HPN is Healthcare Objects structured Petri Net which describes the structure and manual dependence of set healthcare objects.  ... 
arXiv:1210.5374v1 fatcat:76yyec75jjac3f3sifttyuhl64

An Edge Computing Based Smart Healthcare Framework for Resource Management

Soraia Oueida, Yehia Kotb, Moayad Aloqaily, Yaser Jararweh, Thar Baker
2018 Sensors  
In this paper, we propose a resource preservation net (RPN) framework using Petri net, integrated with custom cloud and edge computing suitable for ED systems.  ...  The revolution in information technologies, and the spread of the Internet of Things (IoT) and smart city industrial systems, have fostered widespread use of smart systems.  ...  Workflow nets are Petri nets with a single input place i and a single output place o. The proposed Petri net model, RPN, is a workflow net that is validated using discrete mathematics.  ... 
doi:10.3390/s18124307 fatcat:nmvyrpuxwnennfb42cfhfljiyi

Process Support for Continuous, Distributed, Multi-party Healthcare Processes - Applying Workflow Modelling to an Anticoagulation Monitoring Protocol [chapter]

Ian McChesney
2016 Lecture Notes in Computer Science  
To further illustrate its relevance, we apply a workflow modelling approach to the specification and analysis of an anticoagulation monitoring protocol, illustrating a Petri Net-based solution using YAWL  ...  and Coloured Petri Nets.  ...  Petri Net and workflow technologies.  ... 
doi:10.1007/978-3-319-48746-5_26 fatcat:xpqyozmqgzgtbfpq63o5424rxy

Conventional Usage of Finite State Machine over Petri Net inWeb Service Change Management Framework

M. Thirumaran, P. Dhavachelvan, D. Aishwarya, K. Rajakumari
2013 Information Engineering Research Institute procedia  
Structure Finite state machine consists of two main components namely state and transition whereas Petri netsconsists of four main components namely places, transition, arcs and tokens.  ...  Petri nets notation is used for representation of the main routing constructs as well as for the workflow process description.  ... 
doi:10.1016/j.ieri.2013.11.016 fatcat:clbgoy6m65a2tewmb5kkhguwzq

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 20-22, 2008

Kurt Jensen
2008 DAIMI Report Series  
This booklet contains the proceedings of the Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 20-22, 2008.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  This work was supported by Končar -Electrical Engineering Institute, Croatia, and the Ministry of Science, Education and Sports of the Republic of Croatia. Acknowledgements.  ... 
doi:10.7146/dpb.v37i588.7188 fatcat:46y3jj345zha7etipizaaoiism

Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007

Kurt Jensen
2007 DAIMI Report Series  
This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  Burger of the gynaecological oncology department for the time spent, on explaining the gynaecological oncology healthcare process. Acknowledgements.  ... 
doi:10.7146/dpb.v36i584.7197 fatcat:fmzu5qetpnd6dpflqsuggbt7mm

Checking and Enforcing Security Through Opacity in Healthcare Applications [chapter]

Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane
2018 Lecture Notes in Computer Science  
Our main contributions are the use of a tool to verify opacity in three of its forms, so as to detect privacy leaks in our system.  ...  In this work, we seek to introduce an IoT-based heart attack detection system, that could be life-saving for patients without risking their need for privacy through the verification and enforcement of  ...  We can represent it using a Workflow net, a subclass of Petri nets.  ... 
doi:10.1007/978-3-319-91764-1_13 fatcat:hg3erhtow5h6feefox4wmrbh2m

Formal Verification of Control and Operational Behaviors in Industrial Internet of Things Services Composition

2021 International Journal of Advanced Trends in Computer Science and Engineering  
Then the composition of open Time Petri Nets is guaranteed via superimposing the interface places and thus obtaining a Time Petri Net modeling the composite process.  ...  We propose first to model each process involved in the composition by open Time Petri Nets. These nets offer interface places for the purpose of process communication with the other processes.  ...  Basically, a Petri net consists of a directed graph composed of transitions and places connected via arcs.  ... 
doi:10.30534/ijatcse/2021/381022021 fatcat:utjwigkhzjgyfp6qdfpew2fe74

Modeling and analyzing biomedical processes using workflow/Petri Net models and tools

Mor Peleg, Samson Tu, Abhijit Manindroo, Russ B Altman
2004 Studies in Health Technology and Informatics  
We have been exploring the use of Petri Net (PN) tools to study the behavior of systems that are represented using three kinds of biomedical models: a biological workflow model used to represent biological  ...  These analysis tools enabled us to simulate and study the behavior of two biomedical systems: a Malaria parasite invading a host cell, and patients undergoing management of chronic cough.  ...  Acknowledgements Supported in part by: (1) Grant LM06594 with support from the Department of the Army, Agency for Healthcare Research and Quality, and the National Library of Medicine (NLM), (2) .  ... 
pmid:15360778 fatcat:konj4rlxm5h25k42bi7ivpsb2m

Analyzing the Safety of Workflow Authorization Models [chapter]

Wei-Kuang Huang, Vijayalakshmi Atluri
1999 Database Security XII  
Workflow Management Systems (WFMS) are being widely used today by organizations to coordinate the execution of various applications representing their day-to-day tasks.  ...  The analysis is carried out by modeling WAM as a suitable Petri net (PN) and by utilizing the well-established analysis techniques of PNs. S. Jajodia (ed.), Database Security XII  ...  Our CTPN is an extension of colored and timed Petri nets [7) , which in turn are extensions of an ordinary Petri net.  ... 
doi:10.1007/978-0-387-35564-1_3 fatcat:kt6mpfonhvdatoax6hlnawfyo4

Modeling Clinical Guidelines through Petri Nets [chapter]

Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani
2009 Lecture Notes in Computer Science  
Petri Nets are a natural candidate formalism to cope with GL semantics, since they are explicitly geared towards the representation of processes, and are paired with powerful verification mechanisms.  ...  We show how Petri Nets can cope with the semantics of GLs in a clear way, taking the system GLARE formalism as a case study.  ...  In the future, we plan to investigate PN-based GL verification as well, and to complete the integration (and testing) of our approach within the GLARE system.  ... 
doi:10.1007/978-3-642-02976-9_8 fatcat:rnk2oh23v5fy7hawtniajekrgu

Processes driving the networked economy

A.P. Sheth, W. Van Der Aalst, I.B. Arpinar
1999 IEEE Concurrency  
This article proposes that an organic workflow-process technology will power the evolution of information system architecture.  ...  Workflow S peed and distribution will characterize every aspect of most business and organizational undertakings in the next millennium.  ...  Several groups around the world are working on verification techniques for workflow-process definitions. Most of these groups use techniques based on Petri net theory.  ... 
doi:10.1109/4434.788776 fatcat:5e3ts6n7qzg3xgndu5wlqox3e4

Modeling cyberattacks with extended Petri nets

Mikel D. Petty, Tymaine S. Whitaker, E. Michael Bearss, John A. Bland, Walter Alan Cantrell, C. Daniel Colvett, Katia P. Maxwell
2022 Proceedings of the ACM Southeast Conference  
The models are expressed using a form of Petri nets extended with additional features specific to modeling cyberattacks, including representations of the attacker and defender, their strategies, and the  ...  This process uses application-relevant verification and validation methodologies. Finally, the validated cyberattack model is executed in order to simulate cyberattacks on the target computer system.  ...  The semantics of Petri nets are oriented towards modeling sequence, concurrency, and synchronization in processes, networks, and workflows [37] .  ... 
doi:10.1145/3476883.3520209 fatcat:p3iosukekvfdhcx7uzxgo7wi7e

Schedule-Aware Workflow Management Systems [chapter]

Ronny S. Mans, Nick C. Russell, Wil M. P. van der Aalst, Arnold J. Moleman, Piet J. M. Bakker
2010 Lecture Notes in Computer Science  
One of the problems when applying workflow technology in such domains is the lack of calendar-based scheduling support.  ...  Using CPN Tools we have developed a specification and simulation model for schedule-aware workflow management systems.  ...  Fig. 6 . 6 CP Net component for the workflow engine component. Fig. 7 . 7 Screenshot of the YAWL editor showing the initial stages of the gynecological oncology healthcare process.  ... 
doi:10.1007/978-3-642-18222-8_6 fatcat:rq6hzptp3veyzh44oavlxenmgi
« Previous Showing results 1 — 15 out of 135 results