Results 61 to 70 of about 23,744 (217)
The Algebraic Structure of Petri Nets
, 2004 This survey retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core
T-invariants for jumping Petri nets [PDF]
Computer Science Journal of Moldova, 2001 This paper introduces the notions of T-invariants for the class of finite jumping Petri nets, and extends the results concerning T-invariants from classical Petri nets.
Cristian Vidrascu
doaj
, 2023 These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’2023) to be held at June 27, 2023. The workshop is co-located with 44th International Conference on Application and Theory of Petri Nets and Concurrency (
core
On the Category of Petri Net Computations [PDF]
, 1995 We introduce the notion of strongly concatenable process as a refinement of concatenable processes [DMM89] which can be expressed axiomatically via a functor $Q[-]$ from the category of Petri nets to an appropriate category of symmetric strict monoidal ...
Vladimiro Sassone, Sassone, V.
core +1 more source
Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems [PDF]
Computer Science, 2002 The main aim ofthe paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow an ability to force a transition to fire ...
Tomasz Szmuc, Slawomir Samolej
doaj
Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey
IEEE Access, 2018 Mobile computing systems have generated many concerns. Numerous studies have been performed to model and analyze these systems. This paper focuses on the existing modeling and corresponding analyses methods for mobile computing systems based on formal ...
Zhijun Ding, Ru Yang
doaj +1 more source
Properties of Distributed Time Arc Petri Nets
, 2001 In recent work we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling.
Srba, J., Nielsen, M., Sassone, V.
core
Reversing Unbounded Petri Nets
, 2019 International audienceIn Petri nets, computation is performed by executing transitions. An effect-reverse of a given transition b is a transition that, when executed, undoes the effect of b.
Mikulski, Lukasz +5 more
core +2 more sources
ON YEN'S PATH LOGIC FOR PETRI NETS
, 2011 In [19], Yen defines a class of formulas for paths in Petri nets and claims that its satisfiability problem is EXPSPACE-complete. In this paper, we show that in fact the satisfiability problem for this class of formulas is as hard as the reachability ...
Atig, Mohamed Faouzi, +3 more
core +1 more source
Modeling of critical systems implementing negative events using dual Petri nets
MATEC Web of Conferences, 2018 This work is devoted to solving the problem of modeling critical systems based on the use of modified Petri nets. The dual (binary) Petri net one of the modifications, which allows us to view inversing events at the same time, solving the problem with ...
Ganzhur Marina A. +2 more
doaj +1 more source