Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
8,549
The Timed (Coloured) Petri Net Formalism: position paper
"... This paper presents the point of view of the groups of the universities of Torino and Zaragoza on the timed Petri net formalism. Coloured and non coloured models are covered at the same time, the latter making sense in case of systems without symmetries. We argue that Petri net formalisms allow m ..."
Abstract
- Add to MetaCart
This paper presents the point of view of the groups of the universities of Torino and Zaragoza on the timed Petri net formalism. Coloured and non coloured models are covered at the same time, the latter making sense in case of systems without symmetries. We argue that Petri net formalisms allow
Relating Different Semantics for Object Petri Nets -- Formal Proofs and Examples
"... Object Nets belong to a class of Petri nets allowing for a two-level way of modeling by giving tokens of a Petri net the structure of a Petri net again. The usefulness of this approach has been shown in numerous case studies, ranging from modeling distributed algorithms to workflow and flexible manu ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
Object Nets belong to a class of Petri nets allowing for a two-level way of modeling by giving tokens of a Petri net the structure of a Petri net again. The usefulness of this approach has been shown in numerous case studies, ranging from modeling distributed algorithms to workflow and flexible
A Petri-net Formalization of the Heat Shock Response Model
, 2008
"... A differential equation-based mathematical model of the heat shock response has been introduced in [7] and discussed further in [8]. We discuss in this paper a Petri-net-based model and compute its P- and T-invariants. We also give several results concerning the boundedness and the deadlock of the P ..."
Abstract
- Add to MetaCart
A differential equation-based mathematical model of the heat shock response has been introduced in [7] and discussed further in [8]. We discuss in this paper a Petri-net-based model and compute its P- and T-invariants. We also give several results concerning the boundedness and the deadlock
A Modeling and Analysis Methodology for Modular Logic Controllers of Machining Systems using Petri Net Formalism
- HLA Data Distribution Management Design Document Version 0.5, February, U.S. Department of Defense
, 1997
"... Logic controllers for machining systems typically have three control modes: auto, hand, and manual. In this paper, a unified formal representation of logic controllers with three control modes is provided using Petri nets. A modular logic controller structure is introduced and formalized for high ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
Logic controllers for machining systems typically have three control modes: auto, hand, and manual. In this paper, a unified formal representation of logic controllers with three control modes is provided using Petri nets. A modular logic controller structure is introduced and formalized
A fault monitor for automated manufacturing systems using a hybrid petri nets formalism
- Transactions of the Institute of Measurement and Control
"... Fault monitoring is an essential requirement for safety and reliability of industrial systems. The paper presents a novel event-based on-line monitoring technique for automated manufacturing systems, ensuring timely and accurate detection of system failures. The monitor model is based on first orde ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
order hybrid Petri nets, i.e., Petri nets that make use of first order fluid approximation. The proposed fault analysis technique relies on a modular framework, so that elementary monitors can be connected with other monitors to check more complex systems while avoiding the state space explosion problem
Fuzzy-Timing Petri Net Modeling and Simulation of a Networked Virtual Environment - NICE
"... This paper proposes to apply a Petri net formal ..."
The Application of Petri Nets to Workflow Management
, 1998
"... Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the ..."
Abstract
-
Cited by 533 (64 self)
- Add to MetaCart
the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis
Simulation, verification, automated composition of web services
- In WWW
, 2002
"... Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reason ..."
Abstract
-
Cited by 391 (7 self)
- Add to MetaCart
. With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe
An algorithm for drawing general undirected graphs
- Information Processing Letters
, 1989
"... Graphs (networks) are very common data structures which are handled in computers. Diagrams are widely used to represent the graph structures visually in many information systems. In order to automatically draw the diagrams which are, for example, state graphs, data-flow graphs, Petri nets, and entit ..."
Abstract
-
Cited by 698 (2 self)
- Add to MetaCart
Graphs (networks) are very common data structures which are handled in computers. Diagrams are widely used to represent the graph structures visually in many information systems. In order to automatically draw the diagrams which are, for example, state graphs, data-flow graphs, Petri nets
GOLOG: A Logic Programming Language for Dynamic Domains
, 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract
-
Cited by 628 (74 self)
- Add to MetaCart
. This allows programs to reason about the state of the world and consider the effects of various possible courses of action before committing to a particular behavior. The net effect is that programs may be written at a much higher level of abstraction than is usually possible. The language appears well suited
Results 1 - 10
of
8,549
