62 search results - page 1 / 13 » Two polygraphic presentations of Petri nets |
13
Voted
CORR
2006
Springer
13 years 4 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
APN
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
WSC
2007
13 years 7 months ago
2007
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
ACTA
2007
13 years 4 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...