Results 21 to 30 of about 173,288,013 (91)
Algebraic Models for Contextual Nets
, 2000 We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net ...
Bruni, R., Sassone, V.
core +2 more sources
Two Algebraic Process Semantics for Contextual Nets
, 2001 We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
SASSONE V. +5 more
core +2 more sources
On the Semantics of Place/Transition Petri Nets
, 1997 Place/Transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the 'token game' is too intensional, even in its more abstract interpretations in ...
Meseguer, J., Montanari, U., Sassone, V.
core +2 more sources
Saúde e Sociedade, 2009 Neste artigo, analisamos o movimento de um grupo de Ação Solidária denominado Associação Brasileira de Expostos ao Amianto do Rio de Janeiro (ABREA/RJ).
Vanda D'Acri +3 more
doaj +1 more source
, 2021 We explore the space of (0, m, 2)-nets in base 2 commonly used for sampling. We present a novel constructive algorithm that can exhaustively generate all nets - - up to m-bit resolution - - and thereby compute the exact number of distinct nets.
Ahmed, Abdalla G.M., Wonka, Peter
core +1 more source
Empowering Healthcare, Economic, and Social Resilience during Global Pandemic Covid-19
International Journal of Technology, 2020 The World Health Organization (WHO) declared COVID-19 to be a world health emergency in early 2020. Many governments quickly responded by strategizing their policies to support healthcare facilities, economic sectors, and social safety nets during ...
Mohammed Ali Berawi
doaj +1 more source
On the complexity of mCP-nets [PDF]
, 2016 mCP-nets are an expressive and intuitive formalism based on CP-nets to reason about preferences of groups of agents. The dominance semantics of mCP-nets is based on the concept of voting, and different voting schemes give rise to different dominance ...
E Malizia (21870734) +1 more
core +2 more sources
Psico-USF, 2009 Trata-se de um estudo de caso cujo objetivo foi investigar a afetividade intergrupal com base na implantação de política afirmativa para o ingresso de negros nas universidades públicas.
Maria da Penha Nery +1 more
doaj +1 more source
Characterizing Behavioural Congruences for Petri Nets
, 1995 We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and ...
Priese, L., Nielsen, M., Sassone, V.
core +2 more sources
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
, 2022 S.208-229We use sequences of t-induced T-nets and p-induced P-nets to convert free-choice nets into T-nets and P-nets while preserving properties such as well-formedness, liveness, lucency, pc-safety, and perpetuality.
Aalst, W.M.P. van der
core +1 more source