TY - JOUR
T1 - A mathematical logic validation procedure for petri nets models
AU - Königsberg, Zvi Retchkiman
PY - 2017/1/1
Y1 - 2017/1/1
N2 - © 2017 Academic Publications, Ltd. A discrete event system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals.. Place-Transitions Petri nets, commonly called Petri nets, are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution. This paper proposes a formal modeling and validation mathematical analysis methodology, which consists in representing the Petri net model of a discrete event system, by means of a formula in the propositional calculus logic. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, qualitative methods for validation are addressed.
AB - © 2017 Academic Publications, Ltd. A discrete event system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals.. Place-Transitions Petri nets, commonly called Petri nets, are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution. This paper proposes a formal modeling and validation mathematical analysis methodology, which consists in representing the Petri net model of a discrete event system, by means of a formula in the propositional calculus logic. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, qualitative methods for validation are addressed.
U2 - 10.12732/ijpam.v115i455.14
DO - 10.12732/ijpam.v115i455.14
M3 - Article
SN - 1311-8080
SP - 351
EP - 363
JO - International Journal of Pure and Applied Mathematics
JF - International Journal of Pure and Applied Mathematics
ER -