Sciweavers

Share
APN
2005
Springer
10 years 14 days ago
Timed-Arc Petri Nets vs. Networks of Timed Automata
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
Jirí Srba
APN
2005
Springer
10 years 4 months ago
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
Manuel Silva, Laura Recalde
APN
2005
Springer
10 years 4 months ago
Towards an Algebra for Security Policies
Jonathan D. Pincus, Jeannette M. Wing
APN
2005
Springer
10 years 4 months ago
Determinate STG Decomposition of Marked Graphs
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
Mark Schäfer, Walter Vogler, Petr Jancar
APN
2005
Springer
10 years 4 months ago
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
Charles Lesire, Catherine Tessier
APN
2005
Springer
10 years 4 months ago
Can I Execute My Scenario in Your Net?
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
Gabriel Juhás, Robert Lorenz, Jörg Des...
APN
2005
Springer
10 years 4 months ago
High-Level Nets with Nets and Rules as Tokens
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
APN
2005
Springer
10 years 4 months ago
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
Robert Clarisó, Enric Rodríguez-Carb...
books