1019 search results - page 162 / 204 » Petri Net Transformations in the |
ICCAD
1994
IEEE
14 years 4 days ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
LICS
1990
IEEE
14 years 2 days ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
ASPDAC
2007
ACM
14 years 21 hour ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
GTTSE
2007
Springer
13 years 12 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
APN
2006
Springer
13 years 11 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...