(redirected from Time Petri Net)
TPNTotal Parenteral Nutrition
TPNThe Pallet Network (UK)
TPNTrading Process Network
TPNTransaction Program Name
TPNTriple Pole & Neutral (circuit breakers)
TPNTime Petri Net
TPNTransatlantic Policy Network (est. 1992)
TPNTriphosphopyridine Nucleotide
TPNTrade Policy and Negotiations (various locations)
TPNThe Perspectives Network
TPNTimed Petri Net
TPNTactical Packet Network
TPNTrading Partner Number
TPNTatrzanski Park Narodowy (Polish: Tatry Mountains National Park)
TPNTravelocity Partner Network (Texas)
TPNThe Project Network
TPNTooth-Pulp Driven Neuron (dentistry)
TPNTrue Proportional Navigation
TPNThree Phase and Neutral
TPNTrading Partner Network
TPNTrue Part Number
TPNTransaction Processing Network
TPNThe Pixelgeek Network (website)
TPNTennant Profile Network (South Africa)
References in periodicals archive ?
Boel, "A distributed approach for fault detection and diagnosis based on Time Petri Nets," Mathematics and Computers in Simulation, vol.
De Schutter, "Fault diagnosis for Time Petri Nets," in Proceedings of the 8th International Workshop on Discrete Event Systems (WODES '06), pp.
A wide diversity of techniques such as the early attempts using fault trees and digraphs, knowledge-based systems, neural networks, Process history information, causal graphs, analytical approaches, chronicles, time petri nets, in more recent studies are computer aided methods for the process fault diagnostic problematic that have been developed over the years.
Vernadat, <<Bridging the gap between Timed Automata and Bounded Time Petri Nets.,>> FORMATS, LNCS, vol.
Qu, "Temporal inference of workflow systems based on time petri nets: quantitative and qualitative analysis," International Journal of Intelligent Systems, vol.19, no.5, pp.417 442, 2004.
Haar, "A concurrency-preserving translation from time Petri nets to networks of timed automata," FormalMethodsinSystemDesign, vol.40, no.3, pp.330-355, 2012.
Using zone graph method for computing the state space of a time Petri net, Lecture Notes in Computer Science 2791/2004: 246-259.
Generalized time Petri net model for performance analysis, IEEE Transactions on Software Engineering SE-13(12): 1297-1310.
Modeling and verification of time dependent systems using Time Petri nets, IEEE Transactions on Software Engineering 17(3): 259-273.
An enumerative approach for analyzing time Petri nets, in Proc of the 9th IFIP World Congress "Information Processing 83" September 1983, Paris, France.
(1991) Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, 17, 259-273.