Petri nets augmented with time are interesting models which can be used for the modelling
and analysis of a wide range of concurrent discrete-event systems. In this paper, the nature …

The study is concerned with a new temporal version of fuzzy Petri nets—fuzzy timed Petri
nets (ftPNs). These nets are augmented by temporal fuzzy sets that allow for the …

The objective of this work is to give Merlin's time Petri nets a partial order semantics based
on the nonsequential process semantics for untimed net systems. A time process of a time …

The objective of this work is to give time Petri nets a partial order semantics, akin to the
nonsequential processes of untimed net systems. To this end a time process of a time Petri …

The intention of the paper is towards a framework for developing, studying and comparing
observational equivalences in the setting of a real-time true concurrent model. In particular …

Abstract Time Petri nets (TPNs) are a classical extension of Petri nets with timing constraints
attached to transitions, for which most verification problems are undecidable. We consider …

Time Petri nets (TPNs)(Merlin 1974) are a classical extension of Petri nets with timing
constraints attached to transitions, for which most verification problems are undecidable. We …

In the paper, timed extensions of various classes of event structures and marked Scott
domains are studied, categories of these models are constructed, and their properties are …

In the paper, we study a family of testing equivalences in interleaving, partial-order
semantics, and combined semantics in the context of safe time Petri nets (elementary net …

In this paper we use partial order semantics to express the truly concurrent behaviour of
Interval-Timed Petri nets (ITPNs) in their most general setting, ie with autoconcurrency and …