Results 61 to 70 of about 145,352 (236)
Bounded LTL Model Checking with Stable Models
, 2001 In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous systems a generalisation of communicating automata, 1-safe Petri nets, are used.
F. Fages +4 more
core +8 more sources
Feedback control logic synthesis for non safe Petri nets
, 2009 This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions.
Alla, Hassane, Dideban, Abbas
core +3 more sources
Mining structured Petri nets for the visualization of process behavior [PDF]
, 2016 Visualization is essential for understanding the models obtained by process mining. Clear and efficient visual representations make the embedded information more accessible and analyzable. This work presents a novel approach for generating process models
Adriansyah A. +6 more
core +1 more source
Deterministic Petri net languages as business process specification language. [PDF]
Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for ...
De Backer, Manu, Snoeck, Monique
core
Subtyping for Hierarchical, Reconfigurable Petri Nets
, 2018 Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure
Padberg, Julia
core
Model Petri Net Pengajuan KKN Mahasiswa Universitas Lampung
Contemporary Mathematics and Applications (ConMathA)The Petri Net (PN) model is a powerful mathematical representation for describing dynamic systems involving processes, states, and interactions between its elements.
Nur Hamzah +3 more
doaj +1 more source
Моделирование и анализ информационных систем, 2010 A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC format into a monochrome Petri net is suggested.
M. G. Dorrer
doaj
Lower and upper bounds of shortest paths in reachability graphs
International Journal of Mathematics and Mathematical Sciences, 2004 We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at
P. K. Mishra
doaj +1 more source
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
, 2013 Answering realistic questions about biological systems and pathways similar to the ones used by text books to test understanding of students about biological systems is one of our long term research goals.
Anwar, Saadat +2 more
core +1 more source
Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets
IEEE Access, 2018 An auction is a crucial resource allocation mechanism for a supply chain and includes the purchasing price at the winner's bid value, eligible suppliers in winning bidder sets, and business payment terms. A multi-object auction usually involves two types
Xiaodan Zhang +4 more
doaj +1 more source