MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Petri Nets and Dependability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

Petri Nets and Dependability
by Simona Bernardi, Andrea Bobbio, Susanna Donatelli — 2004 — Lectures on Concurrency and Petri Nets: Advances in Petri Nets, volume 3098 of Lecture Notes in Computer Science
…Petri Nets and dependability Simona Bernardi 1 , Andrea Bobbio 2 , and Susanna Donatelli 1 1…
Cited by 1 (0 self) – Add To MetaCart

Petri Net Based Software Dependability Engineering
by Monika Heiner — 1995 — Tutorial Notes, Int. Symposium on Software Reliability Engineering (ISSRE ‘95
…. Among those methods, which aim at the improvement of software dependability, the Petri net based…
Cited by 2 (2 self) – Add To MetaCart

Visual Automated Model Transformation
by Daniel Varro, Dániel Varró, Advisor András Pataricza — 2001
… (transforming the static aspects of UML models into timed Petri Nets for dependability analysis in an early…
Cited by 2 (2 self) – Add To MetaCart

System Specification and Verification Using High Level Concepts - A Tool Demonstration
by Christian Stehno — 2002
…. Thus the user need not know about the underlying Petri net or the Promela language even while…
Add To MetaCart

Prioritised Synchronous Composition of Inhibitor Arc Petri Nets. In: Discrete Event Systems
by Anders Hellgren, Martin Fabian, Bengt Lennartson — 2000
…) are not straightforward, though. The culprit is the parallelism of Petri nets. Depending on the marking, either both…
Cited by 1 (0 self) – Add To MetaCart

Automatic Transformation of UML Models for System Verification
by Daniel Varro, Dániel Varró, Szilvia Gyapay, Andras Pataricza, Contact Person András Pataricza — 2001
… methods based on Petri nets to model checking techniques using temporal logic as underlying mathematical…
Cited by 4 (2 self) – Add To MetaCart

Design Validation of Embedded Dependable Systems
by Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini — 2001
…. Researchers augmented basic Petri nets to perform quantitative analysis of performance and dependability…
Add To MetaCart

Using Genetic Programming to Generate Protocol Adaptors for Interprocess Communication
by Werner Van Belle, Tom Mens, Theo D'Hondt — 2003 — in Evolvable Systems: From Biology to Hardware, Fifth International Conference, ICES 2003
… to represent the transitions depends on the number of possible state transitions in the two Petri nets…
Cited by 1 (0 self) – Add To MetaCart

High-level Integrated Design Environment for Dependability (HIDE)
by Andrea Bondavalli, Mario Dal Cin, Diego Latella, Andras Pataricza — 1999
… diagrams) to Timed and Generalized Stochastic Petri Nets for dependability assessment [3, 4…
Cited by 11 (3 self) – Add To MetaCart

A Petri Net Model of the Meeting Design Pattern for Mobile-Stationary Agent Interaction
by Omer F. Rana, Chiara Biancheri — 1999 — International Conference on System Sciences - HICSS-32
… combine an arrival Petri Net with an agent-agent or an agent-host Petri Net, depending on the requested…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB