Sciweavers

969 search results - page 34 / 194
» Recursive Petri nets
Sort
View
POPL
2009
ACM
14 years 10 months ago
Verifying liveness for asynchronous programs
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
APN
2007
Springer
14 years 4 months ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
14 years 6 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
Josep Carmona, Jordi Cortadella
ACSD
2005
IEEE
67views Hardware» more  ACSD 2005»
13 years 12 months ago
Hazard Detection in a GALS Wrapper: A Case Study
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
Christian Stahl, Wolfgang Reisig, Milos Krstic
EPK
2007
155views Management» more  EPK 2007»
13 years 11 months ago
From Process Models to Business Landscapes
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...
Oliver Kopp, Hanna Eberle, Tobias Unger, Frank Ley...