Results 161 to 170 of about 462,160 (174)

Deriving algebraic Petri net specifications from structured analysis—a case study

Information and Software Technology, 1995
Xudong He
exaly  

Algebra of regular Petri nets

Cybernetics, 1980
openaire   +2 more sources

PETRI NETS, EVENT STRUCTURES AND ALGEBRA

2006
openaire   +2 more sources

An algebra for parallelism based on petri nets

1978
openaire   +1 more source

Integral Implementation of Higher-Order Algebraic Petri Nets in Maude

Lecture Notes in Computer Science
Lorenzo Capra, Michael Kohler-Bußmeier   +1 more
exaly  

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios

2014
Didier Buchs
exaly  

Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques

Automatica
Mohamed Ghazel
exaly  

State space analysis of Petri nets with relation-algebraic methods

Journal of Symbolic Computation, 2009
exaly  

Translation from Petri nets into Boolean equations for the algebraic design of logic controllers

2011
E López-Mellado
exaly  

Process Algebras for Petri Nets

2017
openaire   +1 more source