746 Hits in 6.5 sec

Modelling and analyzing the authorization and execution of video workflows

Ligang He, Chenlin Huang, Kenli Li, Hao Chen, Jianhua Sun, Bo Gao, Kewei Duan, Stephen A. Jarvis
2011 2011 18th International Conference on High Performance Computing  
The Color Timed Petri-Net (CTPN) formalism is applied to construct the models.  ...  Various types of authorization constraint are modeled in this paper, and scheduled activities are also supported in the model.  ...  Some of that research also uses Petri-nets to model authorization constraints.  ... 
doi:10.1109/hipc.2011.6152727 dblp:conf/hipc/HeHLCSGDJ11 fatcat:n7gdofubcrfrdfnuq2rulguydu

Computational systems biology in drug discovery and development: methods and applications

Wayne Materi, David S. Wishart
2007 Drug Discovery Today  
The need to model complex temporal and spatiotemporal processes at many different scales has led to the emergence of numerous techniques, including systems of differential equations, Petri nets, cellular  ...  automata simulators, agent-based models and pi calculus.  ...  Acknowledgements The authors wish to thank the National Institute for Nanotechnology (NINT), the National Research Council of Canada (NRC) and Genome Alberta, a division of Genome Canada, for financial  ... 
doi:10.1016/j.drudis.2007.02.013 pmid:17395089 fatcat:xc5hko7hivdftf3g4qo4qcqkmi

Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language

Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Dario Serey Guerrero
2005 Electronical Notes in Theoretical Computer Science  
In this paper we propose a timed extension for RPOO, a Petri-net based object-oriented modeling language.  ...  RPOOt showed to be easily integrated with Timed Coloured Petri Nets, providing means for modeling time consuming activities inside objects as well as among objects.  ...  Since the main objective is to use TCP-nets to describe the objects behavior, the Petri net models that represent the objects internal behavior in this case study are strongly influenced by the models  ... 
doi:10.1016/j.entcs.2005.03.011 fatcat:3gdbuptgkvfhtmjvk6rco3hkrq

Cluster Tools With Chamber Revisiting—Modeling and Analysis Using Timed Petri Nets

W.M. Zuberek
2004 IEEE transactions on semiconductor manufacturing  
A systematic development of detailed tool schedules, based on a general behavioral description of the tool, is proposed and is used to derive the corresponding Petri net models.  ...  Timed Petri nets are formal models of discrete concurrent systems.  ...  A timed colored net models all possible behaviors of the analyzed manufacturing system, and the genetic algorithm explores this space of behaviors with the objective of finding an optimal or near-optimal  ... 
doi:10.1109/tsm.2004.831524 fatcat:hn3vebrxrjeuletwx7zi32rgni

On CPN-based verification of hierarchical formalization of UML 2 Interaction Overview Diagrams

Aymen Louati, Chadlia Jerad, Kamel Barkaoui
2013 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO)  
Afterward, we complete the mapping of IOD, Sequence Diagrams and Timing Diagrams into Hierarchical Colored Petri Nets (HCPNs) using the Timed colored Petri Nets (timed CP-net).  ...  Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fact that its semantics  ...  They allow checking temporal properties. Also in [16] , [17] , MARTE and SysML are used for mapping IOD and activities into a Time PN with energy constraints.  ... 
doi:10.1109/icmsao.2013.6552703 fatcat:f3ogzc5gcrcznm4wlcu54ouoty

Formal schedulability analysis based on multi-core RTOS model

Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux
2021 29th International Conference on Real-Time Networks and Systems  
The operating system as a whole is modeled by a High-level Petri net reproducing the control flow and using the same variables as those of the implementation.  ...  Each task of the application is represented by a Stopwatch Petri Net whose transitions carry Best-Case Execution Time and Worst-Case Execution Time [𝐵𝐶𝐸𝑇 ,𝑊 𝐶𝐸𝑇 ] firing intervals and make service  ...  The term High-level Petri net is then used for many Petri nets [19] such as Predicate/Transition Nets, colored Petri nets, or hierarchical Petri nets.  ... 
doi:10.1145/3453417.3453437 fatcat:stxv72lgvjfjhojmjaxtn7ntqe

Interpreted collaboration protocols and their use in groupware prototyping

Richard Furuta, P. David Stotts
1994 Proceedings of the 1994 ACM conference on Computer supported cooperative work - CSCW '94  
The correct and timely creation of systems for coordination of group work depends on the ability to express, analyze, and experiment with protocols for managing multiple work threads.  ...  In Trellis, group interaction protocols are represented separately from the interface processes use them for coordination.  ...  Semantic nets and link typing may be as useful for pure hypertext description. Object-based message passing languages are probably as appropriate for expressing parallel threads.  ... 
doi:10.1145/192844.192888 dblp:conf/cscw/FurutaS94 fatcat:7xrwk2mhvzbf7nrbupbcvtljmi

Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification

Chalika Saksupawattanakul, Wiwat Vatanawood
2018 Engineering Journal  
From a practical point of view, the timed Petri net is commonly used to graphically model and illustrate the view of the timed behavior of real-time software systems, which is a good basis for an understanding  ...  However, there is a lack of development process software for the simulation of a timed Petri net.  ...  The Petri nets formalism is common to the formal model specifications for the concurrent system, with no time constraints in the first place.  ... 
doi:10.4186/ej.2018.22.4.161 fatcat:nxcpmmdc45anbk7xxdt6vvvg7y

Flexibility in Process-Aware Information Systems [chapter]

Manfred Reichert, Stefanie Rinderle-Ma, Peter Dadam
2009 Lecture Notes in Computer Science  
This often leads to rigid behavior or gaps between real-world processes and implemented ones.  ...  In response to this drawback, adaptive PAIS have emerged, which allow to dynamically adapt or evolve the structure of process models under execution.  ...  process schema S [18] ; i.e., S obeys the specific correctness constraints set out by the used process meta model (e.g., bipartite graph structure for Petri Nets).  ... 
doi:10.1007/978-3-642-00899-3_7 fatcat:mxsnewebmvhrvchxku7tkdw4by

RFID Complex Event Processing: Applications in Real-Time Locating System

Yao-zong Liu, Hong Zhang, Yong-li Wang
2012 International Journal of Intelligence Science  
We optimize the constraint of the event streams and propose a novel method to derive the constraint between objects, as well as the constraint between object and location.  ...  Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications.  ...  The following methods are available: Finite Automata models, Petri Net models, Match Tree models and models based on graph [1] .  ... 
doi:10.4236/ijis.2012.224021 fatcat:3ee3p53jovdrhhc4n6nuvd45p4

DALEC: a framework for the systematic evaluation of data-centric approaches to process management software

Sebastian Steinau, Andrea Marrella, Kevin Andrews, Francesco Leotta, Massimo Mecella, Manfred Reichert
2018 Journal of Software and Systems Modeling  
In particular, this article will provide a framework for systematically evaluating and comparing data-centric approaches, with regard to the phases of the business process lifecycle.  ...  The objective of this article is to gain profound insights into the maturity of different data-centric approaches as well as their capabilities.  ...  The Constraint-based Data-centric Approach uses colored Petri net tokens to represent data.  ... 
doi:10.1007/s10270-018-0695-0 fatcat:nxxbd3qamjg7jiyg6b4bn4gwvq

Description and Evaluation of Elasticity Strategies for Business Processes in the Cloud

Aicha Ben Jrad, Sami Bhiri, Samir Tata
2016 2016 IEEE International Conference on Services Computing (SCC)  
L'élasticité du Cloud Computing est la caractéristique principale derrière ce phénomène de migration.  ...  Titre : Description et évaluation de stratégies d'élasticité des processus métiers dans le Cloud Mots clés : Applications à base de services, Stratégies d'élasticité, Evaluation, Modèle d'élasticité, Cloud  ...  Colored Petri nets and Timed Coloured Petri nets represent popular classes of high-level Petri nets.  ... 
doi:10.1109/scc.2016.34 dblp:conf/IEEEscc/JradBT16 fatcat:kqvstjhhvncjnnyuajfnli6kci

Ontologies and Rules for Enterprise Modeling and Simulation

Gerd Wagner
2011 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops  
as Petri Nets and BPMN, which are exclusively focused on single business processes.  ...  Our approach, which unifies state structure and behavior modeling, leads to a more holistic model of an enterprise, and its multitude of business processes, compared to traditional BPM approaches, such  ...  Evaluating Classical Petri Nets The formalism of classical Petri Nets (PN) provides an abstract process modelling language with an intuitive and elegant graphical syntax.  ... 
doi:10.1109/edocw.2011.68 dblp:conf/edoc/Wagner11 fatcat:afv76cl6sbdajodpsymrjy4lbe

Verification of ArchiMate Behavioral Elements by Model Checking [chapter]

Piotr Szwed
2015 Lecture Notes in Computer Science  
The proposed solution employs model checking techniques. As a verification platform the state of the art symbolic model checker NuSMV is used.  ...  We describe a method of fully automated translation of behavioral elements embedded in ArchiMate models into a representation in NuSMV language, which is then submitted to verification with respect to  ...  Petri net models basically simulation techniques are used, especially in case of more expressive colored Petri nets.  ... 
doi:10.1007/978-3-319-24369-6_11 fatcat:umvukysuw5benffvb6bozi2u4m

Trusted Framework for Secured Information Storage over Cloud Environment

2015 International Journal of Science and Research (IJSR)  
Cloud orchestration involves cloud resources scaling up and down, management, as well as manipulation to better respond user's requests and to facilitate operational objectives of the service providers  ...  In this paper, we intend to tackle this problem, specifically for intrusion detection/ prevention and VPN/IPsec as main security mechanisms.  ...  [22] propose hierarchical colored Petri nets for specifying network data traffic and abstract functions for modelling IPsec mechanisms operations.  ... 
doi:10.21275/v4i11.nov151117 fatcat:cyevatbobveqfczt33bqozyv74
« Previous Showing results 1 — 15 out of 746 results