Results 91 to 100 of about 23,744 (217)
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
A study of deadlocks and traps in petri nets
, 1988 Petri nets are used as models in the study of networks involving information flows. Petri nets have also turned out to be useful in the study of many asynchronous concurrent systems.In this thesis, the notions of deadlocks, traps, and liveness are ...
Bagga, Jay
core
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. [PDF]
Sensors (Basel), 2022 Grobelna I, Szcześniak P.
europepmc +1 more source
Petri nets for modelling and analysing trophic networks [PDF]
, 2015 We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) in an ecosys- tem. We observe that trophic networks can be naturally modelled as Petri nets and this suggests the possibility of ...
Cocco, Nicoletta +4 more
core
, 2019 The original publication is available at www.springerlink.com Reversing Steps in Petri Nets. In: Donatelli S., Haar S. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2019. Lecture Notes in Computer Science, vol 11522.
David de Frutos Escrig +5 more
core +2 more sources
On the modeling of infinite counters by ordinary Petri nets
Труды Института системного программирования РАН, 2018 This paper provides the analysis of the express power of Petri nets to model counters with infinite state space. The implementation relation for the counters modeling is suggested. A lack of Petri nets expression power for such modeling is shown.
L. V. Dvoryansky
doaj
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
Model Checking of Object Petri Nets in Prolog
, 2003 Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems. We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.
Farwer, Berndt, Leuschel, Michael
core
A case study in model-driven synthetic biology
, 2008 We report on a case study in synthetic biology, demonstrating the modeldriven design of a self-powering electrochemical biosensor. An essential result of the design process is a general template of a biosensor, which can be instantiated to be adapted ...
Heiner, M. +18 more
core +1 more source