137,242 Hits in 4.2 sec

Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems

Abdul Rehman, Nadeem Akhtar, Omar H. Alhazmi, Tomàs Margalef
2021 Scientific Programming  
We have used formal modeling and model-checking based on state-of-the-art hierarchical CP-Nets supported by exhaustive formal proof obligations of Event-B.  ...  This information is processed to determine the flood intensity level. We have developed a CP-Nets' formal model and model-checked it.  ...  Transformation from CP-Nets-Based Model to Event-B Formal Proofs e Event-B method and CP-Nets are two industry-recognized tools.  ... 
doi:10.1155/2021/6685978 fatcat:bpyma5lidbgffk5mbhfxlkti34

Formal Aspects of Enterprise Modeling Methods: A Comparison Framework

Domenik Bork, Hans-Georg Fill
2014 2014 47th Hawaii International Conference on System Sciences  
In this paper we analyze and compare six common enterprise modeling methods in regard to the formalization of their process-related aspects.  ...  Thereby, the formalization of modeling methods is essential to unambiguously define their structure, behavior, and semantics, and enable an intersubjective understanding and machine-processability.  ...  Based on these foundations we present a framework for analyzing the degree of formalization of enterprise modeling methods.  ... 
doi:10.1109/hicss.2014.422 dblp:conf/hicss/BorkF14 fatcat:gmprefzzrvfpli3w5zqy5aheum

Modeling and Optimization for Collaborative Business Process Towards IoT Applications

Yongyang Cheng, Shuai Zhao, Bo Cheng, Shoulu Hou, Yulong Shi, Junliang Chen
2018 Mobile Information Systems  
In this paper, we propose a novel modeling methodology and optimization algorithm for collaborative business process towards IoT applications.  ...  We initially extend the traditional Petri nets with sensing event factor.  ...  Optimization Algorithms In the previous section, we have introduced the formal modeling method for collaborative business process towards IoT applications in the forest-protection scenario using extended  ... 
doi:10.1155/2018/9174568 fatcat:wjgdzecyivaajdi3mmtfcqjfdu

Simulation Based Design of Control Systems Using DEVS and Petri Nets [chapter]

Radek Kočí, Vladimír Janoušek
2009 Lecture Notes in Computer Science  
Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation.  ...  The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing  ...  While OOPN is the object based formalism, DEVS serves as a component based framework for embedding other formalisms.  ... 
doi:10.1007/978-3-642-04772-5_109 fatcat:p6wka24m4baltgmrnhpulzv3ui

Log-Based Simplification of Process Models [chapter]

Javier De San Pedro, Josep Carmona, Jordi Cortadella
2015 Lecture Notes in Computer Science  
This paper presents a collection of log-based techniques to simplify process models.  ...  The visualization of models is essential for user-friendly human-machine interactions during Process Mining.  ...  We would also like to thank to Seppe vanden Broucke, Jorge Munoz-Gama and Thomas Gschwind for their great help in the experiments.  ... 
doi:10.1007/978-3-319-23063-4_30 fatcat:q2x3m5qnije6fgmpetmnntcf5u

MIVAR: Transition from Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules [article]

Oleg O. Varlamov
2011 arXiv   pre-print
The results of experiments that confirm a linear computational complexity of the MIVAR method of information processing are given.  ...  The linear computational complexity of algorithms for automated building of objects and rules of the MIVAR nets is theoretically proved.  ...  The formalized description of the method of logical and computational data processing is analogical to the bipartite graph of the MIVAR logic net, showed on Pic.2.  ... 
arXiv:1111.1321v1 fatcat:dstladjfhfeivlfmlm7dlpqasq

Dynamic-Stochastic Influence Diagrams: Integrating Time-Slices Ids And Discrete Event Systems Modeling

Xin Zhao, Yin-Fan Zhu, Wei-Ping Wang, Qun Li
2010 Zenodo  
This paper enhances the Time-Sliced Influence Diagrams (TSIDs, or called Dynamic IDs) based formalism from a Discrete Event Systems Modeling and Simulation (DES M&S) perspective, for Exploring Analysis  ...  The Influence Diagrams (IDs) is a kind of Probabilistic Belief Networks for graphic modeling.  ...  As a model-based method, EA needs suitable model form for analysis supporting.  ... 
doi:10.5281/zenodo.1063375 fatcat:cx4vwhkpa5cojo7qsydjph2vlu

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)

David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Vardi, Gera Weiss
We propose an approach for integrating AI and ES techniques in developing complex intelligent systems, which can greatly simplify agile/spiral development and maintenance processes.  ...  ., Statecharts and scenario-based programming, is a promising development approach, offering intuitiveness, ease of enhancement, compositionality, and amenability to formal analysis.  ...  Even so, the development artifacts of complex reactive systems normally prescribe local reactions to events and conditions, and not the pursuit of overall system goals as is often the case in AI-based  ... 
doi:10.1609/aaai.v33i01.33019770 fatcat:kyyjk5f32fhw5dxhnzhlilltwe

Challenges in Application of Petri Nets in Manufacturing Systems

Iwona Grobelna, Andrei Karatkevich
2021 Electronics  
Petri nets are a useful mathematical formalism for specification of manufacturing systems, supported by various analysis and verification methods.  ...  Trends for the future are also identified.  ...  Formal verification can also be applied for specifications based on Petri nets [12, 13, 44, 120] .  ... 
doi:10.3390/electronics10182305 fatcat:nptvladai5dszcub7eelx5sbvq

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems.  ...  It has been observed that in practice Petri Nets lack of modeling power for some modeling dimensions such as: timing aspects, data structures, stochastic processes and event priority.  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

Special issue on Modeling of Reactive Systems

Claude Martinez, Olivier H. Roux
2011 Discrete event dynamic systems  
These invitations reflected the variety of problems related to the study of discrete event systems that were discussed at MSR 2009.  ...  In the end, four papers were selected for inclusion in this special issue.  ...  The authors propose a first solution that is adequate for a particular subclass of Time Petri nets but that significantly increases the complexity of components.  ... 
doi:10.1007/s10626-011-0108-9 fatcat:6gvuzbp2grct3p3lab6cplhw4u

The importance of business process modeling in software systems design

Joseph Barjis
2008 Science of Computer Programming  
The proposed method is based on the innovative language-action perspective.  ...  After two decades of this problem reoccurring, one of the leading causes for the high failure rate is still poor process modeling (requirements' specification).  ...  These techniques are event-based modeling, while Petri net approach is state-based modeling. However, a real business process modeling method based on Petri net is still lacking.  ... 
doi:10.1016/j.scico.2008.01.002 fatcat:4t5rk3jv5bc2rjbss7dc3ykfkq

Requirements Towards A Formal Specification Language For Plcs

Dániel Darvas, István Majzik, Enrique Blanco Viñuela
2015 Zenodo  
There are no widely used specification methods that could serve as input for formal verification; also that could help the developers to capture the behaviour and handle the complexity of these programs  ...  One of the main obstacles of using formal verification for complex PLC (Programmable Logic Controller) programs is the lack of formal requirements.  ...  SUMMARY AND FUTURE WORK This paper described a first step towards a new formal specification language for complex PLC programs.  ... 
doi:10.5281/zenodo.14907 fatcat:fkvjz7pzbbhpnmwuhmf4bezrmm

A formal specification framework for smart grid components

Waseem Akram, Muaz A. Niazi
2018 Complex Adaptive Systems Modeling  
The term 'smart' in the smart grid exemplifies the use of advanced technology such as bi-directional communication, artificial intelligence (Tokody et al. 2018) , Complex systems theory (Iantovics et al  ...  communication and information systems, Smart grid components can communicate and coordinate with each other with the goal of constructing a sustainable and efficient energy production system (Gungor et al. 2011) for  ...  Besides, it can also allow for ensuring a reduction in system failures. Formal methods provide facilities for the modeling of each component of any complex system (Hall 1990) .  ... 
doi:10.1186/s40294-018-0057-3 fatcat:uvinr24y5zad5pwramzu45kiee

Discovering distributed processes in supply chains [chapter]

Laura Maruster, J. C. Hans Wortmann, A. J. M. M. Ton Weijters, W. M. P. Wil Aalst
2003 Collaborative Systems for Production Management  
Keywords Supply chain, workflow management systems, process mining, Petri nets. H. S. Jagdev et al. (eds.), Collaborative Systems for Production Management  ...  In this paper we present an overview of methods available to discover processes across supply chains, based on the assumption that there is a common point of reference at all involved parties, e.g. an  ...  We try to develop methods that respect these four requirements. As modelling formalism we chose the Petri nets.  ... 
doi:10.1007/978-0-387-35698-3_16 fatcat:xdaq47lz75cjjfhgukigdbttzq
« Previous Showing results 1 — 15 out of 137,242 results